Личный кабинет
Подробное описание документа
Алябьева В. Г.
Математическая логика : учебное пособие / Алябьева В. Г. - Пермский государственный национальный исследовательский университет, 2017. -
Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».
