Перевод названия семинара на английский язык
Proof theory
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Является ли семинар просеминаром?
Нет
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
На семинаре ведущие ученые, а также студенты и аспиранты докладывают актуальные результаты из области теории доказательств и смежных областей (теория сложности доказательств, арифметические теории, основания математики).
Дополнительная информация
дистанционно (Zoom); материалы и контакты: http://www.mathnet.ru/conf876