Полное описание

Зюзьков, В. М. Введение в математическую логику : учебное пособие / В. М. Зюзьков. - 2-е изд., испр. - Санкт-Петербург : Лань, 2022. - 268 с. - URL: https://e.lanbook.com/book/213008 (дата обращения: 06.10.2023) . - Режим доступа: ЭБС Лань, https://e.lanbook.com/book/213008 (дата обращения: 06.10.2023) . - Режим доступа: ЭБС Лань. - ISBN 978-5-8114-3053-6. - Текст : электронный.
Книга из коллекции Лань - Математика
Рубрики:
Математика -- Дискретная математика и математическая логика -- Лань

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

Электронная библиотечная система Лань

Электронная библиотечная система Лань

Держатели документа:
ЭБС Лань : 192029, г. Санкт-Петербург, пр-кт Обуховской обороны, д. 70, корпус 2, лит. А, пом. 1-Н, ком. 247 (Шифр в БД-источнике (EBSLAN): RU-LAN-BOOK-213008)

Шифр в сводном ЭК: 4df44fde383ce4b8156cf24559be6340

Просмотр издания ЭБС Лань
или
Просмотр издания ЭБС Лань