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