- •Содержание дисциплины "Дискретная математика" введение
- •Входная контрольная работа
- •1Вариант
- •2 Вариант
- •Раздел 1. Основы теории множеств
- •Тема 1.1 Основные понятия теории множеств.
- •Тема 1.2 Операции над множествами.
- •Самостоятельная работа № 1
- •Тема 1.3 Свойства операций.
- •Контрольная работа
- •1 Вариант
- •2 Вариант
- •Раздел 2. Формулы логики.
- •Тема 2.1 Основные логические операции.
- •Тема 2.2 Формулы логики.
- •Самостоятельная работа №2.
- •Тема 2.3 Дизъюнктивная нормальная форма.
- •Различны все члены дизъюнкции;
- •Тема 2.4 Конъюнктивная нормальная форма.
- •Тема 2.5 Равносильные формулы. Свойства.
- •Раздел 3. Булевы функции.
- •Тема 3.1 Понятие булевой функции.
- •Тема 3.2 Совершенная днф. Совершенная кнф. Совершенной дизъюнктивной формой формулы алгебры высказываний (сднф) называется днф, в которой:
- •Различны все члены дизъюнкции;
- •Самостоятельная работа №5.
- •Тема 3.3 Минимальная днф.
- •Тема 3.4 Представление булевой функции в виде минимальной днф.
- •Самостоятельная работа №6. Самостоятельная работа №7
- •Тема 3.5 Полнота множества функций.
- •Тема 3.6 Важнейшие замкнутые классы.
- •Важнейшие замкнутые классы в р2
- •Тема 3.7 Теорема Поста.
- •Примеры использования теоремы Поста.
- •3. Составим критериальную таблицу для другой полной системы функций из р2: {0, 1, x1x2, x1x2}.
- •Контрольная работа
- •Раздел 4. Предикаты и бинарные отношения.
- •Тема 4.1 Понятие предиката. Область определения и область истинности предиката.
- •Тема 4.2 Логические операции над предикатами.
- •Самостоятельная работа №8.
- •Тема 4.3 Кванторные операции над предикатами.
- •2. Квантор существования
- •- «Все люди любят всех людей».
- •- «Существует человек, который кого-то любит» .
- •- «Существует человек, который любит всех людей».
- •Тема 4.4 Понятие предикатной формулы.
- •Тема 4.5 Равносильность предикатов. Исчисление предикатов.
- •Самостоятельная работа №9.
- •Тема 4.6 Бинарные отношения и их свойства.
- •Самостоятельная работа №10. Контрольная работа
- •Раздел 5. Отображения. Подстановки.
- •Тема 5.1 Отображения и их свойства.
- •Самостоятельная работа №11.
- •Тема 5.2 Композиция отображений и обратное отображение.
- •Тема 5.3 Подстановки. Обратные подстановки. Формула количества подстановок.
- •Самостоятельная работа №12. Контрольная работа
- •1 Вариант
- •2 Вариант
- •3 Вариант
- •4 Вариант
- •5 Вариант
- •Раздел 6. Метод математической индукции.
- •Тема 6.1 Принцип метода математической индукции.
- •Раздел 7. Основы теории графов.
- •Тема 7.1 Понятие неориентированный граф. Основные определения.
- •Лабораторная работа № 1.
- •Тема 7.2 Теорема о сумме степеней вершин графа. Полный граф, его свойства.
- •Лабораторная работа № 2.
- •Тема 7.3 Метрические характеристики графа.
- •Лабораторная работа № 3.
- •Тема 7.4 Двудольные и изоморфные графы.
- •Лабораторная работа № 4.
- •Тема 7.5 Эйлеровы и гамильтоновы графы.
- •Лабораторная работа № 5
- •Тема 7.6 Плоские графы.
- •Тема 7.7 Деревья. Код Пруфера.
- •Тема 7.8 Понятие ориентированный граф (орграф).
- •Тема 7.9 Достижимость вершин в орграфе.
- •Раздел 8. Элементы теории алгоритмов.
- •Тема 8.1 Определение класса финитно-поставленных задач.
- •Тема 8.2 Машины Тьюринга.
- •Тема 8.3 Уточнения понятия алгоритм.
- •Итоговая (выходная) контрольная работа.
ДИСКРЕТНАЯ МАТЕМАТИКА
(КОНСПЕКТ ЛЕКЦИЙ)
Лекции для студентов Бурятского филиала ФГОУ ВПО СибГУТИ. Раздел 1 Основы теории множеств. Раздел 2 Формулы логики. Раздел 3 Булевы функции. Раздел 4 Предикаты и бинарные отношения. Раздел 5 Отображения. Подстановки. Раздел 6 Метод математической индукции. Раздел 7 Основы теории графов. Раздел 8 Элементы теории алгоритмов
источник http://www.twirpx.com/file/111042/
2009 год
Дискретная математика
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
Программы учебной дисциплины "Дискретная математика" предназначена для реализации государственных требований к минимуму содержания и уровню подготовки выпускников по специальности 2203 Программное обеспечение вычислительной техники и автоматизированных систем.
Учебная дисциплина "Дискретная математика" является обще профессиональной, формирующей базовый уровень знаний для освоения других обще профессиональных и специальных дисциплин.
Материал данного предмета используется при изучении дисциплин: "Математика и информатика", "Математическая статистика", "Архитектура ЭВМ, систем и сетей", "Основы алгоритмизации и программирование", "Базы данных", "Автоматизированные системы", "Технология разработки программных продуктов".
В структуре можно выделить 3 основных раздела:
основы теории множеств, формулы логики и булевы функции;
предикаты, бинарные отношения, отображения, метод математической индукции;
основы теории графов и теории алгоритмов.
В результате изучения дисциплины студент должен:
Иметь представление:
о значении и областях применения дисциплины;
знать:
основы теории множеств;
аппарат формул логики и теорию булевых функций;
логику предикатов и бинарных отношений;
метод математической индукции;
основы теории графов;
основа теории автоматов и алгоритмов.
уметь:
выполнять операции над множествами, применять аппарат теории множеств для решения задач;
строить таблицы истинности для формул логики и упрощать формулы логики;
представлять булевы функции в виде формул заданного типа. Определять возможность выражения одних булевых функций через другие;
выполнять операции над предикатами, записывать области истинности предикатов;
исследовать бинарные отношения на заданные свойства;
выполнять операции над отображениями;
доказывать утверждения с помощью метода мат. индукции;
находить характеристики графов, выделять структурные особенности графов, исследовать графы на заданные свойства;
применять аппарат учебной дисциплины "Дискретная математика" для решения прикладных задач.
Программа включает 72 лекционных часов и 20 часов в виде лабораторных работ.
Предмет "Дискретная математика" рассчитан на третий и четвертый семестры, проверкой знаний студентов являются обязательные контрольные работы. Итоговый контроль в форме экзамена.
В целом программа составлена так, чтобы достичь основных трех целей:
Сообщить студенту необходимые конкретные сведения из дискретной математики, предусмотренные стандартной программой технических высших учебных заведений. Выполнение практических заданий и разбор доказательств позволят студенту овладеть методами, наиболее употребительными с практической стороны.
Познакомить студента с широким кругом понятий, специальных терминов, тем самым, сформировать у студента терминологический запас, необходимый для самостоятельного изучения специальной математической и технико-программистской литературы.
Пополнить запас примеров нетривиальных алгоритмов.
Изложение материала ведется в форме беседы. При этом проблемная ситуация создается постановкой проблемных вопросов или показом противоречивости фактов. Студенты в свою очередь принимают активное участие в обосновании гипотезы и ее доказательств.
Организуется самостоятельная работа студентов посредством познавательных проблемных задач и заданий.
Содержание дисциплины "Дискретная математика" введение
Дискретная математика – часть математики, которая зародилась в глубокой древности. В широком смысле этого слова к дискретной математике относятся как классические разделы математики: алгебра, теория чисел, теория множеств, математическая логика и т.д., так и новые разделы, которые возникли в середине нашего столетия в связи с внедрением ЭВМ в практическую жизнь. В узком смысле, а в настоящее время именно в узком смысле слова «дискретная математика» и употребляются, сюда относят только те разделы, которые связаны с анализом сложных управляющих систем.
При исследовании, анализе и решении управленческих проблем, моделировании объектов исследования и анализа широко используются дискретные методы формализованного представления, являющиеся предметом рассмотрения в дискретной математике. К ним относятся методы, основанные на теоретико-множественных представлениях, графы, алгоритмы, математическая логика и др.
Дискретная математика предлагает:
универсальные средства (языки) формализованного представления;
способы корректной переработки информации, представленной на этих языках;
возможности и условия перехода с одного языка описания явлений на другой с сохранением содержательной ценности моделей.
Сегодня дискретная математика является важным звеном математического образования. Умение проводить анализ, композицию и декомпозицию информационных комплексов и информационных процессов – обязательное квалификационное требование к специалистам в области информатики.
Входная контрольная работа
1Вариант
1. Решите уравнение
2. Решите неравенство
3. Найдите производную
4. Решите систему уравнений
5. Упростите
2 Вариант
1. Решите уравнение
2. Решите неравенство
3. Найдите производную
4. Решите систему уравнений
5. Упростите
Раздел 1. Основы теории множеств
Тема 1.1 Основные понятия теории множеств.
Множеством называется совокупность каких-либо объектов, обладающим общим для всех характеристическим свойством. Это определение нельзя считать строгим, так как понятие множества является исходным понятием математики и не может быть определено через другие математические объекты. Один из основателей теории множеств Г. Кантор определял множество так: "Множество есть многое, мыслимое как целое".
Множество – это неопределяемое понятие, которое задается перечислением предметов, входящих (составляющих) в него, либо их свойствами.
Всякое множество состоит из элементов. Объекты, сущности или элементы, составляющие множество, обозначаются строчными латинскими буквами: a, b, m, x, y …; множество часто обозначают прописными латинскими буквами А, В, М, Х, У…. Знак обозначает вхождение или принадлежность; х Е читается: «элемент х принадлежит множеству Е», или короче: «х—элемент множества Е». Следует различать «общий элемент» х множества Е, т. е. произвольный элемент, характеризующийся единственным свойством «принадлежать множеству», и конкретные элементы а, b, c,..., каждый из которых отличен от остальных. Если х не принадлежит Е, будем писать х Е, что читается «х не является элементом множества Е» или «х не принадлежит множеству Е».
Если каждый элемент множества А является элементом множества В, говорят, что множество А является подмножеством множества В, и записывают А В или В А. Отметим, что по определению само множество А является своим подмножеством, т.е. А А.
Множество называется конечным, если оно одержит конечное число элементов. Все остальные множества называются бесконечными.
Также необходимо выделить пустые множества. Множества, не содержащие элементы, называются пустыми. Принято считать, что пустое множество является подмножеством любого множества, А, где А – любое множество. Таким образом, всякое множество содержит в качестве своих подмножеств пустое множество и само себя.
Существует два способа задания множества:
перечисление элементов (только для конечных множеств):
указание свойств:
- Множество М состоит из таких элементов х, обладающих свойством Р.
Пример:
1) - перечисление;
2)
Мощностью множества М называется число элементов в него входящих.
, , где М2 – множество, Н2 – мощность множества;