Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 7 |
252 (0 / 60 / 0) |
Зачет с оценкой |
| 8 |
108 (0 / 40 / 0) |
Экзамен |
| Итого |
360 (0 / 100 / 0) |
Зачет с оценкой, Экзамен |
Компетенции:
- ПК-2 - способен применять навыки использования операционных систем, сетевых технологий, средств разработки программного интерфейса, применения языков и методов формальных спецификаций, систем управления базами данных
- ПК-3 - способен применять навыки использования различных технологий разработки программного обеспечения
- ПК-7 - способен применять классические концепции и модели менеджмента в управлении проектами
- ПК-10 - способен применять методы контроля проекта и готовностью осуществлять контроль версий
- ПК-11 - способен к формализации в своей предметной области с учетом ограничений используемых методов исследования
- ПК-12 - способен использовать методы и инструментальные средства исследования объектов профессиональной деятельности
- ПК-13 - способен обосновать принимаемые проектные решения, осуществлять постановку и выполнение экспериментов по проверке их корректности и эффективности
- ПК-14 - способен готовить презентации, оформлять научно-технические отчеты по результатам выполненной работы, публиковать результаты исследований в виде статей и докладов на научно-технических конференциях
- ПК-15 - способен применять навыки моделирования, анализа и использования формальных методов конструирования программного обеспечения
- ПК-16 - способен оценивать временную и емкостную сложность программного обеспечения
- ПК-17 - способен применять навыки чтения, понимания и выделения главной идеи прочитанного исходного кода, документации
- ПК-18 - способен создавать программные интерфейсы
- ПК-6.1 - Способен использовать методы аппликативных вычислительных систем, теории типов, и другие формализмы для семантического описания зависимостей программных компонентов
- ПК-6.2 - Способен применять конструктивные модели при проектировании программных систем и сервисов и интегрирующих механизмов
- ПК-6.3 - Способен создавать программные интерфейсы в виде встроенных предметно-ориентированных языков с использованием аппликативных моделей
- ПК-6.4 - Способен разрабатывать новые и модифицировать существующие подходы к проектированию и реализации программных систем с использованием конструктивных моделей
Задачи воспитания:
- В17 - формирование чувства личной ответственности за научно-технологическое развитие России, за результаты исследований и их последствия
- В18 - формирование ответственности за профессиональный выбор, профессиональное развитие и профессиональные решения
- В19 - формирование научного мировоззрения, культуры поиска нестандартных научно-технических/практических решений, критического отношения к исследованиям лженаучного толка
- В20 - формирование навыков коммуникации, командной работы и лидерства
- В21 - формирование способности и стремления следовать в профессии нормам поведения, обеспечивающим нравственный характер трудовой деятельности и неслужебного поведения
- В22 - формирование творческого инженерного/профессионального мышления, навыков организации коллективной проектной деятельности
- В23 - формирование культуры информационной безопасности
- В37 - формирование культуры решения изобретательских задач
- В38 - формирование навыков цифровой гигиены
- В39 - формирование ответственности за обеспечение кибербезопасности
- В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации