Зюзьков В.: Введение в математическую логику. Учебное пособие
Артикул: p6412080
Купили 20 раз
О товаре
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. .Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
Характеристики
- Автор:
- Зюзьков В.
- Раздел:
- Математические науки
- Издательство:
- Лань
- ISBN:
- Год издания:
- 2018
- Количество страниц:
- 268
- Формат:
- 171x241 мм
- Вес:
- 0.48 кг
Отзывов ещё нет — вы можете быть первым.