rpd000005274 (1015329), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

Прикрепленные файлы: Вопросы ДМ и ТА.docx

1. УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

а)основная литература:

Литература из электронного каталога:

1. Белоусов А.И. Белоусов А.И. Дискретная математика. МГТУ, 2006. - 743 с. - МГТУ, 2006.

2. Карпов Ю.Г. Карпов Ю.Г. Теория автоматов. Питер, 2002. - 206 с. - Питер, 2002.

3. Карпов Ю.Г. Карпов Ю.Г. Теория автоматов. Питер, 2003. - 206 с. - Питер, 2003.

б)дополнительная литература:

Периодические издания:

1. МАТЕМАТИЧЕСКИЙ СБОРНИК

2. Математическое моделирование

Литература из электронного каталога:

1. Новиков Ф.А. Новиков Ф.А. Дискретная математика для программистов. Питер, 2007. - 363 с. - Питер, 2007.

2. Единая система программной документации. Стандартов, 1994. - 157 с. - Стандартов, 1994.

3. Сокольский М.Л. Сокольский М.Л. Применение стандартов, норм и правил при создании конструкторской ,технологической и программной документации. МАИ, 2002. - 103 с. - МАИ, 2002.

в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:

1. www.piter.com

2. Операционная система Windows 7, среда разработки под любой язык программирования

1. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

Учебная лаборатория каф. 304, оснащенная персональными компьютерами на 25 рабочих мест

Приложение 1
к рабочей программе дисциплины
«Дискретная математика и теория автоматов »

Аннотация рабочей программы

Дисциплина Дискретная математика и теория автоматов является частью Общенаучного цикла дисциплин подготовки студентов по направлению подготовки Программная инженерия. Дисциплина реализуется на 3 факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) 304.

Дисциплина нацелена на формирование следующих компетенций: ОК-4 ,ПК-2 ,ПК-16 ,ПСК-8.

Содержание дисциплины охватывает круг вопросов, связанных с: проектированием и созданием операционных устройств ЗВМ и важных компонентов программного обеспечения

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Практическое занятие, Лабораторная работа.

Программой дисциплины предусмотрены следующие виды контроля: промежуточная аттестация в форме Зачет с оценкой (1 семестр).

Общая трудоемкость освоения дисциплины составляет 6 зачетных единиц, 216 часов. Программой дисциплины предусмотрены лекционные (18 часов), практические (20 часов), лабораторные (16 часов) занятия и (162 часов) самостоятельной работы студента.

Приложение 2
к рабочей программе дисциплины
«Дискретная математика и теория автоматов »

Cодержание учебных занятий

1. Лекции

1.1.1. Понятие алгебраической структуры. Группы, полугруппы. Подгруппы и подкольца. (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.1.2. Полукольца, замкнутые полукольца, теорема Лагранжа (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.2.1. Булевы алгебры. Конечные булевы алгебры. Булевы векторы и кубы. (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.2.2. Модель-алгебраическая система с пустым множеством операций. Подсистема алгебраической системы. Конгруэнции и фактор-системы. Фактор-алгебра. (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.3.1. Контекстно-свободные грамматики. Порождения с использованием грамматик. Выводимые цепочки (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.3.2. Деревья разбора. Построение деревьев разбора. (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.3.3. Вывод, порождение и деревья разбора (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.4.1. Автоматы с магазинной памятью. Графическое представление МП-автоматов. (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1.4.2. Языки МП-автоматов. Эквивалентность МП-автоматов и КС-грамматик. МП-автоматы и неоднозначные грамматики. (АЗ: 2, СРС: 6)

Тип лекции: Информационная лекция

Форма организации: Лекция, мастер-класс

1. Практические занятия

1.1.1. Нейтральные элементы относительно операции умножения. Определение носителя заданной алгебры. (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1.1.2. Полукольца. Теорема Лагранжа. Пример решения системы линейных алгебраических уравнений в поле. (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1.2.1. Конечные булевы алгебры. Определение векторов и скаляров заданной группы. Доказательство изоморфизма заданной алгебры прямому произведению двух алгебр (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1.3.1. Построение КС-грамматик для различных языков (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1.3.2. Построение дерева разбора (АЗ: 4, СРС: 12)

Форма организации: Практическое занятие

1.3.3. От выводов к деревьям разбора. От деревьев к порождениям. (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1.4.1. Конгруэнции и фактор-системы (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1.4.2. Создание лексического анализатора (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1.4.3. Языки описания документов (АЗ: 2, СРС: 6)

Форма организации: Практическое занятие

1. Лабораторные работы

1.3.1. Алгоритм порождения по заданной грамматике (АЗ: 4, СРС: 12)

Форма организации: Лабораторная работа

1.3.2. Построение дерева разбора (АЗ: 4, СРС: 12)

Форма организации: Лабораторная работа

1.4.1. Моделирование автомата с магазинной памятью (АЗ: 4, СРС: 12)

Форма организации: Лабораторная работа

1.4.2. Трансляция языка вещественных констант (АЗ: 4, СРС: 12)

Форма организации: Лабораторная работа

1. Типовые задания

Приложение 3
к рабочей программе дисциплины
«Дискретная математика и теория автоматов »

Прикрепленные файлы

Вопросы ДМ и ТА.docx

Вопросы промежуточного контроля по дисциплине «Дискретная математика и теория автоматов»

1. Понятие алгебраической структуры

2. n-арные операции на множестве, аргументы и результаты применения операции

3. Бинарные операции

4. Группы, полугруппы, подгруппы и подкольца

5. Сигнатура алгебры

6. Полукольца

7. Замкнутые полукольца

8. Области целостности как коммутативное кольцо

9. Теорема Лагранжа

10. Гомоморфизм колец

11. Модели и алгебры

12. Понятие подсистемы (подалгебры)

13. Замкнутость подмножеств

14. Булева алгебра как частный случай идемпотентного полукольца

15. Булевы векторы и кубы

16. Модель-алгебраическая система с пустым множеством операций

17. Подсистема алгебраической системы

18. Конгруэнции и фактор-системы

19. Фактор-алгебра

20. Определение контекстно-свободной грамматики

21. Порождения с использованием грамматик, левые и правые порождения

22. Язык, задаваемый грамматикой

23. Выводимые цепочки

24. Построение деревьев разбора

25. Крона дерева разбора

26. Вывод, порождение и деревья разбора

27. Графическое представление автоматов с магазинной памятью

28. Допустимость по заключительному состоянию, по пустому магазину

29. Языки автоматов с магазинной памятью

30. Эквивалентность автоматов с магазинной памятью и контекстно-свободных грамматик

31. Автоматы с магазинной памятью и неоднозначные грамматики

Версия: AAAAAAS/Lo8 Код: 000005274

Характеристики

Список файлов учебной работы