|
Контакты:
119992, ГСП-2, Москва, Ленинские горы, МГУ имени М. В. Ломоносова, факультет ВМК к. 726
(по официальным вопросам)
(по вопросам поддержки веб-страницы)
|
|
3/III-
2/IV |
Встречи кафедр ВМК со студентами 2 курса (П-14, 18-05):
3/III ОМ и АЯ, 5/III ВМ и АСВК, 10/III МФ и СП, 12/III ВТМ и ИИТ, 17/III АНИ и СКИ, 19/III ИО и СА, 24/III ОУ и НДСиПУ, 26/III МС и ММП, 31/III МК и ИБ, 2/IV лаб. КГиМ. |
5/III |
Список элективов для студентов магистерских программ кафедры: КТ, ТП. |
11/II |
Список спецкурсов кафедры СП
для студентов бакалавриата:
«Основы анализа программных реализаций» (для 2-3 курса), «Сетевые технологии и протоколы» (для 2-4 курса), «Основы формальной верификации на Rocq» (для 3-4 курса), «Разработка безопасного программного обеспечения» (для 3-4 курса),«Структура и выполнение функциональных программ» (кроме СП), «Введение в визуальное моделирование программного обеспечения» (кроме 341 и 441 гр.),
для студентов магистратуры:
«Гибридные методы анализа программ и поиска дефектов», «Функциональное программирование на языке Scheme» (для не изучавших Scheme в бакалавриате ВМК), «Визуальные нотации программной инженерии» (кроме 528, 620, 623, 627, 628 гр.)
|
|
К другим новостям
|
|
