brand

Аннотации рабочих программ аспирантуры ИСП РАН


Новости

21 Октября, 2026 От фундаментальной математики до искусственного интеллекта: в Москве пройдёт ежегодная Открытая конференция ИСП РАН
17 Октября, 2026 Защита диссертаций
28 Сентября, 2026 Конкурс на замещение должности

Аннотации рабочих программ учебных дисциплин

Верификация моделей программ
Камкин А.С., к.ф.–м.н.

Динамическая компиляция
Гайсарян С.С., к.ф.–м.н.

Основы обработки текстовой информации
Турдаков Д.Ю., к.ф.–м.н.

Программная инженерия. Дополнительные главы
Кулямин В.В., к.ф.–м.н.

Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Шнитман В.З., д.т.н.

Педагогика высшей школы
Чуйкова Н.В., к.пед.н.

История и философия науки

Иностранный язык (английский)