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