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

События

<< | 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