Теория формальных грамматик

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

Аннотация

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