Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 7 |
36 (16 / 16 / 0) |
Зачет |
| Итого |
36 (16 / 16 / 0) |
Зачет |
Компетенции:
- ПК-2 - Способен понимать, применять и совершенствовать современный математический аппарат
- ПК-4 - Способен использовать современные языки и методы программирования, комплексы прикладных компьютерных программ, современную вычислительную технику, многопроцессорные вычислительные системы при решении производственных и научно-исследовательских задач в области прикладной математики и информатики
- ПК-9.1 - Использование методов теории вычислений, теории типов и семантических технологий для моделирования свойств программных компонент
- ПК-9.3 - Способен разрабатывать программные интерфейсы в виде встроенных предметно-ориентированных языков
- ПК-9.4 - Способен применять методы аппликативных вычислительных систем и теории типов для декомпозиции объектов данных и вычислений и диспетчеризации вычислений
- ПК-9.5 - Способен разрабатывать варианты вычислительных моделей с требуемыми свойствами
Задачи воспитания:
- В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации