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