Новости
07 Декабря, 2024
Прощание с академиком Е.П. Велиховым
06 Декабря, 2024
Опрос Министерства науки и высшего образования Российской Федерации
24 Сентября, 2024
Приглашаем принять участие в Открытой конференции ИСП РАН
Аспирантам
Расписание занятий
Расписание занятий аспирантов в ИСП РАН на 2011-2012 гг.
Расписание занятий аспирантов в ИСП РАН на 2012-2013 гг.
Расписание занятий аспирантов в ИСП РАН на 2013-2014 гг.
Учебные курсы
Математическая логика: аксиоматические теории и алгебраические системы.
Основы обработки текстовой информации.
Программная инженерия. Дополнительные главы.
Статический анализ программ и проблема обнаружения дефектов в ПО.
Экзамены
Вступительный экзамен в аспирантуру.
Список аспирантов
[1999-2000] [2000-2001] [2001-2002] [2002-2003] [2003-2004] [2004-2005] [2005-2006]
[2006-2007] [2007-2008] [2008-2009] [2009-2010] [2010-2011] [2011-2012] [2012-2013]