Введение в математическую логику 978-5-8114-3053-6 - купить в книжном магазине TopBooks

Мы перезвоним Вам и уточним все детали

Вход    |    Регистрация
Книжный интернет магазин
+38 (093) 516 4008
+380...Показать телефон


Последние отзывы


Феномен порнографии. Опыт неформального исследования
Улала


Паттерны проектирования
Это экземпляр с личными подписями авторов?


Minecraft. Остров
Когда вы сможете отправить



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

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

Фото книги Введение в математическую логику
ISBN: 978-5-8114-3053-6
Код-книги: 1069548
Издательство: Лань
Год издания: 2018
Язык: Русский
Переплет: Твердый

Цена: 2093 грн

Купить

Купить в 1 клик

Описание от издателя

Рецензии, отрывки

Отзывы

Доставка и оплата

Описание книги Зюзьков В.М. - Введение в математическую логику

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