Осень 2013

5 курс:

• Мат. логика и теория вычислимости
• Unix и скриптовые языки
• Алгебраические структуры
• Алгоритмы и структуры данных
• Базы данных
• Основы программной инженерии
• Комбинаторика и Теория графов
• С++
• Технологический семинар
• НИР

6 курс:

Расписание

• Компьютерная графика
• Функциональное программирование 2
• Вычислительная геометрия
• Параллельные и распределенные вычисления
• Обобщенное и генеративное программирование
• Тестирование ПО
• Виртуальные машины
• Методы формальной верификации программ
• Java VM
• Сетевые технологии
• Компьютерное зрение
• Data Science