Формальные методы в машинном обучении Факультатив [ФТД.2]
022 Кафедра кибернетики
Структура:
Семестр Всего (ч) (Лекц / Практ. / Лаб.) Аттестация
7 72 (16 / 16 / 16) Зачет
Итого 72 (16 / 16 / 16) Зачет
Компетенции:
  • ПК-1 - Способен собирать, обрабатывать и интерпретировать результаты научных исследований в области прикладной математики и информационных технологий
  • ПК-2 - Способен понимать, применять и совершенствовать современный математический аппарат
  • ПК-4 - Способен использовать современные языки и методы программирования, комплексы прикладных компьютерных программ, современную вычислительную технику, многопроцессорные вычислительные системы при решении производственных и научно-исследовательских задач в области прикладной математики и информатики
  • ПК-5 - способен к разработке, реализации и оценке проектов научно-исследовательской и инновационной направленности
  • ПК-9.1 - Использование методов теории вычислений, теории типов и семантических технологий для моделирования свойств программных компонент
  • ПК-9.2 - Представление знаний о предметной области конструктивными методами
  • ПК-9.5 - Способен разрабатывать варианты вычислительных моделей с требуемыми свойствами
  • ПК-9.6 - Способен проектировать и разрабатывать сложные системы организации, накопления, обработки и анализа данных
Задачи воспитания:
  • В18 - формирование ответственности за профессиональный выбор, профессиональное развитие и профессиональные решения
  • В19 - формирование научного мировоззрения, культуры поиска нестандартных научно-технических/практических решений, критического отношения к исследованиям лженаучного толка
  • В40 - формирование профессионально значимых установок: не производить, не копировать и не использовать программные и технические средства, не приобретённые на законных основаниях; не нарушать признанные нормы авторского права; не нарушать тайны передачи сообщений, не практиковать вскрытие информационных систем и сетей передачи данных; соблюдать конфиденциальность доверенной информации