СТАНДАРТ ОРГАНИЗАЦИИ
Система качества АлтГТУ
Образовательный стандарт
высшего профессионального образования АлтГТУ
ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ
УЧЕБНОЙ ДИСЦИПЛИНЫ
«МЕТОДЫ АНАЛИЗА В ТЕОРИИ ФОРМАЛЬНЫХ ЯЗЫКОВ»
231000 «Программная инженерия» Б.2.В.8
(направление подготовки) (код дисциплины)
ФГБОУ ВПО «Алтайский государственный технический университет
им. »
Предисловие
1 РАЗРАБОТАН кафедрой прикладной математики АлтГТУ им. .
2 Стандарт дисциплины разработан на основе учебных планов и ФГОС ВПО № 000 тех/дс от 01.01.2001 для направления подготовки 231000 «Программная инженерия» квалификация (степень) бакалавр.
3 Стандарт дисциплины «Методы анализа в теории формальных языков» по своему назначению, структуре и содержанию полностью соответствует требованиям УМКД.
4 Введен впервые.
Содержание
1 Область применения ……………………………………………………………........ | 1 |
2 Общие сведения о дисциплине. Паспорт дисциплины ………………………... | 1 |
2.1 Выписка из рабочего учебного плана ООП…………………………………….. 2.2 Цели и задачи освоения дисциплины. …………………………………………. 2.3 Место дисциплины в структуре ООП направления (специальности) …….. 2.4 Требования к результатам освоения дисциплины ………………………….. 2.5 Объем и виды занятий по дисциплине……………………………………….. | 1 2 2 2 3 |
3 Рабочая программа дисциплины…………………………………………………… 3.1 Содержание дисциплины…………………………………………………………. 3.1.1 Тематический план дисциплины……………………………………………… 3.1.2 Учебно-методическое и информационное обеспечение дисциплины… | 3 3 3 5 |
3.1.3 Формы и содержание текущей и промежуточной аттестации по дисциплине ……………………………………………………………………………….. 3.1.4 Учебно-методическая карта дисциплины………………………………….. | 5 6 |
3.2 Условия освоения и реализации дисциплины………………………………. 3.2.1 Методические рекомендации студентам по изучению дисциплины …. | 6 6 |
3.2.2 Организация самостоятельной работы студентов……………… ……….. | 7 |
3.2.3 Методические рекомендации преподавателю дисциплины….. ………... | 7 |
3.2.4 Образовательные технологии………………………………………………… 3.2.5 Особенности преподавания дисциплины…………………………………… | 8 8 |
3.2.6 Материально-техническое обеспечение дисциплины……………………. 4 Лист согласования рабочей программы дисциплины…………………………… 5 Изменения к стандарту дисциплины…………………………………………. …..... Приложение А Методические указания к лабораторным работам Приложение Б Комплект оценочных средств (контролирующих материалов) по дисциплине Приложение В Силлабус (памятка) учебной дисциплины | 9 10 10 12 13 23 |
Стандарт организации
Система качества АлтГТУ
Образовательный стандарт высшего
профессионального образования АлтГТУ
ОБРАЗОВАТЕЛЬНЫЙ СТАНДАРТ Введён впервые
УЧЕБНОЙ ДИСЦИПЛИНЫ
__«Методы анализа в теории формальных языков» ___
(наименование дисциплины)
УТВЕРЖДАЮ
Начальник УМУ
________________
(подпись) ( Ф. И.О.)
Дата__________________
(число, месяц, год)
1 Область применения
1.1 Стандарт дисциплины устанавливает общие требования к содержанию, структуре, объему дисциплины «Методы анализа в теории формальных языков» и условиям ее реализации в АлтГТУ.
1.2 Действие стандарта распространяется:
- на студентов, обучающихся по специальности 231000 «Программная инженерия»;
- на преподавателей и сотрудников структурных подразделений, задействованных в образовательном процессе по дисциплине.
2 Общие сведения о дисциплине. Паспорт дисциплины
2.1 Выписка из рабочего учебного плана ООП
№ п. п. | Наименование циклов и дисциплин | Распределение по семестрам | Трудо-ёмко-сть | Часы учебных занятий |
| |||||||||||
Всего | Всего без СРС в период сессий | Аудиторные занятия | Из них | СРС | ||||||||||||
экзамены | Зачеты | Курсовые проекты (работы) | Расчетные задания | ФГОС | РУП | Лекции | Лабораторные занятия | Практические | В семестре В | В период сессий В | ||||||
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 |
|
1 | Методы анализа в теории формальных языков | 7 | 3 | 108 | 108 | 51 | 17 | 34 | 0 | 57 | 0 |
|
2.2 Цели и задачи освоения дисциплины
Целью курса "Методы анализа в теории формальных языков" является приобретение знаний по методам лексического, синтаксического и семантического анализа формальных языков на примере языков программирования высокого уровня, усовершенствование навыков проектирования и разработки программных систем на основе строгой математической теории. Студенты, успешно прослушавшие данный курс, должны уметь строить контекстно-свободные грамматики языков программирования, разрабатывать лексические анализаторы; выбирать методы синтаксического анализа; разрабатывать возвратные синтаксические анализаторы; программировать анализаторы методом рекурсивного спуска; программировать LL(k) и LR(k)- анализаторы и анализаторы предшествования; разрабатывать как однопроходные, так и однопроходные синтаксические анализаторы; применять методы обработки и нейтрализации синтаксических ошибок.
2.3 Место дисциплины в структуре ООП направления (специальности)
Дисциплина «Методы анализа в теории формальных языков» базируется на курсах «Теоретические основы информатики», «Математическая логика и теория алгоритмов», «Теория автоматов и формальных языков», «Объектно-ориентированное программирование», «Введение в алгоритмы и основы современных технологий разработки программного обеспечения». Основной задачей дисциплины является освоение методики и приобретение навыков математического описания формальных языков и их анализа, направленные на практическое применение в области математической лингвистики. Изучается в 6 семестре после сдачи зачетов и экзаменов по вышеуказанным дисциплинам.
. Материал курса используется при изучении курса «Теория языков программирования и методы трансляции», при выполнении заданий по производственной практике и во время дипломного проектирования.
2.4 Требования к результатам освоения дисциплины
Таблица 2
Код компетенции по ФГОС ВПО или ООП | Содержание компетенции (или ее части) | В результате изучения дисциплины обучающиеся должны: | ||
знать | уметь | владеть | ||
ОК-1 | Владение культурой мышления, способность к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения | - понятия, принципы и основные законы математической лингвистики | - воспринимать информацию в области теории формальных языков и грамматик | - общематематическрой культурой в области теории формальных языков и грамматик |
ОК-2 | Умение логически верно, аргументировано и ясно строить устную и письменную речь | - методы доказательства в математической лингвистике | - доказывать основные положения в области формальных языков и грамматик, - логически ясно и аргументировано доказывать принадлежность формальных языков определенному классу. | - средствами синтеза КС-грамматик, |
ОК-10 | Готовность использовать основные законы естественнонаучных дисциплин в профессиональной деятельности, применять методы математического анализа и моделирования, теоретического и экспериментального исследования | - требования к языкам и грамматикам, - понятие алгоритмической сложности синтаксического анализа, -системы и алгоритмические модели синтаксического, лексического и семантического анализа | - строить программы синтаксического, лексического и семантического анализа , | - применять методы анализа языков в профессиональной деятельности, - выбирать эффективные методы анализа |
2.5 Объем и виды занятий по дисциплине
Объем и виды занятий по дисциплине представлены в Паспорте дисциплины:
Паспорт дисциплины
Кафедра «Прикладная математика»
1.В.8 «Методы анализа в теории формальных языков»
Статус дисциплины вариативная
Специальность 231000 «Программная инженерия»
Форма обучения очная
Объем дисциплины 108 часов
Общая трудоёмкость дисциплины 3 зачётные единицы
Распределение по видам занятий
Семестр | Учебные занятия (часы) | Наличие курсовых проектов (КП), курсовых работ (КР), расчетных заданий (РЗ) | Форма промежуточной аттестации (зачёт, экзамен) | |||||
Всего | Аудиторные занятия | СРС | ||||||
всего аудиторных занятий | Лекции | лаборат. работы | практические занятия (семинары) | |||||
7 | 108 | 51 | 17 | 34 | 57 | ЗАЧЁТ |
3 Рабочая программа дисциплины
3.1 Содержание дисциплины
3.1.1 Тематический план дисциплины
3.1.1.1 Лекции (17 часов, [1-3])
1. Структура языкового процессора. Общая характеристика языка и процесса его анализа. Типы языков программирования. Назначение и структура компилятора. Характеристика процесса трансляции, его типы и фазы. Лексика, синтаксис, семантика языка программирования. Формальное описание языков программирования. Теория формальных грамматик, языков и автоматов как основа формализации языков программирования. Распознаватели и преобразователи как основа блока синтаксического анализа компилятора. Конечные автоматы и преобразователи как модель лексики языка программирования. Автоматы и преобразователи с магазинной памятью как основа программирования универсального синтаксического анализатора. (2 часа)
2. Лексический анализ. Понятие лексики языков. Конечный автомат лексики языка программирования. Сканер, его назначение. Прямой и непрямой сканер. Программная реализация сканера, построенного на основе конечного автомата. (2 часа)
3. Общая характеристика синтаксически ориентированных компиляторов. Теорема о соответствии КС-языков и автоматов с магазинной памятью. Недетерминированный автомат с магазинной памятью и разбор с возвратом. Общие и специальные методы синтаксического анализа. Восходящий и нисходящий разбор с возвратами как примеры общих методов синтаксического анализа. (2 часа)
4. Метод рекурсивного спуска. Построение трансляторов методом синтаксических диаграмм (СД). Понятие СД, их преобразование. Разметка ветвей СД. Функции first и follow. Программирование процедур, соответствующих СД. (2 часа)
5. Контекстные условия языков. Типы контекстных условий. Таблицы компилятора и их структура. Гибридные таблицы. Переменные, массивы, именованные константы, функции и процедуры, записи и типы. Понятие семантической подпрограммы, типы семантических подпрограмм и их вызовы. Таблица приведений языка программирования и ее реализация на семантическом уровне компилятора. (2 часа)
6. LL(K) – анализаторы. LL(K)-грамматики. Алгоритм построения управляющей таблицы. Преобразования, удаляющие конфликты в таблице. Грамматический разбор в LL(K)-грамматиках. LL(K)-анализаторы. (2 часа)
7. Анализаторы предшествования. Отношения предшествования. Грамматики предшествования. Алгоритм построения отношений предшествования. Построение эквивалентной грамматики предшествования. Удаление конфликтов < и =. Функции предшествования, их построение и использование. Грамматики слабого предшествования и функции слабого предшествования. Расширенное предшествование. Операторное предшествование. Сравнительная характеристика методов предшествования. Построение анализаторов предшествования. (2 часа)
8. LR(K) – анализаторы. LR(K)-грамматики. Алгоритм построения управляющей таблицы. Грамматический разбор в LR(K)-грамматиках. LR(K)-анализаторы. (2 часа)
9. Нейтрализация и исправление ошибок на этапе анализа. Понятие нейтрализации и исправления ошибок. Исправление орфографических ошибок. Нейтрализация синтаксических ошибок на этапе анализа при восходящей и нисходящей стратегии разбора. Нейтрализация ошибок для метода синтаксических диаграмм. (1 час)
3.1.1.2 Лабораторные занятия (34 час.) [1-3])
1. КС-грамматики языков программирования. (2 часа)
2. Лексический уровень языка. (2 часа)
3 Алгоритм и программа лексического анализа. (2 часа)
4. Синтаксический уровень грамматики языка. (2 часа)
5. Синтаксические диаграммы (4 часа)
6. Синтаксический анализ методов рекурсивного спуска. (4 часа)
7. Семантический уровень языка, контекстные условия. (2 часа)
8. Реализация контекстных условий языка. (4 часа)
9. Нейтрализация синтаксических ошибок. (2 часа)
10. LL(1)-грамматики. (2 часа)
11. Управляющая таблица для LL(1)-грамматики. (2 часа)
12. Реализация LL(1)-анализатора. (2 часа)
13. Нейтрализация ошибок при LL(1)-анализе. (2 часа)
14. .Восходящий анализ (2 часа)
15. .Управляющая таблица анализатора предшествования (2 часа)
16. .Нейтрализация синтаксических ошибок при восходящем анализе (2 часа)
17. Итоговое занятие. (2 часа)
3.1.1.3 Самостоятельная работа студентов (57 час.)
Самостоятельная работа заключается в подготовке к лабораторным работам, изучении теоретического материала. Примерное распределение времени на самостоятельную работу:
· изучение теоретического материала 25 часов;
· подготовка к лабораторным работам и их защите 32 часов.
Вся необходимая для самостоятельной работы информация содержится в любой из книг [1-5].
3.1.2 Учебно-методическое и информационное обеспечение дисциплины
А) основная литература:
1. Введение в теория автоматов, языков и вычислений. - М: Вильямс, 2008, 378 с.[12 экз.] 2. Крючкова в теорию языков программирования и методы трансляции – Барна2. [50 экз] . Методы анализа в теории формальных языков. Учебное пособие. - Барнаул.: Изд-во АлтГТУ, 2013. – 275 с. Режим доступа http://elib. altstu. ru |
Б) дополнительная литература:
| Свердлов программирования и методы трансляции. - СПб: «Питер», 2007. - 640 с. [5 экз.] Вирт н. Построение компиляторов. – ДМК Пресс, 2010. – 192 с. [5 экз.] |
Программное обеспечение и интернет-ресурсы
1. http://www. intuit. ru/department/algorithms/mathformlang/
2. http://elib. altstu. ru/elib/eum_bd_apo_stud/elib/Actions/downloader. php? id=875
Учебно-методические материалы и пособия
1. http://elib. altstu. ru/elib/eum_bd_apo_stud/elib/Actions/downloader. php? id=875
3.1.3 Формы и содержание текущей и промежуточной аттестации по дисциплине
Форма промежуточной аттестации – зачёт.
Содержание промежуточной аттестации раскрывается в комплекте контролирующих материалов, предназначенных для проверки соответствия уровня подготовки по дисциплине требованиям ФГОС ВПО.
В комплект контролирующих материалов входят:
Контролирующие материалы по дисциплине содержат:
– тесты текущего контроля знаний по дисциплине (для текущих аттестаций);
– тесты промежуточной контроля знаний по дисциплине (для зачета);
Комплект контролирующих материалов приведен в приложении Б настоящего стандарта.
Рейтинг студента формируется в течение семестра непрерывно по мере выполнения учебных работ. Для эффективной организации и активизации самостоятельной учебной работы студентов используется рейтинговая подсистема контроля и оценки учебной деятельности, соответствующая «Положению о модульно-рейтинговой системе квалиметрии учебной деятельности студентов» СМК ОПД 01-19-2008. Памятка дисциплины приведена в приложении В.
3.1.4 Учебно-методическая карта дисциплины
для специальности 231000 “Программная инженерия”
на 7 семестр
График аудиторных занятий, СРС, текущих и промежуточной
аттестаций
Наименование | Номер недели | ||||||||||||||||
Вида работ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 |
1 Аудиторные занятия | |||||||||||||||||
Лекции | 1 | 2 | 3 | 3, 4 | 4 | 5 | 6 | 7 | 8,9 | ||||||||
Лабораторные | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 |
2 Самостоятельная работа | |||||||||||||||||
Подготовка к лекциям | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | |
Подготовка к лабораторным работам | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * | * |
Подготовка к тестированию | * | * | * | * | |||||||||||||
3 Формы текущей аттестации | |||||||||||||||||
Защита лаб. Раб | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | 0,05 | |
4 Формы промежуточной аттестации | |||||||||||||||||
Зачет | 0,2 |
Программа составлена в соответствии с требованиями ФГОС ВПО ( г.) с учетом рекомендаций и ПрООП ВПО по направлению и профилю подготовки 231000 «Программная инженерия».
3.2 Условия освоения и реализации дисциплины
3.2.1 Методические рекомендации студентам по изучению дисциплины
В настоящее время владение объектно-ориентированным программированием для выпускника данной специальности обязательным атрибутом его профессиональной пригодности.
Технология организации образовательного процесса
В соответствии с учебным планом на изучение дисциплины «Методы анализа в теории формальных языков» в четвертом семестре отводится 108 часов. Из них 51 час — аудиторные занятия, которые включают теоретический лекционный курс (17 часов) и лабораторные работы (34 часа); 57 часов — самостоятельная внеаудиторная работа, которая предполагает подготовку к лекционным и лабораторным занятиям, к зачету.
Лекции. Лекции проводятся в интерактивном формате (лекция-дискуссия), поэтому на занятия рекомендуется приносить учебную литературу, поскольку по учебнику можно: отслеживать материал, на который ссылается лектор; делать пометки разделов, которые выносятся на самостоятельное изучение; участвовать в интерактивном изучении практического материала, выполняя и обсуждая результаты решения примеров. В случае пропуска лекции по уважительной причине долг гасится восстановлением пропущенного материала и предъявлением справки; без уважительной причины — восстановлением пропущенного материала и написанием реферата по теме модуля.
Лабораторные работы. На лабораторном занятии можно: занять любой свободный компьютер; выполнить задание лабораторной работы индивидуально; доделать и/или защитить лабораторную работу, принесенную из дома на магнитном носителе и заранее скопированную в личный каталог; после защиты текущей лабораторной работы приступить к выполнению следующей. В лабораторных работах предусмотрены уровни выполнения заданий, которые оцениваются на «отлично», «хорошо», «удовлетворительно». Это дает возможность выбрать наиболее оптимальный для себя уровень. Защита лабораторной работы осуществляется при наличии печатного или рукописного отчета, если он предусмотрен для данной работы. На защиту предъявляются выполненные задания в соответствии с перечнем для данной лабораторной работы (см. в нормативных материалах на групповом сервере требования к оформлению отчетов). Защита проводится в форме ответов на вопросы преподавателя о проделанной работе. При защите необходимо знать и уметь то, что перечислено в задании данной лабораторной работы.
Контроль. Текущий контроль успеваемости включает учет сроков и результатов защиты лабораторных работ, каждая из которых имеет вес, определяемый ее информативностью, значимостью и прикладной направленностью. В результате формируется текущий рейтинг по лабораторной части модулей. Рубежный контроль предусматривает тестирование по теоретической части курса в соответствии с графиком учебного процесса, что позволяет получить сбалансированную, реально отражающую текущий уровень знаний оценку. В результате формируется рейтинг по лекционной части модулей. Итоговый контроль осуществляется в форме экзамена.
3.2.2 Организация самостоятельной работы студента по дисциплине
В соответствии с графиком учебного процесса на самостоятельную работу студентов отводится более 50% часов от общей нагрузки. СРС включает подготовку ко всем видам учебной деятельности (лекции, лабораторные работы, зачет). Для выполнения СРС, связанной с использованием компьютера, предоставляются учебные аудитории 310-318 г. к. Источники учебно-методической литературы, программные и информационные ресурсы для реализации указанных видов СРС приведены выше. Регулярные консультации (не реже 1 раза в неделю) и контроль за своевременной защитой лабораторных работ являются обязательным элементом организации учебного процесса по дисциплине в рамках СРС. Элементы творчества являются обязательными при выполнении лабораторных работ по дисциплине. Студенты должны опираясь на общую технологию анализа языков программирования выполнять лабораторные работы по индивидуальному варианту. Индивидуальные задания предусматривают получение студентами навыков самостоятельной учебной деятельности в рамках требуемой тематики и функциональности заданий. Стимулом для использования элементов научного поиска при изучении дисциплины является повышенный рейтинг при оценке отдельных видов СРС. Возникающие затруднения в осуществлении учения разрешаются с преподавателем на занятиях или консультациях; с куратором группы; с работниками деканата.
3.2.3 Методические рекомендации преподавателю дисциплины
Организация занятий по дисциплине «Методы анализа в теории формальных языков» предполагает применение следующих технологий:
· информационно-развивающей (интерактивные лекции);
· личностно-ориентированной (трехуровневые задания на лабораторные работы);
· визуализации (использование обычной или интерактивной доски, проектора).
В соответствии с рабочим планом дисциплины преподавание «Методы анализа в теории формальных языков» включает такие формы обучения как лекция, лабораторные работы, СРС.
Рекомендуется применение следующих методов обучения:
· информационного (лекция-дискуссия, лекция-диалог, лекция-визуализация, тестирование);
· поискового («слушай-думай-генерируй идеи» на лекции, «читай-думай-выполняй» на лабораторных работах, поиск информации для мини-реферата по теме лабораторной работы);
· мозговой штурм (проблемная задача на лекции, при защите лабораторной работы);
· метод аналогий.
Чтение лекций проводится с использованием традиционных средств и средств мультимедиа в ауд. 516-522 г. к.
Для проведения лабораторных работ требуются технические средства, включающие персональные компьютеры, объединенные в локальную вычислительную сеть. Лабораторные занятия проводятся на базе компьютерных аудиторий в форме диалога, дискуссии с применением элементов поиска.
Переход на субъект-субъектные отношения в воспитательно-образовательном процессе предусматривает усиление обратной связи, что практически реализуется регулярным контролем знаний студентов и оказанием им помощи по преодолению затруднений. План работы студентов в семестре включает текущий, промежуточный и итоговый контроль. Текущий контроль осуществляется в процессе выполнения контрольных точек. Промежуточный контроль является результатом обработки текущего контроля по двум аттестационным периодам. Итоговый контроль осуществляется в форме экзамена или итогового тестирования, которое проводится в конце семестра.
Использование рейтинговой подсистемы учета и контроля учебных достижений студентов позволяет обеспечить:
· максимальную объективность в оценке результатов учебной деятельности студентов;
· высокую дифференцирующую способность оценивания уровня усвоения учебного материала;
· минимальные затраты времени преподавателя на вычисление текущего, семестрового, итогового рейтингов;
· стимулирование ритмичной работы студентов в семестре;
· уменьшение психофизических нагрузок студентов и преподавателя в сессию;
· усиление обратной связи между преподавателем и студентом.
3.2.4 Образовательные технологии
Таблица. Рекомендации по использованию средств, форм и методов обучения в преподавании дисциплины (в интерактивной форме - 8 час)
Применяемые средства обучения | Применяемые формы обучения | Используемые методы обучения | Лекционные занятия | Лабораторные работы |
ПК, проектор | диалог (4 час) дискуссия (4 час) | информационный поисковый | 4 | 4 |
3.2.5 Особенности преподавания дисциплины
Преподавание дисциплины «Методы анализа в теории формальных языков» основано на использовании комплекса для рейтингового учета текущей, рубежной, итоговой успеваемости студентов с гибкой системой стимулирования посещаемости и стабильности учения. Трехуровневая система оценки выполнения учебных работ в зависимости от их сложности позволяет эффективно реализовать личностно-ориентированный и компетентностный подходы в организации образовательного процесса.
3.2.6 Материально-техническое обеспечение дисциплины
При обучении по дисциплине «Методы анализа в теории формальных языков» используются компьютеризованные учебные аудитории. Количество рабочих станций рассчитано должно соответствовать количеству студентов. В аудиториях предусмотрены места для работы с портативными ПК и рабочие столы для выполнения письменных заданий по лабораторным работам, проведения защит и тестирования. Для проведения лекций используются мультимедиа-аудитории 5хх главного корпуса.
4 Лист согласования рабочей программы дисциплины
Лист согласования рабочей программы дисциплины
Наименование дисциплин, изучение которых опирается на данную дисциплину | Кафедра-разработчик дисциплины | Предложения | Подпись |
1 | 2 | 3 | 4 |
1. Теория языков программирования и методы трансляции | ПМ | Замечаний нет |
Лист внесения изменений
ИЗМЕНЕНИЕ (ДОПОЛНЕНИЕ) № 1
Согласно протоколу № 5__ заседания кафедры ПМ от «_14_» 01. 2013 г. в связи с изменением рабочего учебного плана направления 231000 «Программная инженерия» внести в стандарт дисциплины следующие изменения:
Добавить компетенцию ПК 6
стр. 2,3 в 2.4 Требования к результатам освоения дисциплины
таблица 2. добавить:
ПК 6 Способность формализовать предметную область программного проекта и разработать спецификации для компонентов программного продукции | Методы и модели формального описания формальных языков на уровне лексики, синтаксиса и семантики Требования к спецификации грамматик в соответствии с методами синтаксического анализа | Формулировать требования к описанию формальных языков, использовать контекстно-свободные грамматики, конечные автоматы для формального описания языков | Методами формального описания языков, эквивалентного преобразования в соответствии с ограничениями, накладываемыми алгоритмами синтаксического анализа |
Стандарт дисциплины пересмотрен и одобрен на заседании
кафедры ___ПМ_______________"_14__"_____01_______ 2013 г.
название кафедры
Заведующий кафедрой___________________
подпись, Ф. И.О.
Разработчик:
Профессор ___________________________ _______________
должность (подпись) инициалы и фамилия
Заведующий кафедрой:___________________________________
(подпись) инициалы и фамилия
Декан факультета информационных технологий _______________
наименование факультета подпись инициалы и фамилия
Начальник ОМКО АлтГТУ ______________________________
( подпись) инициалы и фамилия
