Аннотация рабочей программы дисциплины
«Теория автоматов и формальных языков»

Цель изучения дисциплины Развитие способности к разработке алгоритмических и программных решений в области системного и прикладного программирования, математических, информационных и имитационных моделей,в основе которого лежат понятия теории автоматов и формальных языков.
Подготовка к восприятию новых научных фактов и гипотез в алгебраической теории автоматов и формальных языков и развитие способности понимать, совершенствовать и применять современный математический аппарат.


Место дисциплины в учебном плане Б1.В
Формируемые компетенции ОПК-3
Знания, умения и навыки, получаемые в результате освоения дисциплины
Знать:
Знает: основные понятия и методы теории автоматов и формальных языков, их связь с программироваием.
Знает: основные понятия и методы теории автоматов и формальных языков.
Уметь:
Умеет: использовать основные методы теории автоматов и формальных языков в области прикладного программирования.
Умеет: использовать в работе основные методы, доказательства теории автоматов и формальных языков.

Иметь навыки и (или) опыт деятельности (владеть):
Владеет: методами теории автоматов и формальных языков, используемыми в области системного и прикладного программирования, математических, информационных и имитационных моделей.
Владеет: методами теории автоматов и формальных языков в профессиональной деятельности.
Содержание дисциплины Определение конечного автомата.
Виды учебной работы Лекции, лабораторные, самостоятельная работа.
Используемые информационные, инструментальные и программные средства
Microsoft Windows
Microsoft Office
7-Zip
AcrobatReader
1. http://www.lib.asu.ru - Научная библиотека Алтайского государственного университета;
2. http://www.biblioclub.ru - электронно-библиотечная система издательства «Лань»;
3. http://exponenta.ru - Образовательный математический сайт
4. http://www.biblioclub.ru - электронно-библиотечная система "Университетская библиотека online";
5. База данных литературы информационно-методического кабинета факультета социологии АлтГУ "ФОЛИАНТ"
Форма промежуточной аттестации Экзамен.