Зюзьков

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

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

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

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

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

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

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

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