Аудиокнига Введение в математическую логику. Учебное пособие Валентин Зюзьков
Автор: Зюзьков Валентин Михайлович
Редактор: Макаров С. В.
Издательство: Лань, 2018 г.
Серия: Учебники для вузов. Специальная литература
Чтец: Газарян Кирей Вениаминович
Главный художник: Анисеев Елисей Харлампьевич
Размер архива: 345 MB
Длительность: 12 ч. 18 мин. 38 сек.
Качество: 128 КБ/с
О аудиокниге "Введение в математическую логику. Учебное пособие"
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: "Математика и механика", "Компьютерные и информационные науки", "Информатика и вычислительная техника", "Информационная безопасность", "Управление в технических системах". Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
2-е издание, исправленное Скачать Введение в математическую логику. Учебное пособие Валентин Зюзьков.
|