BookHub

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

Издательство: Лань
Тип обложки: твердая
Страниц: 268
Вес: 0.675 кг
Год издания: 2018
ISBN: 978-5-8114-3053-6

Цены в магазинах

Вы можете найти эту книгу здесь.

График изменения цены

На графике показано, как менялась цена на книгу "Введение в математическую логику. Учебное пособие".
Границы области показывают минимальную и максимальную цену в указанный день.

Краткое описание книги

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

Книги с похожим названием

Часто можно найти ту же самую или очень похожую книгу среди книг со схожим названием. Это может быть и та же самая книга, но другого года издания или в дургом переплете.
Показать книги с похожим названием

Еще предложения магазинов

Посмотрите предложения магазинов, которые очень похожи на данную книгу. Это может быть та же самая книга, по каким-то причинам не указанная в списке цен выше, или другое ее издание. Так же тут будут книги с похожим названием.
Показать другие предложения магазинов