|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Логики доказуемостиучебный курс
- Авторы: Беклемишев Л.Д., Яворская Т.Л.
- Год создания: 2012
- Организация: МГУ имени М.В. Ломоносова
- Описание: Спецкурс посвящен изложению результатов, связанных с доказуемостной семантикой модальной логики, при которой модальность понимается как формальная доказуемость в аксиоматической системе (например, арифметике Пеано или ее расширениях). Логики доказуемости описывают принципы доказуемости в одной арифметической теории, справедливые с точки зрения другой аксиоматической теории. Приводится полная классификация логик доказуемости, описывается их семантика Крипке.
- Добавил в систему: Золин Евгений Евгеньевич
Преподавание курса
- 3 сентября 2012 - 19 мая 2013 Яворская Татьяна Леонидовна
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 34 часов
- Авторы: Беклемишев Л.Д., Яворская Т.Л.
- 3 сентября 2012 - 19 мая 2013 Беклемишев Лев Дмитриевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 34 часов
- Авторы: Беклемишев Л.Д., Яворская Т.Л.