#матлог #учёба #спецкурс

В.Б.Шехтман прочитает спецкурс НОЦ МИАН «Модальные логики предикатов и их модели».

Первая лекция: 12 сентября

Место проведения: МИАН, ком. 303

Время проведения: четверг 18:00-19:30

Страница спецкурса: https://www.mathnet.ru/conf2476

Аннотация. Курс содержит краткое введение в теорию модальных и суперинтуиционистских предикатных логик.
Главный аспект курса — теоретико-модельный. В отличие от классической логики, здесь имеется разнообразие семантик с использованием конструкций из других разделов математики — пучков, расслоений, симплициальных множеств. Общая панорама этой области достаточна сложна, и многие ключевые проблемы остаются открытыми.

Спецкурсы МИАН можно сдавать студентам мехмата. Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

🔗 Курс В. Б. Шехтмана "Модальные логики предикатов и их модели"


➰ ВК