|
Контакты:
119992, ГСП-2, Москва, Ленинские горы, МГУ имени М. В. Ломоносова, факультет ВМК к. 726
(по официальным вопросам)
(по вопросам поддержки веб-страницы)
|
|
11/II |
Список спецкурсов кафедры СП
для студентов бакалавриата:
«Основы анализа программных реализаций» (для 2-3 курса), «Сетевые технологии и протоколы» (для 2-4 курса), «Основы формальной верификации на Rocq» (для 3-4 курса), «Разработка безопасного программного обеспечения» (для 3-4 курса),«Структура и выполнение функциональных программ» (кроме СП), «Введение в визуальное моделирование программного обеспечения» (кроме 341 и 441 гр.),
для студентов магистратуры:
«Гибридные методы анализа программ и поиска дефектов», «Функциональное программирование на языке Scheme» (для не изучавших Scheme в бакалавриате ВМК), «Визуальные нотации программной инженерии» (кроме 528, 620, 623, 627, 628 гр.)
|
|
К другим новостям
|
|
