Поиск :
Личный кабинет :
Электронный каталог: Зюзьков, Валентин Михайлович - Введение в математическую логику
Зюзьков, Валентин Михайлович - Введение в математическую логику
Нет экз.
Электронный ресурс
Автор: Зюзьков, Валентин Михайлович
Введение в математическую логику : учебное пособие
Серия: Учебники для вузов. Специальная литература
Издательство: Лань, 2022 г.
ISBN 978-5-8114-3053-6
Автор: Зюзьков, Валентин Михайлович
Введение в математическую логику : учебное пособие
Серия: Учебники для вузов. Специальная литература
Издательство: Лань, 2022 г.
ISBN 978-5-8114-3053-6
Электронный ресурс
22.12я73
Зюзьков, Валентин Михайлович.
Введение в математическую логику [Электронный ресурс] : учебное пособие / В. М. Зюзьков . - 2-е изд., испр . - Санкт-Петербург : Лань, 2022 . - 268 с. - (Учебники для вузов. Специальная литература) . - Режим доступа : https://e.lanbook.com/book/213008 (дата обращения: 15.03.2024) . - Для авторизованных пользователей МПГУ . - Книга из коллекции Лань - Математика . - На рус. яз. - ISBN 978-5-8114-3053-6 .
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
ББК 22.12я73
основной = математика : математическая логика
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань
основной = Лань сделано
22.12я73
Зюзьков, Валентин Михайлович.
Введение в математическую логику [Электронный ресурс] : учебное пособие / В. М. Зюзьков . - 2-е изд., испр . - Санкт-Петербург : Лань, 2022 . - 268 с. - (Учебники для вузов. Специальная литература) . - Режим доступа : https://e.lanbook.com/book/213008 (дата обращения: 15.03.2024) . - Для авторизованных пользователей МПГУ . - Книга из коллекции Лань - Математика . - На рус. яз. - ISBN 978-5-8114-3053-6 .
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.
ББК 22.12я73
основной = математика : математическая логика
основной = виды изданий : учебные издания
основной = читательское назначение : вузы
основной = ЭБС Лань
основной = Лань сделано