| Здравствуйте! Материалов курса нет, когда можно будет изучить курс? |
Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 04.04.2015 | Доступ: свободный | Студентов: 304 / 0
Специальности: Программист, Архитектор программного обеспечения, Математик
Лекция 3:
Логика. Исчисления высказываний и исчисление предикатов
< Лекция 1 || Лекция 3
Аннотация: В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные различия между исчислением высказываний и исчислением предикатов. Рассматриваются правила вывода Modus Ponens, приводятся примеры их использования.
< Лекция 1 || Лекция 3
