Цель изучения дисциплины | развитие способности применять системный подход и математические методы в формализации решения прикладных задачу;обучающихся навыков работы с аппаратом алгебраической теории автоматов и фоомальных языков; подготовка к восприятию новых научных фактов и гипотез в алгебраической теории автоматов и фомальных языков. |
---|---|
Место дисциплины в учебном плане | Б1.В.01 |
Формируемые компетенции | ПК-4 | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
ПК-4.1 Знает основы научно-исследовательской деятельности в области разработки программно-информационных систем, основы создания архитектуры программных средств. Уметь:
ПК-4.2 Умеет применять полученные знания в области разработки программно-информационных систем, чтобы создавать архитектуру программных средств. Иметь навыки и (или) опыт деятельности (владеть):
ПК-4.3 Имеет практический опыт применения общенаучных знаний в области разработки программноинформационных систем для сопровождения программных средств. |
Содержание дисциплины | Определение конечного автомата. |
Виды учебной работы | Лекции, лабораторные, самостоятельная работа. |
Используемые информационные, инструментальные и программные средства |
Microsoft Office 2010 (Office 2010 Professional, № 4065231 от
08.12.2010), (бессрочно); Microsoft Windows 7 (Windows 7 Professional, № 61834699 от 22.04.2013), (бессрочно); Chrome (http://www.chromium.org/chromium-os/licenses ), (бессрочно); 7-Zip (http://www.7-zip.org/license.txt ), (бессрочно); AcrobatReader (http://wwwimages.adobe.com/content/dam/Adobe/en/legal/servicetou/Acrobat_co m_Additional_TOU-en_US-20140618_1200.pdf), (бессрочно); ASTRA LINUX SPECIAL EDITION (https://astralinux.ru/products/astra- linux-special-edition/), (бессрочно); LibreOffice (https://ru.libreoffice.org/), (бессрочно); Веб-браузер Chromium (https://www.chromium.org/Home/), (бессрочно); Антивирус Касперский (https://www.kaspersky.ru/), (до 23 июня 2024); Архиватор Ark (https://apps.kde.org/ark/), (бессрочно); Okular (https://okular.kde.org/ru/download/), (бессрочно); Редактор изображений Gimp (https://www.gimp.org/), (бессрочно) 1. Электронная база данных «Scopus» (http://www.scopus.com);
2. Электронная библиотечная система Алтайского государственного университета (http://elibrary.asu.ru/); 3. Научная электронная библиотекаelibrary(http://elibrary.ru) 4. Курс на Moodle Теория автоматов и формальных языков: https://portal.edu.asu.ru/course/view.php?id=6730. |
Форма промежуточной аттестации | Зачет. |