Дискретная математика

Предлагаемый курс дискретной математики знакомит ссовременными средствами моделирования – универсальными моделями и методами формализованного описания. В процессе моделирования этот класс методов занимает одно из ключевых мест. Отметим два важных обстоятельства, касающихся моделирования как процесса.

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

При иследовании сложных систем, происходящих вних процессов, сложных управленческих ситуаций и проблем, как правило, не удается сразу представить их в виде, пригодном для принятия решений.
Дискретная математика предлагает:

• 
  Универсальные средства формализованного представления;
  
• 
  Способы корректной переработки информации, представленной на этих языках;
  
• 
  Возможности и условия перехода с одного языка описания явлений на другой с сохранением содержательной ценности моделей.
  

Задачей курса и является и освоение основных моделей и методов формализованного представления: теоретико-множественных, логических, графических. Теория множеств, логика, теория графов являются фундаментом дискретной математики. Теоретико-множественные, логические и графические представления, относящиеся к этим разделам дискретной математики.


1 СРСП






















2 СРСП

Диаграмма Венна

Диаграмма Венна – геометрические представления множеств. Построение диаграммы заключается в изображении большого прямоугольника, представляющего универсальное множество

---

U, а внутри его – кругов представляющих множества. Фигуры должны пересекаться в наиболее общем случае требуемом в задаче и должны быть соответствующим образом обозначены. Точки, лежащие внутри различных областей диаграммы могут рассматриваться как элементы соответствующих множеств. Имея построенную диаграмму. Можно заштриховать определенные области для обозначения вновь образованных множеств.

Пример 1.

Представить множество А (В С) диаграммой Венна.

Начнем с общей диаграммы, показанной на рис.

Заштрихуем В диагональными линиями в одном направлении, а С в другом. Площадь с двойной штриховкой представляет собой их пересечение, т.е. множество В С. Выделим это множество жирной линией. На новой копии диаграммы заштрихуем эту область В С линиями одного направления, а А – другого. Вся заштрихованная .
Упражнения

1. В примере 2 проиллюстрировано свойство дистрибутив­ности слева операции пересечения относительно операции объединения и. Подтвердить справедливость свойства дист­рибутивности справа пересечения относительно объедине­ния , а также слева и справа и относительно п, т.е.:

а) (А В) С=(А С) (В С)- справа относитель­но

---

;

б) А (В С)=(А В) (А В) -слева относительно ;

в) (А В) C=( А С) (В С)- справа относитель­но .

2. 
   Построить диаграммы Венна, иллюстрирующие мно­жества а) - л) из упражнения 7 в § 1.2.
   
3. 
   Построить диаграммы Венна, иллюстрирующие мно­жества а) - з) из упражнения 8 в § 1.2. Отметить точками внутри соответствующих областей диаграмм элементы ис­ходных множеств U, А, В, С.
   
4. 
   Пусть ЛД С с: U. Проиллюстрировать на примере кон­кретных множеств и с помощью диаграмм Венна справед­ливость следующих соотношений:
   

а) А (В С) = (А В) С; д) А (А

---

В) = А;
6) A (B C) = (А В) С; е )А (А В)=А;_
в) А В = А В;ж) (А В) (A В )=- А;

г)А В=А В;з)А (А В)=А В.

Доказательства

Проблема доказательства изучается в теории формаль­ных систем - фундаментальном разделе дискретной мате­матики. Доказательства используются в любой аксиомати­ческой теории, например в любом разделе классической и высшей математики, дискретной математики, в том числе теории множеств и др. Далее под доказательством будем понимать способ получения (вывод) новых соотношений (знаний) из уже имеющихся путем корректных преобразо­ваний, гарантирующих получение истинных знаний в той мере, в какой можно гарантировать истинность исходных

---

знаний.

Ниже в примерах 1-5 проиллюстрированы наиболее час­то используемые в теории множеств приемы доказательств:

• 
  доказательство равенства - соотношений типа Х= Y;
  
• 
  доказательство единственности существования;
  
• 
  доказательство от противного.
  

В примерах 1, 2 доказательства соотношений типа X= Y, где Xи Y - множества, основаны на использовании определений I и II равенства двух множеств.

В соответствии с определением I для равенства двух мно­жеств требуется совпадение их элементов. Поэтому сначала доказывается, что для произвольного элемента а из того, что а Х, следует, что a Y, затем доказывается, что если а X, то а Y. Таким образом, элементы множествами Гсовпада-ют и, следовательно, по определению I, Х= Y.

В соответствии с определением UX= Y, если х у и Y X. Поэтому для доказательства равенства двух множеств тре­буется показать справедливость включений х у и Y X.

В примере 3 для доказательства единственности суще­ствования теоретико-множественного объекта Xиспользо­ван основной математический подход, в соответствии с ко­

---

Смотрите также файлы

• Тема Экономическая и экологическая оценка природных ресурсов.docx

• На вопросы Какими.docx

• Методика использования антивирусных программ и действия при заражении компьютера вирусами.ppt

• Тритурациялы таблеткалар дегеніміз не.docx

• 1. Информационные технологии. Информационные процессы. Технология.pdf