| Цель изучения дисциплины | Развитие способности к разработке алгоритмических и программных решений в области системного и прикладного программирования, математических, информационных и имитационных моделей,в основе которого лежат понятия теории автоматов и формальных языков. Подготовка к восприятию новых научных фактов и гипотез в алгебраической теории автоматов и формальных языков и развитие способности понимать, совершенствовать и применять современный математический аппарат. |
|---|---|
| Место дисциплины в учебном плане | Б1.В.1 |
| Формируемые компетенции | ПК-1 | Знания, умения и навыки, получаемые в результате освоения дисциплины |
Знать:
УК-1.1 Знает основные теоретико-методологические положения системного подхода как научной и философской категории. ПК-1.1 Знает основы научно-исследовательской деятельности в области информационных технологий, имеет научные знания в теории информационных систем. Уметь:
УК-1.2 Осуществляет поиск информации для решения поставленной задачи по различным типам запросов ПК-1.2 Умеет применять полученные знания в области фундаментальных научных основ теории информациии решать стандартные задачи в собственной научно-исследовательской деятельности. Иметь навыки и (или) опыт деятельности (владеть):
УК-1.3 Сопоставляет разные источники информации с целью выявления их противоречий и поиска достоверных суждений. УК-1.4 Анализирует информацию и предлагает возможные варианты решения поставленной задачи, оценивая их достоинства и недостатки ПК-1.3 Имеет практический опыт применения общенаучных знаний в научно-исследовательской работе. |
| Содержание дисциплины | Определение конечного автомата. |
| Виды учебной работы | Лекции, лабораторные, самостоятельная работа. |
| Используемые информационные, инструментальные и программные средства |
Microsoft Windows
Microsoft Office 7-Zip AcrobatReader 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_com_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. http://www.lib.asu.ru - Научная библиотека Алтайского государственного университета;
2. http://www.biblioclub.ru - электронно-библиотечная система издательства «Лань»; 3. http://exponenta.ru - Образовательный математический сайт 4. http://www.biblioclub.ru - электронно-библиотечная система "Университетская библиотека online"; 5. https://portal.edu.asu.ru - Единый образовательный портал |
| Форма промежуточной аттестации | Зачет. |