15 мест на бюджете 2 платных.
На платном 265 000 р. в год.
Есть военная кафедра.
Учиться 2 года.
Студенты формируют компетенции в области цикла дисциплин, связанных с современными компьютерными технологиями и верификацией программного обеспечения, получают навыки в области программной инженерии, нейронных сетей, многопоточного и кроссплатформенного программирования, приобретают знания в области непрерывных и дискретных математических моделей, методах компиляции и др..
Будешь изучать
Непрерывные математические модели;
Современные проблемы прикладной математики и информатики;
История и методология прикладной математики и информатики;
Графовые представления булевых функций;
Формальная верификация программного обеспечения;
Программная инженерия;
Анализ и синтез логических сетей;
Низкоуровневое сетевое программирование;
Нейронные сети;
Непрерывные математические модели;
Дискретные математические модели;
Информационные технологии в научной деятельности;
Методы компиляции;
Контролепригодное проектирование дискретных устройств;
Теория кодирования;
Общая алгебра;
Логическое программирование;
Решение логических уравнений и SAT-задача;
Многопоточное программирование;
Кроссплатформенное программирование.
Кем сможешь работать
Инженер-математик;
Программист, разработчик программного обеспечения;
Разработчик математических и компьютерных моделей;
Системный программист;
Специалист по математическому моделированию.
Критерии оценки индивидуальных достижений.
С более подробной информацией об IT кластере можно ознакомиться на сайте.