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

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

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

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

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

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

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

ПК-3 Способен ориентироваться в современных алгоритмах компьютерной математики; обладать способностями к эффективному применению и реализации математически сложных алгоритмов в современных программных комплексах