- •Дискретная математика
- •1 Пояснительная записка
- •2. Содержание дисциплины
- •2.1. График учебного процесса, распределение рейтинг-баллов по учебным модулям и видам занятий
- •2.2. Наименование тем лекционных и лабораторных занятий, объем в часах.
- •3 Рабочая программа по заочной форме обучения
- •3.1. Наименование тем лекционных и лабораторных занятий, объем в часах
- •3.2. Контрольная работа
- •4 Учебно-методические материалы по дисциплине
- •4.1 Основная литература
- •4.2 Дополнительная литература
- •4.3 Перечень наглядных и других пособий, методических указаний по проведению конкретных видов учебных занятий, а также методических материалов к используемым в учебном процессе техническим средствам
- •4.3.1 Методические указания
- •4.3.2 Перечень программного обеспечения, используемого в учебном процессе.
- •4.3.3 Технические средства, используемые при преподавании дисциплины
3 Рабочая программа по заочной форме обучения
3.1. Наименование тем лекционных и лабораторных занятий, объем в часах
Лекции |
Лабораторные занятия | ||
Тема. Основные вопросы |
Часы |
Тема |
Часы |
Тема 1. Основные понятия теории множеств. Способы задания множеств. Операции над множествами. Диаграммы Венна. Свойства теоретико-множественных операций. Представление множеств в ЭВМ. |
1 |
‑ |
‑ |
Тема 2. Высказывательные формы. Функции алгебры логики. Основные понятия и определения. Способы задания булевых функций. Таблица истинности. Существенные и несущественные переменные. Булевы функции одной и двух переменных. Формулы. Реализация функций формулами. Равносильные формулы. Специальные разложения БФ. |
1 |
‑ |
‑ |
Тема 4. Теоремы о полноте системы функций алгебры логики. Пять классов булевых функций: линейные функции; функции, сохраняющие нуль; функции, сохраняющие единицу; монотонные функции; самодвойственные функции. Функционально полные системы логических функций. Примеры функционально полных базисов. Минимизация булевых функций. |
1 |
Л.р. № 2. Исследование полноты системы булевых функций |
1 |
Тема 9. Теория автоматов. Основные понятия теории конечных автоматов. Способы задания абстрактных автоматов: таблица переходов, граф переходов, матрица переходов. Автоматы Мили и Мура. Частичный автомат. |
1 |
Л.р. № 4. Синтез логических схем. |
1 |
Тема 13. Автоматы с памятью. Канонический метод структурного синтеза. Построение логической схемы структурного автомата. Графический метод структурного синтеза. |
1 |
Л.р. № 6. Минимизация конечного автомата методом Хафмена. |
1 |
Тема 14. Сети Петри и их свойства. Основные понятия сетей Петри. Конечные разметки сети. Ограниченность сети. Моделирование с помощью сетей Петри. Формальное определение сети Петри.
|
1 |
Л.р. № 7. Синтез структурного синхронного конечного автомата. |
1 |
Итого за семестр |
6 |
|
4 |
Для самостоятельной подготовки студенты заочной формы обучения должны руководствоваться пунктом 2.2.
3.2. Контрольная работа
Студент должен выполнить одну контрольную работу.
Контрольная работа выполняются в соответствии с методическими указаниями кафедры.
4 Учебно-методические материалы по дисциплине
4.1 Основная литература
№ п/п |
Автор, название, место издания, издательство, год издания учебной литературы |
Гриф |
Кол–во экземпляров |
1. |
Новиков, Ф. А. Дискретная математика для программистов : Учебник / Ф. А. Новиков. ‑ 2-е изд. - СПб. : Питер, 2006. ‑ 364с. |
Допущено Министерством образования и науки Российской Федерации в качестве учебника для вузов |
7 |
2. |
Хаггарти Р. Дискретная математика для программистов : Пер. с англ. / Р. Хаггарти ; Под ред. С. А. Кулешова. - 2-е изд., доп. - М. : Техносфера, 2005. ‑ 400с. |
Допущено УМО вузов РФ по образованию в области прикладной математики |
1 |
3. |
Поздняков, С. Н. Дискретная математика : учебник для вузов / С. Н. Поздняков, С. В. Рыбин. ‑ М. : Академия, 2008. ‑ 448с. |
Допущено Министерством образования и науки Российской Федерации в качестве учебника для вузов |
10 |