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