Описание:
Дисциплина призвана обеспечить освоение студентами базовых математических теорий, методов решения задач, характерных для прикладной математики, информатики и программирования. Дисциплина также обеспечивает выработку навыков и приёмов формализации, описания, моделирования и исследования объектов дискретной математики. В процессе изучения дисциплины студенты знакомятся с основными сведениями о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции), изучают основы теории бесконечных множеств и вопросы нахождения эффективных процедур для перечисления объектов различной природы. Отдельное внимание уделено проблеме алгоритмической неразрешимости и базовым понятиям сложности алгоритмов.
Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 3 |
72 (32 / 32 / 0) |
Зачет |
| Итого |
72 (32 / 32 / 0) |
Зачет |
Компетенции:
- ОПК-7 - Способен применять математические, системно-аналитические, вычислительные методы и программные средства для решения прикладных задач в области создания систем анализа и автоматического управления и их компонентов.
- ОПК-10 - Способен понимать принципы работы современных информационных технологий и использовать их для решения задач профессиональной деятельности
- ПК-3 - способен анализировать и систематизировать информацию и данные о процессах жизненного цикла сложных систем, используя методологию и методы системного анализа
- ПК-4 - способен моделировать организационно-технические системы и их жизненный цикл
- ПК-7 - способен проектировать элементы систем управления, применять современные инструментальные средства и технологии программирования на основе профессиональной подготовки, обеспечивающие решение задач системного анализа и управления
- ПК-8 - способен разрабатывать технические задания по проектам на основе профессиональной подготовки и системно-аналитических исследований сложных объектов управления различной природы;