2022/2023
Читательская группа по Теории языков программирования
Статус:
Дисциплина общефакультетского пула
Где читается:
Факультет компьютерных наук
Когда читается:
1, 2 модуль
Охват аудитории:
для своего кампуса
Преподаватели:
Соколов Павел Павлович
Язык:
русский
Кредиты:
2
Контактные часы:
14
Программа дисциплины
Аннотация
На курсе будут читать и обсуждать наиболее интересные разработки в области теории типов, проектирования языков программирования, функционального программирования, теории категорий и алгебры. Опыт в этих темах не требуется, но общее понимание академического ландшафта настоятельно рекомендуется. Другие математические темы, как правило, принимаются; следующая тема для обсуждения выбирается каждую неделю из числа представленных участниками работ путем равного голосования с несколькими вариантами ответов.