Главная страница «
События
2025 | >>
9/II
Весенние спецкурсы кафедры СП для бакалавриата: «Основы анализа программных реализаций» (для 2-3 курса), «Структура и выполнение функциональных программ» (кроме СП), «Введение в визуальное моделирование программного обеспечения» (кроме 341 и 441 гр.). Весенние спецкурсы кафедры СП для магистратуры: «Основы формальной верификации на Coq»,
«Функциональное программирование на языке Scheme» (для не изучавших Scheme в бакалавриате ВМК), «Визуальные нотации программной инженерии» (кроме 528, 620, 623, 627, 628 гр.).
© Кафедра системного программирования ВМК МГУ.
Обновлено: 9.II.2025