Перевод названия семинара на английский язык
Computability and non-classical logics
Авторы семинара
Плиско В.Е., Крупский В.Н.
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Является ли семинар просеминаром?
Нет
Учебный год
2022/23
День недели
вторник
Время
16:45-18:20
Формат проведения
В аудитории
Аудитория
425
Аннотация
Разбираются как актуальные публикации, так и разработки студентов в области интуиционистских и модальных логик и теории алгоритмов
Дополнительная информация