Введение в математическую логику. Учебное пособие для вузов. 3-е издание, стереотипное
В. М. Зюзьков
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
- Категория: учебники и пособия для вузов
- Правообладатель: Издательство ЛАНЬ
- Год написания: 2026
- Возрастное ограничение: 0+
- ISBN: 978-5-507-55106-4
- Легальная стоимость: 1320.00 руб.
Читать книгу «Введение в математическую логику. Учебное пособие для вузов. 3-е издание, стереотипное» онлайн:
Комментарии ():
Вам также может понравиться:
