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

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

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

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