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

Подробная информация о книге «Введение в математическую логику. Учебное пособие В. М. Зюзьков». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Введение в математическую логику. Учебное пособие В. М. Зюзьков»

В. М. Зюзьков - «Введение в математическую логику. Учебное пособие»

О книге

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

Полное название книги В. М. Зюзьков Введение в математическую логику. Учебное пособие
Автор В. М. Зюзьков
Ключевые слова математика, основания математики, математическая логика, теория чисел
Категории Образование и наука, Для техникумов и вузов
ISBN 9785811430536
Издательство Лань
Год 2018
Название транслитом vvedenie-v-matematicheskuyu-logiku-uchebnoe-posobie-v-m-zyuzkov
Название с ошибочной раскладкой ddtltybt d vfntvfnbxtcre. kjubre. ext,yjt gjcj,bt d. v. p.pmrjd