Лекция 9: Логика. Исчисления высказываний и исчисление предикатов

Подробности

Категория: Алгоритмы и теория вычислений

В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные различия между исчислением высказываний и исчислением предикатов. Рассматриваются правила вывода Modus Ponens, приводятся примеры их использования.