Математическая логика. Учебное пособие
Об издании
В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».
Библиографическая запись
Хворостухина Е.В. Математическая логика : учебное пособие / Хворостухина Е.В.. — Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. — 63 c. — ISBN 978-5-7433-3238-0. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/99263.html (дата обращения: 18.02.2026). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
.jpg)
Приешкина А.Н.
(Профобразование)
Соловьев А.
(Альпина Паблишер)
Горлов Н.И., Бутенков В.В., Первушина Л.В., Виркунин А.О., Полежаев А.В.
(Профобразование)
