Перевод названия семинара на английский язык
Logic problems in computer science
Авторы семинара
Артемов С.Н., Беклемишев Л.Д., Крупский В.Н., Пентус М.Р., Яворская Т.Л.
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Является ли семинар просеминаром?
Нет
Учебный год
2022/23
День недели
четверг
Время
16:45-18:20
Формат проведения
Дистанционно
Аудитория
[Дистанционно]
Аннотация
Разбираются актуальные вопросы и разработки студентов и аспирантов на стыке математической логики и теории алгоритмов.
Дополнительная информация

Аннотации, видеозаписи, слайды, контакты:
http://logic.math.msu.ru/sem/ml/