Математическая логика как инструмент искусственного интеллекта для формализации знаний : учебное пособие для обучающихся по образовательной программе высшего образования по направлению подготовки 01.03.02 Прикладная математика и информатика

Abstract

В учебном пособии изложены традиционные разделы курса математической логики: алгебра высказываний, булевы функции, логика предикатов и исчисление высказываний. Изложение материала осуществляется с акцентом на колоссальную роль формального языка математической логике в искусственном интеллекте для представления знаний. Пособие наряду с подробно представленным теоретическим материалом содержит достаточно большое количество разобранных примеров, вопросы для подготовки к коллоквиумам и задачи разного уровня сложности для самостоятельного решения. Учебное пособие предназначено для студентов, обучающихся по образовательной программе высшего образования по направлению подготовки 01.03.02 Прикладная математика и информатика, и может быть использовано для других направлений подготовки и специальностей, в учебных планах которых предусмотрено изучение дисциплины «Математическая логика».