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

                                                    Содержание
     Понятие формальной системы ......................................................................... 3
     Исчисление высказываний как формальная система................................. 5
     Логические следствия......................................................................................... 8
     Принцип резолюции для логики высказываний........................................ 10
     Метод линейной резолюции ............................................................................ 13
     Метод семантической резолюции .................................................................. 14
     Исчисление предикатов первого порядка .................................................... 15
     Исчисление предикатов первого порядка как формальная система ..... 18
     Пренексные нормальные формы ................................................................... 21
     Сколемовские стандартные формы............................................................... 23
     Принцип резолюции для логики предикатов первого порядка .............. 25
     Задачи................................................................................................................... 29
     Список литературы.......................................................................................... 30




31