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

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



';



Видеотека

Яндекс.Метрика