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