Издательство: (812) 336-25-09
Интернет-магазин: (812) 412-54-93 доб. 119
0
0
0 0 ₽
0 товаров

Введение в математическую логику

Авторы:
Уровень образования:
Бакалавриат, Специалитет
Печатное издание:
Нет в наличии
Сообщить о поступлении
Электронная версия:
785 ₽
Вид издания
учебное пособие
Год
2018
Объем
268 с.
ISBN
978-5-8114-3053-6
Переплет
твердый
Формат
16,5*23,5 см
Издание
2-е изд., испр.

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

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

Закрыть
Товар в корзине
Вы можете продолжить покупки или перейти к оформлению заказа.
К началу страницы