|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Поиск выводаучебный курс
- Автор: Маркин В.И.
- Год создания: 1998
- Организация: МГУ имени М.В. Ломоносова
- Описание: Семестровый спецкурс читается для студентов 2-го курса философского факультета, специализирующихся по кафедре логики. Рассматриваются процедуры поиска вывода в различных логических системах: натуральном исчислении высказываний, натуральном исчислении предикатов, аналитико-табличном исчислении высказываний, аналитико-табличном исчислении предикатов. В обучении используется компьютерная программа DEDUCTIO, предназначенная для интерактивного поиска вывода.
- Добавил в систему: Маркин Владимир Ильич
Преподавание курса
- 4 сентября 2008 - 19 декабря 2023 Маркин Владимир Ильич
- МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Маркин В.И.