Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки? Спасибо! |
Опубликован: 24.11.2009 | Уровень: специалист | Доступ: платный
Лекция 9:
Логика. Исчисления высказываний и исчисление предикатов
< Лекция 1 || Лекция 9
Аннотация: В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные различия между исчислением высказываний и исчислением предикатов. Рассматриваются правила вывода Modus Ponens, приводятся примеры их использования.
< Лекция 1 || Лекция 9