Название спецсеминара на русском языке

Вычислимость и неклассические логики

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