Перевод названия семинара на английский язык
Computability and non-classical logics
Авторы семинара
Крупский В.Н., Плиско В.Е., Коновалов А.Ю.
Аннотация
Разбираются как актуальные публикации, так и разработки студентов в области интуиционистских и модальных логик и теории алгоритмов.
Первое заседание 22 сентября в аудитории 425.
Является ли семинар просеминаром?
Off
Подразделения
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Целевая аудитория
2 курс
Дополнительная информация

Контакты:
http://logic.math.msu.ru/staff/plisko/

Учебный год
2023/24
Дни недели
пятница
Время
16:45-18:20
Аудитория
Ещё не назначена