|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Модели неклассических логикучебный курс
- Авторы: Золин Е.Е., Шапировский И.Б.
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Описание: В курсе будет рассказываться о разнообразных семантиках для модальных и интуиционистских логик, в том числе о семантике возможных миров Крипке, окрестностной, топологической, алгебраической семантиках. Будут излагаться важнейшие связанные с ними результаты и методы.
- Добавил в систему: Золин Евгений Евгеньевич
Преподавание курса
- 25 сентября 2015 - 20 мая 2016 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 68 часов
- Авторы: Золин Е.Е., Шапировский И.Б.