КОД (ISBN):
978-5-8114-3053-6

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

Товар № 11880295

учебное пособие, 2-е изд., испр.

Автор: Зюзьков В.М.

Издательство: Лань

Вес: 0.483 кг.

Год издания: 2018

Формат: 70х100/16

Страниц: 268 Переплет: Твердый переплет

Товар отсутствует

Узнать о поступлении

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