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