Пономарев В.Ф. Математическая логика

Учебное пособие. — Издание второе, исправленное и дополненное. — Калининград: Калининградский государственный технический университет (КГТУ), 2005. — 201 с.В разделе «Классическая логика» дано описание логики высказываний и предикатов. Исследованы возможности вывода дедуктивным методом и методом резолюции. Каждый пример сопровождается графом вывода. Для многих примеров составлены и отлажены программы на языке
Prolog. В этом разделе приведены также основы реляционных алгебры и исчисления с переменными-кортежами. Приведены основы языка SQL и его инструкции для исполнения алгебраических и логических операций.
В разделе «Неклассическая логика» изложены основы нечёткой и модальной логик. Показаны особенности исполнения нечётких алгебраических операций и нечёткого вывода в исчислении, приведены примеры экспертных систем. Рассмотрены возможности применения модальных операторов для формального описания того, что «должно быть», и того, что «может быть». Кратко дано описание темпоральной и алгоритмической логик, которые нашли широкое применение в информационных технологиях.
Рекомендовано Ученым советом университета в качестве учебного пособия по дисциплине «Математическая логика и теория алгоритмов» для студентов, обучающихся по направлению552800 – «Информатика и вычислительная техника» и по специальности 654600 –«Информатика и вычислительная техника».