Гомотопическая теория типов Факультатив [ФТД.5]
022 Кафедра кибернетики
Структура:
Семестр Всего (ч) (Лекц / Практ. / Лаб.) Аттестация
6 36 (15 / 15 / 0) Зачет
Итого 36 (15 / 15 / 0) Зачет
Компетенции:
  • ПК-17 - способен применять навыки чтения, понимания и выделения главной идеи прочитанного исходного кода, документации
  • ПК-18 - способен создавать программные интерфейсы
  • ПК-6.1 - Способен использовать методы аппликативных вычислительных систем, теории типов, и другие формализмы для семантического описания зависимостей программных компонентов
  • ПК-6.2 - Способен применять конструктивные модели при проектировании программных систем и сервисов и интегрирующих механизмов
  • ПК-6.3 - Способен создавать программные интерфейсы в виде встроенных предметно-ориентированных языков с использованием аппликативных моделей
Задачи воспитания:
  • В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации