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

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


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

УК-1 Имеет практический опыт работы с информационными источниками, опыт научного поиска, создания научных текстов.
ОПК-1 Имеет навыки выбора методов решения задач профессиональной деятельности на основе теоретических знаний.
ОПК-3 Владеет методами составления научных документов,отчетов.
ПК-1 Имеет практический опыт научно-исследовательской деятельности в математике и
информатике.
Содержание дисциплины Определение конечного автомата.
Виды учебной работы Лекции, лабораторные, самостоятельная работа.
Используемые информационные, инструментальные и программные средства
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. База данных литературы информационно-методического кабинета факультета социологии АлтГУ "ФОЛИАНТ"
Форма промежуточной аттестации Зачет.