Семестр начала | Индекс* и наименование дисциплины | Аннотация к РПД |
---|---|---|
1 |
Б1.Б.02 История и методология прикладной математики и информатики
Информация о дисциплине
|
Открыть |
1 | Б1.Б.04 Иностранный язык | Открыть |
1 | Б1.В.01 Криптография и сетевая безопасность | Открыть |
1 | Б1.В.03 Агентная парадигма программирования | Открыть |
1 | Б1.В.04 Анализ информационных технологий | Открыть |
1 | Б1.В.07 Спецсеминар | Открыть |
1 | Б1.В.ДВ.03.01 Технологии проектирования и сопровождения программных систем | Открыть |
1 | Б1.В.ДВ.03.02 Верификация методом Model Checking | Открыть |
1 | Б2.В.01.02(Н) Научно-исследовательская работа | Открыть |