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