Волохович А.В. (сост.) Основные понятия и методы теории формальных систем

Методические указания указания к изучению курса "Дискретная математика" и решению задач для студентов специальности 200900 – Нижний Новгород: НГТУ, 2000. – 31 с.
Распознано. Данные методические указания являются вспомогательным материалом для изучения курса "Дискретная математика" (раздел "Формальные системы") и предназначены для самостоятельной проработки при подготовке к практическим занятиям. Содержание.
Понятие формальной системы.
Исчисление высказываний как формальная система.
Логические следствия.
Принцип резолюции для логики высказываний.
Метод линейной резолюции.
Метод семантической резолюции.
Исчисление предикатов первого порядка.
Исчисление предикатов первого порядка как формальная система.
Пренексные нормальные формы.
Сколемовские стандартные формы.
Принцип резолюции для логики предикатов первого порядка.
Задачи.
Список литературы.