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