Магистратура "Математическое и программное обеспечение вычислительных машин" в КНИТУ-КАИ, Казань

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

Изучаемые дисциплины:

• Современные компьютерные технологии 
• Непрерывные математические модели
• Современные проблемы прикладной математики и информатики 
• История и методология прикладной математики и информатики 
• Графовые представления булевых функций
• Формальная верификация программного обеспечения

Вариативная часть в т.ч. дисциплины по выбору

• Английский язык 
• Программная инженерия
• Анализ и синтез логических сетей 
• Низкоуровневое сетевое программирование
• Нейронные сети
• Непрерывные математические модели
• Дискретные математические модели
• Информационные технологии в научной деятельности
• Методы компиляции
• Контролепригодное проектирование дискретных устройств
• Теория кодирования
• Общая алгебра
• Логическое программирование
• Решение логических уравнений и SAT-задача
• Многопоточное программирование
• Кроссплатформенное программирование