Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 6 |
144 (30 / 15 / 30) |
Экзамен |
| Итого |
144 (30 / 15 / 30) |
Экзамен |
Компетенции:
- ПК-4 - Способен использовать современные языки и методы программирования, комплексы прикладных компьютерных программ, современную вычислительную технику, многопроцессорные вычислительные системы при решении производственных и научно-исследовательских задач в области прикладной математики и информатики
- ПК-9.1 - Использование методов теории вычислений, теории типов и семантических технологий для моделирования свойств программных компонент
- ПК-9.6 - Способен проектировать и разрабатывать сложные системы организации, накопления, обработки и анализа данных
Задачи воспитания:
- В22 - формирование творческого инженерного/профессионального мышления, навыков организации коллективной проектной деятельности