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

События

2025 | >>

3/VI

Кафедра поздравляет выпускников бакалавриата и магистратуры с успешным завершением обучения! В добрый путь!

30/V

Кафедра поздравляет Андрея Андреевича Белеванцева с избранием членом-корреспондентом РАН.

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

29/IV

Для студентов 4 курса и 6 курса обновлены страницы с материалами консультаций к государственному экзамену.


9/II


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

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


  

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

Обновлено: 3.VI.2025