Кафедра существует с момента основания факультета ВМК МГУ в 1970 году.

Лого

Объявления

• Работает список рассылки новостей кафедры. Напишите вебмастеру и Ваш адрес будет включен в список.

• Работает список рассылки новостей кафедры на факультетском почтовом сервере.

События

2018 | 2017 | 2016 | 2015 | >>

Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

Контакты:
119992, ГСП-2, Москва, Ленинские горы, МГУ имени М. В. Ломоносова, факультет ВМК к. 726
  
(по официальным вопросам)
  
(по вопросам поддержки веб-страницы)


31/VIII

В 11-00 в П-13 состоится общее собрание коллектива факультета.
В 13-00 в 726 состоится тестирование поступающих на магистерские программы кафедры.

1/VI

На сайте размещено распределение студентов 2 курса, принятых на кафедру в этом году, по группам и спецсеминарам.

5/III

На сайте размещено учебное пособие по курсу «Верификация моделей программ» для студентов 528 группы: А.С. Камкин «Введение в формальные методы верификации программ».

Ещё

Тел.: 8 (495) 939-18-77

© Кафедра системного программирования ВМК МГУ.

Обновлено: 28.VII.2018