Главная страница «
События
<< | 2025 | >>
17/IX
Спецкурсы в осеннем семестре 2025/26 года для бакалавриата: «Современные облачные технологии»; «Современные методы машинного обучения»; «Практическое введение в формальную верификацию в системе PVS» Спецкурс для студентов магистратуры: «Современные облачные технологии и виртуализация рабочих мест»
Спецкурс для аспирантов: «Обработка текстов»
3/IX
Вступительный экзамен в аспирантуру для абитуриентов кафедры в 13-00 в 727.
29/VIII
Заседание кафедры в 10-00. Общее собрание преподавателей и сотрудников факультета в 11-00 в П-13.
3/VI
Кафедра поздравляет выпускников бакалавриата и магистратуры с успешным завершением обучения! В добрый путь!
30/V
Кафедра поздравляет Андрея Андреевича Белеванцева с избранием членом-корреспондентом РАН.
29/IV
Для студентов 4 курса и 6 курса обновлены страницы с материалами консультаций к государственному экзамену.
9/II
Весенние спецкурсы кафедры СП для бакалавриата: «Основы анализа программных реализаций» (для 2-3 курса), «Структура и выполнение функциональных программ» (кроме СП), «Введение в визуальное моделирование программного обеспечения» (кроме 341 и 441 гр.). Весенние спецкурсы кафедры СП для магистратуры: «Основы формальной верификации на Coq», «Функциональное программирование на языке Scheme» (для не изучавших Scheme в бакалавриате ВМК), «Визуальные нотации программной инженерии» (кроме 528, 620, 623, 627, 628 гр.).
© Кафедра системного программирования ВМК МГУ.
Обновлено: 17.XI.2025