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

Логические проблемы информатики

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

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