Вы находитесь на странице: 1из 4

Белорусский Государственный Университет Информатики и Радиоэлектроники

Отчет по Лабораторной работе №4


Выполнение операций над соответствиями

Работу выполнили:
Степанов Н.Ю., Протас С.А., Рудьман И.О
Группа 021704
Проверила:
Гулякина Н.А.

Минск 2021
Постановка задачи:
Даны 2 соответствия, выполнить операции над ними: объединение,
пересечение, разность, симметрическую разность, инверсию, образ,
прообраз, сужение, продолжение.
Элементы графиков соответствий задаются перечислением.
Уточнение постановки задачи:
1. Мощность графика задается пользователем, мощность графика является
целым числом, мощность графика ϵ[1;15] для первого соответствия и
ϵ[1;9] для второго соответствия, пользователь задает значение из этого
диапазона
2. Области отправления и прибытия двух соответствий заданы изначально,
элементы графиков соответствий проходят проверку на принадлежность
заданным областям
3. Первое соответствие F: график G, область отправления A = {a|a∈[1;5]},
область прибытия B = {b|b∈[2;4]}
4. Второе соответствие R: график U, область отправления C = {a|a∈[1;3]},
область прибытия D = {b|b∈[3;5]}
5. Элементами графика являются упорядоченные пары, элементами
которых являются целые числа из областей отправления и прибытия.
Пары, принадлежащие графикам, вводятся пользователем, без
повторений следующим образом: пользователь задает первый элемент
кортежа, затем задает второй элемент.
6. Пользователь выбирает одну из предложенных операций, и она
выполняется согласно алгоритму
7. Программа работает, пока пользователь не выбрал операцию выхода

Определения:
Множество – совокупность некоторых элементов, мыслимые как единое.

График — это множество, каждый элемент которого является парой или


кортежем длины 2.

Кортеж — упорядоченная последовательность конечного числа элементов.

Мощность множества – характеристика множеств, обобщающая понятие


количества элементов конечного множества.

Объединение множеств – множество, содержащее все элементы исходных


множеств.
Пусть даны множества А и В, тогда A ∪ B= { x ∈ A V x ∈ B }.
Пересечение множеств – множество, которому принадлежат только те
элементы, которые принадлежат одновременно всем данным множествам.
Пусть даны множества А и В, тогда A ∩ B= { x ∈ A∧x ∈ B } .

График P называется инверсией графика Q P = {< x , y >¿< y , x> ∈Q }

График R называется композицией двух графиков Р и Q тогда, когда для


∀ 〈 x , y 〉 ∈ R ∃ z ∶ 〈 x , z 〉 ∈ Р∧〈 z , y 〉 ∈Q .

Разность множеств A и B – множество, состоящее из элементов, которые


принадлежат множеству A, но не принадлежащих B. Обозначается A\B

Симметрическая разность множеств A и B – множество, состоящее из


элементов, которые принадлежат только лишь множеству A или только лишь
множеству B. Обозначается A∆B.

Соответствием g между множествами X и Y будем называть тройку


объектов: Г =( Х , K , G), где X — область отправления соответствия, Y
— область прибытия соответствия, G — график соответствия, причём
G ⊆ X ×Y .

Областью определения соответствия будем называть пр 1 G.


Областью значений соответствия будем называть П р 2 2G.

Образом множества А при данном соответствии называется множество


Г ( В)={ у∨( х , у) ∈G и х ∈ А ¿ .
Прообразом множecmвa В при данном соответствии называется множество
Г −1( В)={ х∨( х , у) ∈G и у ∈ В }.
Объединение соответствий Г 1 ∪ Г 2=¿ X ∪ W , Y ∪Z , F ∪P> , где
Г 1=¿ X ,Y , F>и Г 2=¿ W , Z , P> ¿
Пересечение соответствий Г 1 ∩ Г 2=¿ X ∩W ,Y ∩ Z , F ∩ P> , где
Г 1=¿ X ,Y , F>и Г 2=¿ W , Z , P> ¿
Разность соответствий Г 1 {Г ¿2 =¿ X ¿ ,Y ¿ , F ¿>, где
Г 1=¿ X ,Y , F>и Г 2=¿ W , Z , P> ¿
Инверсия соответствия Г 1−1 =¿Y , X , F−1> , где
Г 1=¿ X ,Y , F> ¿

Сужение соответствия Г А =¿ X , Y , F ∩( A ×Y )>, где


Г 1=¿ X ,Y , G>и А ⊆ X
Продолжение соответствия
Г 2 =¿W , Z , P ¿>, где произвольный элементb , соответствующий произвольному элементу а в Г 1 ,
обязательно соответствует тому же самому элементу в Г 2 , но не наоборот
Г 1=¿ X ,Y , G>и Г 2=¿ W , Z , P>и G⊆ P , X =W ,Y =Z

Порядковый номер - номер указывающий место и последовательность по


принятому порядку счёта.
Порядковый номер элемента во множестве – номер указывающий на место
элемента во множестве при порядке счета с начала множества