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