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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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




Реклама



Ваше мнение

Видеотека

Рейтинг@Mail.ru

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