Цена снижена! Введение в математическую логику. Учебное пособие Увеличить

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

34361137

Новый товар

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической

Подробнее

Нет в наличии товара

Цена со скидкой:
47,38 €

-45%

Цена без скидки:
86,15 €

Характеристики

Автор Зюзьков Валентин Михайлович
Серия Учебники для вузов. Специальная литература
Переплет твердый, твердый
Год издания 2018, 2018
ISBN 978-5-8114-3053-6
Страниц 268
Формат 24x17x1.8 см

Описание

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