В.М. Зюзьков. Введение в математическую логику

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

Издательство: Томск
Год: 2017
Страниц: 258
ISBN: 978-5-94621-617-3
Формат: PDF
Язык: русский

 

Скачать книгу (10 МБ):