Теория типов и логический вывод в искусственном интеллекте Дисциплина [Б1-ОПМ.ДВ3.3]
022 Кафедра кибернетики
Структура:
Семестр Всего (ч) (Лекц / Практ. / Лаб.) Аттестация
4 72 (30 / 0 / 30) Зачет
Итого 72 (30 / 0 / 30) Зачет
Компетенции:
  • УК-1 - Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач
  • УКЕ-1 - Способен использовать знания естественнонаучных дисциплин, применять методы математического анализа и моделирования, теоретического и экспериментального исследования в поставленных задачах
  • ПК-1 - способен применять основные методы и инструменты разработки программного обеспечения
  • ПК-4 - способен применять концепции и атрибуты качества программного обеспечения (надежности, безопасности, удобства использования), в том числе роли людей, процессов, методов, инструментов и технологий обеспечения качества
  • ПК-7 - способен применять классические концепции и модели менеджмента в управлении проектами
Задачи воспитания:
  • В18 - формирование ответственности за профессиональный выбор, профессиональное развитие и профессиональные решения
  • В19 - формирование научного мировоззрения, культуры поиска нестандартных научно-технических/практических решений, критического отношения к исследованиям лженаучного толка
  • В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации