Лучшая учебная книга
В. М. Зюзьков

Введение в математическую логику

«Томский государственный университет», издательский дом, Томск, 2017
Тираж: 50 экз. , страниц: 258
1

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся докатзательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.

Для студентов математических направлений университетов, преподавателей математики и компьютерных наук высших учебных заведений.