Следите за новостями и участвуйте в обсуждениях!
Подписывайтесь на
наш Инстаграм,
Телеграм-канал и
присоединяйтесь к чату сообщества — чтобы не пропустить результаты конкурса грантов!
Формальные методы
-
В этом курсе используются математические модели для проектирования, анализа и верификации программных и аппаратных систем. Курс охватывает теорию и применение формальных методов, включая логику, верификацию и проверку моделей, для обеспечения корректности, безопасности и надежности сложных систем.
-
Образовательная программа 6B06101 Компьютерные науки
-
Кредитов 5
-
Год обучения 2
-
Семестр 2