Математическая логика. Учебное пособие
Об издании
Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».
Библиографическая запись
Алябьева В.Г. Математическая логика : учебное пособие / Алябьева В.Г.. — Пермь : Пермский государственный национальный исследовательский университет, 2017. — 111 c. — ISBN 978-5-7944-2904-6. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/117584.html (дата обращения: 28.12.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Кадырметов А.М., Попов Д.А., Никонов В.О., Снятков Е.В.
(Инфра-Инженерия)
Савенко Э.С., Матвиенко С.А., Жданова Л.Ф.
(Донбасская национальная академия строительства и архитектуры, ЭБС АСВ)
Ананичев Д.С., Андреева И.Ю., Гредасова Н.В., Костоусов К.В.
(Профобразование, Уральский федеральный университет)