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