Теория автоматов

УМКД дисциплины

Аннотация

1. Цели и задачи изучения дисциплины 1. Цели и задачи изучения дисциплины Цель: формирование у обучающихся знаний, умений и навыков, образующих теоретический фундамент, необходимый для корректной постановки и решения проблем в области разработки алгоритмов и программ обработки информации с использованием автоматных моделей. Задачи курса: - формирование основных понятий формальных языков и автоматов; - стратегии грамматического разбора; - абстрактный и структурный анализ и синтез автоматов-преобразователей; - абстрактный анализ и синтез автоматов-распознавателей; - эквивалентные преобразования автоматов Мили и Мура. 2. Краткая характеристика учебной дисциплины Дисциплина включает два раздела: 1. Автоматные языки и конечные автоматы. 2. Автоматы-распознаватели. В первом разделе рассматриваются классификация формальных языков, стратегии грамматического разбора и автоматы-преобразователи. Во втором разделе рассматриваются вопросы абстрактного анализа и синтеза автоматов-распознавателей. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в формируемую часть "Блок 1" образовательной программы бакалавриата, реализуется на 4-м году обучения с трудоемкостью освоения - 4.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Предшествующие дисциплины: «Дискретная математика», «Математическая логика», «Теория систем и системный анализ», «Программирование на языке Java», «Архитектура ЭВМ и систем», «Проектирование человеко-машинного интерфейса». Последующие дисциплины: «Логика и теория алгоритмов», «Вычислительная математика», «Компьютерная графика. Курсовой проект», «Функционально-логическое программирование», «Управление программными проектами», «Распределенные системы управления базами данных», «Проектирование интеллектуальных систем», «Машинно-зависимые языки программирования», «Математическое моделирование систем», «Управление данными в корпоративных информационных системах», «Основы программной инженерии», «Логика и теория алгоритмов», «Базы данных. Курсовая работа», «Разработка мобильных приложений», «Обмен данными в корпоративных информационных системах», «Статистические методы в инженерных исследованиях», «Производственная практика 3: научно-исследовательская работа», Выполнение и защита выпускной квалификационной работы. 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: ПК 6 - Владение навыками моделирования, анализа и использования формальных методов конструирования программного обеспечения УК 1 - Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач