Главная страница «

События

2025 | >>

9/II

Весенние спецкурсы кафедры СП для бакалавриата:
«Основы анализа программных реализаций» (для 2-3 курса), «Структура и выполнение функциональных программ» (кроме СП), «Введение в визуальное моделирование программного обеспечения» (кроме 341 и 441 гр.).

Весенние спецкурсы кафедры СП для магистратуры:
«Основы формальной верификации на Coq»,

Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

 

«Функциональное программирование на языке Scheme» (для не изучавших Scheme в бакалавриате ВМК), «Визуальные нотации программной инженерии» (кроме 528, 620, 623, 627, 628 гр.).

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 9.II.2025