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