Введение в математическую логику
Введение в математическую логику
Авторы: Зюзьков В.М.
Издательство: Национальный исследовательский Томский государственный университет
ISBN 978-5-94621-617-3; 2017 г.
Кол-во страниц: 258
Предварительный просмотр:
О книге:
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов математических направлений университетов, преподавателей математики и компьютерных наук высших учебных заведений.