Поиск :
Личный кабинет :
Электронный каталог: Зюзьков, В. М. - Введение в математическую логику
Зюзьков, В. М. - Введение в математическую логику
Нет экз.
Электронный ресурс
Автор: Зюзьков, В. М.
Введение в математическую логику : учебное пособие для вузов
Издательство: Лань, 2026 г.
ISBN 978-5-507-55106-4
Автор: Зюзьков, В. М.
Введение в математическую логику : учебное пособие для вузов
Издательство: Лань, 2026 г.
ISBN 978-5-507-55106-4
На полку
Электронный ресурс
Зюзьков, В. М.
Введение в математическую логику [Электронный ресурс] : учебное пособие для вузов. – 3-е изд., стер. – Санкт-Петербург : Лань, 2026. – 268 с. – Режим доступа : https://e.lanbook.com/book/517541, https://e.lanbook.com/img/cover/book/517541.jpg. – Книга из коллекции Лань - Математика. – На рус. яз. – ISBN 978-5-507-55106-4.
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
50
основной = ЭБС Лань
Зюзьков, В. М.
Введение в математическую логику [Электронный ресурс] : учебное пособие для вузов. – 3-е изд., стер. – Санкт-Петербург : Лань, 2026. – 268 с. – Режим доступа : https://e.lanbook.com/book/517541, https://e.lanbook.com/img/cover/book/517541.jpg. – Книга из коллекции Лань - Математика. – На рус. яз. – ISBN 978-5-507-55106-4.
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
50
основной = ЭБС Лань