Формализмы в информационных технологиях Дисциплина [Б1.ДВ.2.4]
022 Кафедра кибернетики
Структура:
Семестр Всего (ч) (Лекц / Практ. / Лаб.) Аттестация
2 108 (0 / 15 / 15) Зачет с оценкой
Итого 108 (0 / 15 / 15) Зачет с оценкой
Компетенции:
  • ПК-12 - способен проектировать вспомогательные и специализированные языки программирования и языки представления данных
  • ПК-16 - способен применять навыки создания трансляторов и интерпретаторов языков программирования
  • ПК-18 - способен применять навыки создания компонент операционных систем и систем реального времени
  • ПК-19 - способен применять навыки создания систем обработки текстов
  • ПК-1.1 - Способен организовать разработку вычислительных механизмов обеспечения семантически безопасного режима работы информационных систем
  • ПК-1.2 - Способен самостоятельно организовать процесс, чтобы конструировать математические модели, описывающие конкретные системы и объекты в прикладных областях
  • ПК-1.3 - Способен самостоятельно организовать процесс, чтобы создавать и реализовывать, в том числе на компьютерах, алгоритмы для сконструированных математических моделей