Теория автоматов и алгоритмов

Цели и задачи дисциплины

Цель: Формирование знаний и умений по теории алгоритмов и автоматов для дальнейшего использования в других областях математического знания и дисциплин естественно-научного цикла; формирование математической культуры; фундаментальная подготовка по основам профессиональных знаний; навыки самостоятельного получения знаний и умение применять их на практике. Задачи: изучить вычислительные модели для реализации и исследования новых (или известных) алгоритмов, применяемых в информационных системах; математические способы доказательства корректности программ, модели эффективности алгоритмов; научиться разрабатывать алгоритмические и программные решения для системного и прикладного программного обеспечения; определять эффективность алгоритмов; овладеть приемами построения и отладки автоматных программ, методами разработки эффективных алгоритмов

Краткое содержание дисциплины

Изучение курса даст основу профессионального программирования и даст понимание в построении вычислительных устройств. В рамках изучения теории алгоритмов будут рассмотрены методы доказательства вычислимости алгоритмов (функций) через построение Машины Тьюринга, Рекурсивных функций, Нормальных агоритмов Маркова. Рассматривается общая теория алгоритмов. В рамках изучения теории автоматов будут рассмотрены конечные автоматы Мили и Мура, принципы построения управляющих автоматов.

Компетенции обучающегося, формируемые в результате освоения дисциплины

Выпускник должен обладать:

ОПК-1 Способен консультировать и использовать фундаментальные знания в области математического анализа, комплексного и функционального анализа алгебры, аналитической геометрии, дифференциальной геометрии и топологии, дифференциальных уравнений, дискретной математики и математической логики, теории вероятностей, математической статистики и случайных процессов, численных методов, теоретической механики в профессиональной деятельности
ОПК-4 Способен находить, анализировать, реализовывать программно и использовать на практике математические алгоритмы, в том числе с применением современных вычислительных систем