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