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

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

Аннотация

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