Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 7 |
180 (32 / 0 / 32) |
Экзамен, Курсовая работа |
| Итого |
180 (32 / 0 / 32) |
Экзамен, Курсовая работа |
Компетенции:
- ПК-15 - способен применять навыки моделирования, анализа и использования формальных методов конструирования программного обеспечения
- ПК-16 - способен оценивать временную и емкостную сложность программного обеспечения
- ПК-17 - способен применять навыки чтения, понимания и выделения главной идеи прочитанного исходного кода, документации
- ПК-6.1 - Способен использовать методы аппликативных вычислительных систем, теории типов, и другие формализмы для семантического описания зависимостей программных компонентов
- ПК-6.2 - Способен применять конструктивные модели при проектировании программных систем и сервисов и интегрирующих механизмов
- ПК-6.3 - Способен создавать программные интерфейсы в виде встроенных предметно-ориентированных языков с использованием аппликативных моделей
- ПК-6.4 - Способен разрабатывать новые и модифицировать существующие подходы к проектированию и реализации программных систем с использованием конструктивных моделей
Задачи воспитания:
- В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации