Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 6 |
108 (15 / 15 / 15) |
Экзамен |
| Итого |
108 (15 / 15 / 15) |
Экзамен |
Компетенции:
- ПК-1 - Способен собирать, обрабатывать и интерпретировать результаты научных исследований в области прикладной математики и информационных технологий
- ПК-2 - Способен понимать, применять и совершенствовать современный математический аппарат
- ПК-5 - способен к разработке, реализации и оценке проектов научно-исследовательской и инновационной направленности
- ПК-9.1 - Использование методов теории вычислений, теории типов и семантических технологий для моделирования свойств программных компонент
- ПК-9.2 - Представление знаний о предметной области конструктивными методами
Задачи воспитания:
- В18 - формирование ответственности за профессиональный выбор, профессиональное развитие и профессиональные решения
- В19 - формирование научного мировоззрения, культуры поиска нестандартных научно-технических/практических решений, критического отношения к исследованиям лженаучного толка
- В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации