Год выпуска: 2018 Автор: В. М. Зюзьков Издательство: Лань Страниц: 268 ISBN: 978-5-8114-3053-6
Описание
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.Для студентов математических направлений университетов, преподавателей математики и компьютерных наук высших учебных заведений.
