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

Лого

Объявления

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

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

События

2018 | 2017 | 2016 | 2015 | >>

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

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


1/VI

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

5/III

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

2/III
16:20, 707

Начинает работу просеминар для 2 курса. Страница просеминара - http://sp.cs.msu.ru/proseminar. На просеминаре можно познакомиться с научными руководителями и научными коллективами кафедры, узнать об актуальных задачах системного программирования.

17/II
12:00

Отборочный заочный этап универсиады «Ломоносов» по прикладной математике и информатике проводится в форме онлайнового тестирования. Заключительный этап -- выполнение письменной работы -- состоится весной 2018 г.

13/II
14:35

В П-14 состоится собрание членов жюри олимпиад по математике. В их состав включены все аспиранты 1-3 г. о., а также приглашённые преподаватели. Аспиранты, участвовавшие в проведении олимпиады по информатике, от работы в олимпиадах по математике освобождены.

19/I
10:00

Заседание кафедры по вопросу об аттестации аспирантов. Обязательна явка научных руководителей аспирантов со своими подопечными, имеющими на руках заполненные документы за соответствующий период обучения.

1/I

Идёт регистрация участников универсиады «Ломоносов» по прикладной математике и информатике для студентов 3-4 курсов. Регистрация продлится до 17 февраля.

Ещё

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

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

Обновлено: 14.4.2018