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