73182

Исследование операций с множествами

Лабораторная работа

Информатика, кибернетика и программирование

Множества А и В равны тогда и только тогда когда каждый элемент множества А является элементом множества В и наоборот каждый элемент множества В является элементом множества А т. Пересечением или произведением двух множеств называется множество состоящие из всех тех элементов...

Русский

2014-12-05

1.12 MB

1 чел.

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ, МОЛОДЁЖИ
И СПОРТА УКРАИНЫ

ГОСУДАРСТВЕННОЕ ВЫСШЕЕ УЧЕБНОЕ ЗАВЕДЕНИЕ
“НАЦИОНАЛЬНЫЙ ГОРНЫЙ УНИВЕРСИТЕТ”


Кафедра: программного обеспечения

компьютерных систем


Лабораторная работа № 1
по курсу дискретной математики
на тему: “
 Исследование операций с множествами ”


Выполнил: студент 1-вого

курса факультета ФИТ

группы КНит-14-2
Задорожний А.А.

Проверил: Минеев А. С.




Днепропетровск-2014 г.


1. Краткие теоретические сведения

Равенство  множеств. Множества А и В равны тогда и только тогда,  когда каждый элемент множества А является элементом множества В, и наоборот, каждый элемент множества В является элементом множества А, т. е.

                                                          А  В и В  А

Объединение множеств.  Объединением или суммой двух множеств А и В называется множество, состоящее из всех элементов, каждый из которых принадлежит хотя бы одному из данных множеств.

                                                                          Выполняются законы:

                                                          S             1)Ассоциативный.

B

                                                                           (АВ)С=А(ВС)=АВС.

A

                    А                    В                            2) Коммутативный.

АВ=ВА; АА=А;

                                                                                А=А;

                                   АS=S;  АВ=А если В  А.

Пересечение множеств. Пересечением или произведением двух множеств называется множество, состоящие, из всех тех элементов, которые принадлежат обеим множествам.

 

                                                     S               Справедлив коммутативный и           

                                                                      ассоциативный закон  в частности:

                         А                                           А(ВС)=(АВ)(АС).

                                           В                       

Два множества А и В являются взаимоисключающими, или несовместимыми, если АВ=.

Дополнение множеств. Дополнение множества А называется множество,  в котором содержатся все элементы пространства S, кроме принадлежащих множеству А. Оно обозначается через А.

                                                                 Справедливыми будут следующие

                                                                  выражения   

                                                                                            =

         А                     А                             =S; S=; (A)=A;  AA=S;

                                                                     AA=;

                                                                   AB при ВА;

                                                                   A=B если А=В.

Кроме того, справедливы законы де Моргана:

(АВ)=А В;  (АВ)=А В.

  Разность  множеств. Разность А-В множеств А и В есть множество, состоящие из элементов множества А, не принадлежащих множеству В.

                                                                        A - B=A \ B=A  B=A - (AB).

                        A                              S                (читаем “A  без  B”)

          А-В                                                          

                                     В                           

                                                                        

                            В-А                                 

                                                                         

Из последней диаграммы выведены следующие соотношения:

А -  = А, А - S = , S - A =A.

Выражения, где присутствует разность, необходимо записывать со скобками.

Описанные выше операции со множествами проиллюстрируем  примером. Предположим, что элементами пространства S – натуральные числа от 1 до 6. S={1, 2, 3, 4, 5, 6}  и определим следующие подмножества:

    А={2, 4, 6}; B={1, 2, 3, 4}; C={1, 3, 5}.

Учитывая приведенные соотношения можно записать:

(АВ)={1, 2, 3, 4, 6},   (BC)={1,  2, 3, 4, 5}

(ABC)={1, 2, 3, 4, 5, 6}=S=AC,

AB={2, 4}, BC={1, 3}, AC=,

ABC=,A={1, 3, 5}=C, B={5, 6},

C={2, 4, 6}=A, A-B={6}, B-A={1, 3},

  A-C={2, 4, 6}=A, C-A={1, 2, 5}=C,

  B-C={2, 4}, C-B={5}.

2. Четыре выбранных выражения и вариант взаиморасположения множеств

2.1: Вариант взаиморасположения множеств:

[все диаграммы Эйлера-Венна сделаны ВРУЧНУЮ в программе Paint.net (формат: .pdn)]


2.2: Выбранные выражения:


1.) (A+B) * (C-D);

2.) (A-B) * (C*D);

3.) ((A+B) - ^C) - D;

4.) (B-A) * ^(C-D).

3. Диаграммы Эйлера - Венна с последовательным выполнением заданных операций

1. (A+B) * (C-D);


2. (A-B) * (C*D);

3. ((A+B) - ^C) - D;

4. (B-A) * ^(C-D).

4. Диаграммы Эйлера - Венна, выбранные по данным расчетов на ЭВМ

5. Словесное описание результатов операций

1. (A+B) * (C-D):

1. (A+B) - объединяем множество А с множеством B;

2. (C-D) -  убираем из множества С элементы множества D;

3. ((A+B) * (C-D))  - объединяем общие элементы множеств (A+B) и (С-D).


2. (A-B) * (C*D):

1. (A-B) - убираем из множества A элементы множества B;

2. (C*D) -  объединяем общие элементы множеств C и D;

3. ((A-B) * (C*D)) - объединяем общие элементы множеств (A-B) и (С*D).


3. ((A+B) - ^C) – D:

1. (A+B) - объединяем множество А с множеством B;
2. ^
C      -  берём все элементы не входящие в множество С;

3. ((A+B) - ^C) -  убираем из множества (A+B) элементы множества ^C;

4. (((A+B) - ^C) - D) - убираем из множества ((A+B) - ^C)) элементы множества D;

4. (B-A) * ^(C-D):

1. (B-A) - убираем из множества B элементы множества A;

2. (C-D) -  убираем из множества C элементы множества D;

3. (^(C-D)) - берём все элементы не входящие в множество (C-D);

4. ((B-A) * ^(C-D)) – объединяем общие элементы множеств (B-A) и (^(C-D)).

6. Выводы по лабораторной работе


Во время написания лабораторной работы научились строить диаграммы Эйлера-Венна с помощью множественных выражений, а также выполнять различные операции над множествами, работать в программе SetCalculator и строить вручную диаграммы в Paint.net. Были изучены законы Де Моргана и другие законы преобразований.


 

А также другие работы, которые могут Вас заинтересовать

1136. Центрировка линз. методы измерения децентричности 224.5 KB
  Методы контроля децентричности. Контроль с помощью коллиматора и микроскопа. Схема контроля децентрировки линз в проходящем свете с помощью коллиматора и микроскопа. Контроль с помощью автоколлимационного микроскопа. Контроль деценрировки на автоколлимационном микроскопе А.А.Забелина.
1137. Миры штриховые для определения предела разрешения 143 KB
  Штриховая мира состоит из элементов с различным количеством штрихов одинаковой длины. Ширина штрихов каждой миры убывает от элемента №1 к элементу номер 25 по закону геометрической прогрессии со знаменателем. Число штрихов в каждой группе элементов миры.
1138. Определение цены деления микроскопа с окуляр-микрометром 44 KB
  Для определения цены деления микроскоп-микрометра применяют объект-микрометр (шкалу с ценой деления 0,01 мм). Перекрестие шкалы окулярного микрометра.
1139. Типовые контрольно-юстировочные приборы 75 KB
  Зрительные трубки. Диоптрийная трубка. Коллиматоры для проверки разрешающей силы и качества изображения. Широкоугольный коллиматор.
1140. Информационные системы и базы данных. Основные требования к СУБД. Основные функции и структура СУБД. 686.5 KB
  Создание пустой базы данных в среде СУБД Access 2003. Добавление полей связи. Концептуальная модель проектируемой базы данных.
1141. Средства среды Delphi и C++Builder для разработки приложений для БД 384.5 KB
  Изучение принципов работы с базами данных в С++ или Delphi. Применение визуальных и невизуальных компонент для организации доступа к базе данных.
1142. Создание базы данных Автосалона 282 KB
  Анализ информационных задач и круга пользователей системы. Определение требований к операционной обстановке. Выбор СУБД и других программных средств. Анализ информационных задач и круга пользователей системы. Преобразование ER–диаграммы в схему базы данных.
1143. Применение экранных форм для ввода и редактирования данных в зависимых связанных объектах базы данных 482 KB
  Приобретение навыков построения системы меню приложений баз данных при помощи средств разработки меню графического интерфейса пакета FoxPro.
1144. Зависимость электропроводности полупроводников от напряженности электрического поля 447.5 KB
  Исследование влияния сильных электрических полей на электропроводность материала варистора. Зависимость проводимости от внешнего электрического поля (экстраполяция по первым и последним четырем точкам).