Семестр начала | Индекс* и наименование дисциплины | Аннотация к РПД |
---|---|---|
3 | Б1.Б.02 Спецификация и верификация вычислимыми логиками | Открыть |
3 |
Б1.Б.04 Высокопроизводительные технологии программирования
Информация о дисциплине
|
Открыть |
3 | Б1.Б.05 Компьютерные ad hoc сети | Открыть |
3 | Б1.В.02 Сложность алгоритмов и задач | Открыть |
3 |
Б1.В.ДВ.01.01 Всеохватывающий компьютинг
Информация о дисциплине
|
Открыть |
3 | Б1.В.ДВ.01.02 Теория имитационного моделирования | Открыть |
3 | Б1.В.ДВ.04.01 Технологии автоматизации программирования | Открыть |
3 | Б1.В.ДВ.04.02 Прикладные логики агентных систем | Открыть |