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

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

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


Выполнение всех операций над графиками

Работу выполнили:

Лаптев К.Д., Селедцов Е.Д., Корсак И.А, Старостин П. Г.

Группа 021704

Проверила:

Гулякина Н.А.
Постановка задачи:
Даны два соответствия A и B, найти их пересечение, объединение, разность,
симметрическую разность, инверсию, композицию, образ, прообраз, сужение и
продолжение. Графики, области отправления и области прибытия соответствий
задаются методом перечисления.
Уточнение постановки задачи:
 Используются два соответствия: А=⟨ X , Y , G ⟩ и В=⟨ U , V , F ⟩ .
 Множества X и U являются областями отправления, а множества Y и V
являются областями прибытия.
 Мощность множеств X, Y, U и V задается пользователем, она является целым
числом. Мощность множества ϵ [ 0 ; 15 ] .
 Элементами данных множеств являются целые числа от 1 до 30.
 Мощность графика G задается пользователем, она является целым числом.
Мощность графика не превышает произведения мощностей множеств X и Y.
 Элементами графика G являются кортежи длины 2, обе компоненты которых
являются целыми числами, первая компонента которых принадлежит
множеству X, а вторая – множеству Y.
 Мощность графика F задается пользователем, она является целым числом.
Мощность графика не превышает произведения мощностей множеств U и V.
 Элементами графика F являются кортежи длины 2, обе компоненты которых
являются целыми числами, первая компонента которых принадлежит
множеству U, а вторая – множеству V.
 Образ соответствия А находится для множества T, мощность которого
задаётся пользователем и не превышает мощности множества X. Элементы
множества T (принадлежащие множеству Х) задаются пользователем.
 Прообраз соответствия А находится для множества N, мощность которого
задаётся пользователем и не превышает мощности множества Y. Элементы
множества N (принадлежащие множеству Y) задаются пользователем.
 Сужение соответствия A находится для множества W, мощность которого
задаётся пользователем и не превышает мощности множества X. Элементы
множества W (принадлежащие множеству Х) задаются пользователем.
 Образ, прообраз, сужение и продолжение находится только для соответствия
A.
 Пользователю даётся возможность выбора операции.
 После выполнения операции результат выводится на экран.
 Операцию можно выполнить любое количество раз за один запуск
программы.
Определения:
 Множество – совокупность некоторых элементов, мыслимая как единое целое.
 Мощность множества – характеристика множеств, обобщающая понятие
количества элементов множества.
 Кортеж — упорядоченный набор фиксированной длины.
 Пара — кортеж длины два.
 График — это множество, все элементы которого являются парами.
 Объединение множеств – множество, содержащее все элементы исходных
множеств.
 Пересечение множеств – множество, которому принадлежат только те элементы,
которые принадлежат одновременно всем данным множествам.
 Разность множеств A и B – множество, состоящее из элементов, которые
одновременно принадлежат множеству A и не принадлежат множеству B.
 Симметрическая разность множеств A и B – множество, состоящее из элементов,
которые принадлежат только множеству A или только множеству B.
 Пара ⟨ c , d ⟩ называется инверсией пары ⟨ a , b ⟩ , если c = b и d = a;
 Инверсия графика A — это множество инверсий всех пар из графика A;
 График R называется композицией двух графиков P и Q, а также ⟨ x , y ⟩ ∈ R , тогда и
только тогда, когда ∃ z такое, что ⟨ x , z ⟩ ∈ P & ⟨ z , y ⟩ ∈Q .
 Объединением соответствий А=⟨ X , Y , G ⟩ и В= ⟨ U ,V , F ⟩ называют соответствие
A ∪ B= ⟨ X ∪ U ,Y ∪ V ,G ∪ F ⟩.
 Пересечением соответствий А=⟨ X , Y , G ⟩ и В= ⟨ U ,V , F ⟩ называют соответствие
A ∩ B= ⟨ X ∩U , Y ∩V , G ∩ F ⟩.
 Разностью соответствий А=⟨ X , Y , G ⟩ и В= ⟨ U ,V , F ⟩ называют соответствие
A ¿=⟨ X ¿ , Y ¿ ,G ¿ ⟩.
 Инверсией соответствия А=⟨ X , Y , G ⟩ является соответствие A−1, такое, что
множество Y является областью отправления соответствия A−1, множество X
является областью прибытия соответствия A−1, а график соответствия G−1 является
инверсией графика G соответствия A.
 Композицией соответствий А=⟨ X , Y , G ⟩ и В= ⟨ U ,V , F ⟩ называют соответствие
A ∙ B=⟨ X ,V , G∙ F ⟩ .
 Образом соответствия А=⟨ X , Y , G ⟩ называется множество
M = A ( M )= { у| ⟨ х , у ⟩ ∈G и х ∈ M }.
 Прообразом соответствия А=⟨ X , Y , G ⟩ называется множество
N= A−1 ( N )={ х| ⟨ х , у ⟩ ∈ Gи у ∈ N }.
 Сужением соответствия А=⟨ X , Y , G ⟩ на множестве W называется соответствие
A w =⟨ X ,Y , G∩(W ×Y ) ⟩ .
 Продолжением соответствия А=⟨ X , Y , G ⟩ называется соответствие
K= ⟨ Z , U , H ⟩ , причем G ⊆ H , Z=X , U=Y .
Описание алгоритма:
1. Ввод данных
1.1. Пользователь вводит мощность множества X.
1.2. Пользователь вводит элементы множества X.
1.3. Пользователь вводит мощность множества Y.
1.4. Пользователь вводит элементы множества Y.
1.5. Пользователь вводит мощность графика G.
1.6. Пользователь вводит элементы графика G.
1.7. Пользователь вводит мощность множества U.
1.8. Пользователь вводит элементы множества U.
1.9. Пользователь вводит мощность множества V.
1.10. Пользователь вводит элементы множества V.
1.11. Пользователь вводит мощность графика F.
1.12. Пользователь вводит элементы графика F.
2. Выбор операции
2.1. Пользователь должен выбрать одну из следующих операций.
2.1.1. Пересечение.
2.1.2. Объединение.
2.1.3. Разность A\B.
2.1.4. Разность B\A.
2.1.5. Симметрическая разность.
2.1.6. Инверсия A.
2.1.7. Инверсия B.
2.1.8. Композиция A • B.
2.1.9. Композиция B• A .
2.1.10. Образ A.
2.1.11. Прообраз A.
2.1.12. Сужение A.
2.1.13. Продолжение A.
2.1.14. Выход из программы.
2.2. Если пользователь выбрал операцию пересечения, переходим к пункту 3.
2.3. Если пользователь выбрал операцию объединения, переходим к пункту 4.
2.4. Если пользователь выбрал операцию разности A\B, переходим к пункту 5.
2.5. Если пользователь выбрал операцию разности B\A, переходим к пункту 6.
2.6. Если пользователь выбрал операцию симметрической разности, переходим
к пункту 7.
2.7. Если пользователь выбрал операцию инверсии графика A, переходим к
пункту 8.
2.8. Если пользователь выбрал операцию инверсии графика B, переходим к
пункту 9.
2.9. Если пользователь выбрал операцию композиции A • B, переходим к пункту
10.
2.10. Если пользователь выбрал операцию композиции B• A , переходим к пункту
11.
2.11. Если пользователь выбрал операцию образ A , переходим к пункту 12.
2.12. Если пользователь выбрал операцию прообраз A , переходим к пункту 13.
2.13. Если пользователь выбрал операцию сужение A , переходим к пункту 14.
2.14. Если пользователь выбрал операцию продолжение A , переходим к пункту
15.
2.15. Если пользователь выбрал операцию выход из программы, переходим к
пункту 16.
3. Операция пересечения
3.1. Находим пересечение графиков G и F
3.1.1. Создаётся пустой график C, который будет результатом операции.
3.1.2. Выбираем первую пару графика G.
3.1.3. Выбираем первую пару графика F.
3.1.4. Если первая компонента выбранной пары графика G не равна первой
компоненте выбранной пары графика F, то переходим к пункту 3.1.6.
3.1.5. Если вторая компонента выбранной пары графика G равна второй
компоненте выбранной пары графика F, то пару графика G записываем в
график C.
3.1.6. Если выбранная пара графика F является последней, то переходим к
пункту 3.1.9.
3.1.7. Выбираем следующую пару графика F.
3.1.8. Переходим к пункту 3.1.4.
3.1.9. Если выбранная пара графика G является последней, то переходим к
пункту 3.1.12.
3.1.10. Выбираем следующую пару графика G.
3.1.11. Переходим к пункту 3.1.3.
3.1.12. C – результат пересечения графиков G и F.
3.2. Находим пересечение областей отправления X и U
3.2.1. Создаётся пустое множество M, которое будет результатом операции.
3.2.2. Выбираем первый элемент множества X.
3.2.3. Выбираем первый элемент множества U.
3.2.4. Если выбранный элемент множества X равен выбранному элементу
множества U, то элемент множества U записываем во множество M.
3.2.5. Если выбранный элемент множества U является последним, то
переходим к пункту 3.2.8.
3.2.6. Выбираем следующий элемент множества U.
3.2.7. Переходим к пункту 3.2.4.
3.2.8. Если выбранный элемент множества X является последним, то
переходим к пункту 3.2.11.
3.2.9. Выбираем следующий элемент множества X.
3.2.10. Переходим к пункту 3.2.3.
3.2.11. M – результат пересечения множеств X и U.
3.3. Находим пересечение областей прибытия Y и V
3.3.1. Создаётся пустое множество R, которое будет результатом операции.
3.3.2. Выбираем первый элемент множества Y.
3.3.3. Выбираем первый элемент множества V.
3.3.4. Если выбранный элемент множества Y равен выбранному элементу
множества V, то элемент множества V записываем во множество R.
3.3.5. Если выбранный элемент множества V является последним, то
переходим к пункту 3.3.8.
3.3.6. Выбираем следующий элемент множества V.
3.3.7. Переходим к пункту 3.3.4.
3.3.8. Если выбранный элемент множества Y является последним, то
переходим к пункту 3.3.11.
3.3.9. Выбираем следующий элемент множества Y.
3.3.10. Переходим к пункту 3.3.3.
3.3.11. R – результат пересечения множеств Y и V.
3.4. Создаётся соответствие P, в котором M – область отправления, R – область
прибытия, C – график соответствия.
3.5. P= ⟨ M , R , C ⟩ - результат нахождения пересечения соответствий
А=⟨ X , Y , G ⟩ и В=⟨ U , V , F ⟩ .
3.6. Соответствие P выводится на экран.
3.7. Переходим к пункту 2.
4. Операция объединения
4.1. Находим объединение графиков G и F.
4.1.1. Создаётся пустой график C, который будет результатом операции.
4.1.2. Выбираем первую пару графика G.
4.1.3. Записываем выбранную пару графика G в график С.
4.1.4. Если выбранная пара графика G является последней, переходим к
пункту 4.1.7.
4.1.5. Выбираем следующую пару графика G.
4.1.6. Переходим к пункту 4.1.3.
4.1.7. Выбираем первую пару графика F.
4.1.8. Выбираем первую пару графика G.
4.1.9. Если первая компонента выбранной пары графика F не равна первой
компоненте выбранной пары графика G, то переходим к пункту 4.1.11.
4.1.10. Если вторая компонента выбранной пары графика F равна второй
компоненте выбранной пары графика G, то переходим к пункту 4.1.15.
4.1.11. Если выбранная пара графика G является последней, то переходим к
пункту 4.1.14.
4.1.12. Выбираем следующую пару графика G.
4.1.13. Переходим к пункту 4.1.9.
4.1.14. Записываем выбранную пару графика F в график C.
4.1.15. Если выбранная пара графика F является последней, то переходим к
пункту 4.1.18.
4.1.16. Выбираем следующую пару графика F.
4.1.17. Переходим к пункту 4.1.8.
4.1.18. C – результат объединения графиков G и F.
4.2. Находим объединение областей отправления X и U.
4.2.1. Создаётся пустое множество M, которое будет результатом операции.
4.2.2. Выбираем первый элемент множества X.
4.2.3. Записываем выбранный элемент множества X во множество M.
4.2.4. Если выбранный элемент множества X является последним, переходим
к пункту 4.2.7.
4.2.5. Выбираем следующий элемент множества X
4.2.6. Переходим к пункту 4.2.3.
4.2.7. Выбираем первый элемент множества U.
4.2.8. Выбираем первый элемент множества X.
4.2.9. Если выбранный элемент множества U равен выбранному элементу
множества X, то переходим к пункту 4.2.14.
4.2.10. Если выбранный элемент множества X является последним, то
переходим к пункту 4.2.13.
4.2.11. Выбираем следующий элемент множества X.
4.2.12. Переходим к пункту 4.2.9
4.2.13. Записываем выбранный элемент множества U во множество M.
4.2.14. Если выбранный элемент множества U является последним, то
переходим к пункту 4.2.17.
4.2.15. Выбираем следующий элемент множества U.
4.2.16. Переходим к пункту 4.2.8.
4.2.17. M – результат объединения множеств X и U.
4.3. Находим объединение областей прибытия Y и V.
4.3.1. Создаётся пустое множество R, которое будет результатом операции.
4.3.2. Выбираем первый элемент множества Y.
4.3.3. Записываем выбранный элемент множества Y во множество R.
4.3.4. Если выбранный элемент множества Y является последним, переходим
к пункту 4.3.7.
4.3.5. Выбираем следующий элемент множества Y
4.3.6. Переходим к пункту 4.3.3.
4.3.7. Выбираем первый элемент множества V.
4.3.8. Выбираем первый элемент множества Y.
4.3.9. Если выбранный элемент множества V равен выбранному элементу
множества Y, то переходим к пункту 4.3.14.
4.3.10. Если выбранный элемент множества Y является последним, то
переходим к пункту 4.3.13.
4.3.11. Выбираем следующий элемент множества Y.
4.3.12. Переходим к пункту 4.3.9
4.3.13. Записываем выбранный элемент множества V во множество R.
4.3.14. Если выбранный элемент множества V является последним, то
переходим к пункту 4.3.17.
4.3.15. Выбираем следующий элемент множества V.
4.3.16. Переходим к пункту 4.3.8.
4.3.17. C – результат объединения множеств Y и V.
4.4. Создаётся соответствие P, в котором M – область отправления, R – область
прибытия, C – график соответствия.
4.5. P= ⟨ M , R , C ⟩ - результат нахождения пересечения соответствий
А=⟨ X , Y , G ⟩ и В=⟨ U , V , F ⟩ .
4.6. Соответствие P выводится на экран.
4.7. Переходим к пункту 2.
5. Операция разности A\B
5.1. Находим разность графиков G и F.
5.1.1. Создаётся пустой график C, который будет результатом операции.
5.1.2. Выбираем первую пару графика G.
5.1.3. Выбираем первую пару графика F.
5.1.4. Если первая компонента выбранной пары графика G не равна первой
компоненте выбранной пары графика F, то переходим к пункту 5.1.6.
5.1.5. Если вторая компонента выбранной пары графика G равна второй
компоненте выбранной пары графика F, то переходим к пункту 5.1.10.
5.1.6. Если выбранная пара графика F является последней, то переходим к
пункту 5.1.9.
5.1.7. Выбираем следующую пару графика F.
5.1.8. Переходим к пункту 5.1.4.
5.1.9. Записываем выбранную пару графика G в график C.
5.1.10. Если выбранная пара графика G является последней, то переходим к
пункту 5.1.13.
5.1.11. Выбираем следующую пару графика G.
5.1.12. Переходим к пункту 5.1.3.
5.1.13. C – результат разности G\F.
5.2. Находим разность областей отправления X и U.
1.1.1. Создаётся пустое множество M, которое будет результатом операции.
1.1.2. Выбираем первый элемент множества X.
1.1.3. Выбираем первый элемент множества U.
1.1.4. Если выбранный элемент множества X равен выбранному элементу
множества U, то переходим к пункту 5.2.9.
1.1.5. Если выбранный элемент множества U является последним, то
переходим к пункту 5.2.8.
1.1.6. Выбираем следующий элемент множества U.
1.1.7. Переходим к пункту 5.2.4.
1.1.8. Записываем выбранный элемент множества X во множество M.
1.1.9. Если выбранный элемент множества X является последним, то
переходим к пункту 5.2.12.
1.1.10. Выбираем следующий элемент множества X.
1.1.11. Переходим к пункту 5.2.3.
5.2.1. M – результат разности X\U.
5.3. Находим разность областей прибытия Y и V.
5.3.1. Создаётся пустое множество R, которое будет результатом операции.
5.3.2. Выбираем первый элемент множества Y.
5.3.3. Выбираем первый элемент множества V.
5.3.4. Если выбранный элемент множества Y равен выбранному элементу
множества V, то переходим к пункту 5.3.9.
5.3.5. Если выбранный элемент множества V является последним, то
переходим к пункту 5.3.8.
5.3.6. Выбираем следующий элемент множества V.
5.3.7. Переходим к пункту 5.3.4.
5.3.8. Записываем выбранный элемент множества Y во множество R.
5.3.9. Если выбранный элемент множества Y является последним, то
переходим к пункту 5.3.12.
5.3.10. Выбираем следующий элемент множества Y.
5.3.11. Переходим к пункту 5.3.3.
5.3.12. R – результат разности Y\V
5.4. Создаётся соответствие P, в котором M – область отправления, R – область
прибытия, C – график соответствия.
5.5. P= ⟨ M , R , C ⟩ - результат нахождения разности соответствий
А=⟨ X , Y , G ⟩ и В=⟨ U , V , F ⟩ .
5.6. Соответствие P выводится на экран.
5.7. Переходим к пункту 2.
6. Операция разности B\A
6.1. Находим разность графиков F и G.
6.1.1. Создаётся пустой график C, который будет результатом операции.
6.1.2. Выбираем первую пару графика F.
6.1.3. Выбираем первую пару графика G.
6.1.4. Если первая компонента выбранной пары графика F не равна первой
компоненте выбранной пары графика G, то переходим к пункту 6.1.6.
6.1.5. Если вторая компонента выбранной пары графика F равна второй
компоненте выбранной пары графика G, то переходим к пункту 6.1.10.
6.1.6. Если выбранная пара графика G является последней, то переходим к
пункту 6.1.9.
6.1.7. Выбираем следующую пару графика G.
6.1.8. Переходим к пункту 6.1.4.
6.1.9. Записываем выбранную пару графика F в график C.
6.1.10. Если выбранная пара графика F является последней, то переходим к
пункту 6.1.13.
6.1.11. Выбираем следующую пару графика F.
6.1.12. Переходим к пункту 6.1.3.
6.1.13. C – результат разности F\G.
6.2. Находим разность областей отправления U и X.
6.2.1. Создаётся пустое множество M, которое будет результатом операции.
6.2.2. Выбираем первый элемент множества U.
6.2.3. Выбираем первый элемент множества X.
6.2.4. Если выбранный элемент множества U равен выбранному элементу
множества X, то переходим к пункту 6.2.9.
6.2.5. Если выбранный элемент множества X является последним, то
переходим к пункту 6.2.8.
6.2.6. Выбираем следующий элемент множества X.
6.2.7. Переходим к пункту 6.2.4.
6.2.8. Записываем выбранный элемент множества U во множество M.
6.2.9. Если выбранный элемент множества U является последним, то
переходим к пункту 6.2.12.
6.2.10. Выбираем следующий элемент множества U.
6.2.11. Переходим к пункту 6.2.3.
6.2.12. M – результат разности U\X.
6.3. Находим разность областей прибытия V и Y.
6.3.1. Создаётся пустое множество R, которое будет результатом операции.
6.3.2. Выбираем первый элемент множества V.
6.3.3. Выбираем первый элемент множества Y.
6.3.4. Если выбранный элемент множества V равен выбранному элементу
множества Y, то переходим к пункту 6.3.9.
6.3.5. Если выбранный элемент множества Y является последним, то
переходим к пункту 6.3.8.
6.3.6. Выбираем следующий элемент множества Y.
6.3.7. Переходим к пункту 6.3.4.
6.3.8. Записываем выбранный элемент множества V во множество R.
6.3.9. Если выбранный элемент множества V является последним, то
переходим к пункту 6.3.12.
6.3.10. Выбираем следующий элемент множества V.
6.3.11. Переходим к пункту 6.3.3.
6.3.12. R – результат разности V\Y.
6.4. Создаётся соответствие P, в котором M – область отправления, R – область
прибытия, C – график соответствия.
6.5. P= ⟨ M , R , C ⟩ - результат нахождения разности соответствий
В= ⟨ U ,V , F ⟩ и А= ⟨ X ,Y , G ⟩ .
6.6. Соответствие P выводится на экран.
6.7. Переходим к пункту 2.
7. Операция симметрической разности
7.1. Находим объединение графиков G и F.
7.1.1. Создаётся пустой график C, который будет результатом операции.
7.1.2. Выбираем первую пару графика G.
7.1.3. Выбираем первую пару графика F.
7.1.4. Если первая компонента выбранной пары графика G не равна первой
компоненте выбранной пары графика F, то переходим к пункту 7.1.6.
7.1.5. Если вторая компонента выбранной пары графика G равна второй
компоненте выбранной пары графика F, то переходим к пункту 7.1.10.
7.1.6. Если выбранная пара графика F является последней, то переходим к
пункту 7.1.9.
7.1.7. Выбираем следующую пару графика F.
7.1.8. Переходим к пункту 7.1.4.
7.1.9. Записываем выбранную пару графика G в график C.
7.1.10. Если выбранная пара графика G является последней, то переходим к
пункту 7.1.13.
7.1.11. Выбираем следующую пару графика G.
7.1.12. Переходим к пункту 7.1.3.
7.1.13. Выбираем первую пару графика F.
7.1.14. Выбираем первую пару графика G.
7.1.15. Если первая компонента выбранной пары графика F не равна первой
компоненте выбранной пары графика G, то переходим к пункту 7.1.17.
7.1.16. Если вторая компонента выбранной пары графика F равна второй
компоненте выбранной пары графика G, то переходим к пункту 7.1.21.
7.1.17. Если выбранная пара графика G является последней, то переходим к
пункту 7.1.20.
7.1.18. Выбираем следующую пару графика G.
7.1.19. Переходим к пункту 7.1.15.
7.1.20. Записываем выбранную пару графика F в график C.
7.1.21. Если выбранная пара графика F является последней, то переходим к
пункту 7.1.24.
7.1.22. Выбираем следующую пару графика F.
7.1.23. Переходим к пункту 7.1.14.
7.1.24. C – результат симметрической разности.
7.2. Находим объединение областей отправления X и U
7.2.1. Создаётся пустое множество M, которое будет результатом операции.
7.2.2. Выбираем первый элемент множества X.
7.2.3. Выбираем первый элемент множества U.
7.2.4. Если выбранный элемент множества X равен выбранному элементу
множества U, то переходим к пункту 7.2.9.
7.2.5. Если выбранный элемент множества U является последним, то
переходим к пункту 7.2.8.
7.2.6. Выбираем следующий элемент множества U.
7.2.7. Переходим к пункту 7.2.4.
7.2.8. Записываем выбранный элемент множества X во множество M.
7.2.9. Если выбранный элемент множества X является последним, то
переходим к пункту 7.2.12.
7.2.10. Выбираем следующий элемент множества X.
7.2.11. Переходим к пункту 7.2.3.
7.2.12. Выбираем первый элемент множества U.
7.2.13. Выбираем первый элемент множества X.
7.2.14. Если выбранный элемент множества U равен выбранному элементу
множества X, то переходим к пункту 7.2.19.
7.2.15. Если выбранный элемент множества X является последним, то
переходим к пункту 7.2.18.
7.2.16. Выбираем следующий элемент множества X.
7.2.17. Переходим к пункту 7.2.14.
7.2.18. Если выбранный элемент множества U не равен выбранному элементу
множества X, то записываем выбранный элемент множества U во
множество M.
7.2.19. Если выбранный элемент множества U является последним, то
переходим к пункту 7.2.22.
7.2.20. Выбираем следующий элемент множества U.
7.2.21. Переходим к пункту 7.2.13.
7.2.22. M – результат симметрической разности
7.3. Находим объединение областей прибытия Y и V
7.3.1. Создаётся пустое множество R, которое будет результатом операции.
7.3.2. Выбираем первый элемент множества Y.
7.3.3. Выбираем первый элемент множества V.
7.3.4. Если выбранный элемент множества Y равен выбранному элементу
множества V, то переходим к пункту 7.3.9.
7.3.5. Если выбранный элемент множества V является последним, то
переходим к пункту 7.3.8.
7.3.6. Выбираем следующий элемент множества V.
7.3.7. Переходим к пункту 7.3.4.
7.3.8. Записываем выбранный элемент множества Y во множество R.
7.3.9. Если выбранный элемент множества Y является последним, то
переходим к пункту 7.3.12.
7.3.10. Выбираем следующий элемент множества Y.
7.3.11. Переходим к пункту 7.3.3.
7.3.12. Выбираем первый элемент множества V.
7.3.13. Выбираем первый элемент множества Y.
7.3.14. Если выбранный элемент множества V равен выбранному элементу
множества Y, то переходим к пункту 7.3.19.
7.3.15. Если выбранный элемент множества Y является последним, то
переходим к пункту 7.3.18.
7.3.16. Выбираем следующий элемент множества Y.
7.3.17. Переходим к пункту 7.3.14.
7.3.18. Записываем выбранный элемент множества V во множество R.
7.3.19. Если выбранный элемент множества V является последним, то
переходим к пункту 7.3.22.
7.3.20. Выбираем следующий элемент множества V.
7.3.21. Переходим к пункту 7.3.13.
7.3.22. R – результат симметрической разности.
7.4. Создаётся соответствие P, в котором M – область отправления, R – область
прибытия, C – график соответствия.
7.5. P= ⟨ M , R , C ⟩ - результат нахождения симметрической разности соответствий
А=⟨ X , Y , G ⟩ и В=⟨ U , V , F ⟩ .
7.6. Соответствие P выводится на экран.
7.7. Переходим к пункту 2.
8. Операция инверсии A
8.1. Создаётся пустой график C, который будет являться результатом инверсии
графика G.
8.2. Выбираем первую пару графика G.
8.3. Записываем пару, первой компонентой которой будет являться вторая
компонента выбранной пары графика G, а второй компонентой – первая
компонента выбранной пары графика G в график C.
8.4. Если выбранная пара графика G является последней, переходим к пункту 8.7.
8.5. Выбираем следующую пару графика G.
8.6. Переходим к пункту 8.3.
8.7. Создаётся соответствие P, в котором Y – область отправления, X – область
прибытия, C – график соответствия.
8.8. P= ⟨ Y , X ,C ⟩ - результат нахождения инверсии соответствия A=⟨ X , Y , G ⟩ .
8.9. Соответствие P выводится на экран.
8.10. Переходим к пункту 2.
9. Операция инверсии B
9.1. Создаётся пустой график C, который будет являться результатом инверсии
графика F.
9.2. Выбираем первую пару графика F.
9.3. Записываем пару, первой компонентой которой будет являться вторая
компонента выбранной пары графика F, а второй компонентой – первая
компонента выбранной пары графика F в график C.
9.4. Если выбранная пара графика F является последней, переходим к пункту 9.7.
9.5. Выбираем следующую пару графика F.
9.6. Переходим к пункту 9.3.
9.7. Создаётся соответствие P, в котором V – область отправления, U – область
прибытия, C – график соответствия.
9.8. P= ⟨ V ,U ,C ⟩ - результат нахождения инверсии соответствия В= ⟨ U ,V , F ⟩.
9.9. Соответствие P выводится на экран.
9.10. Переходим к пункту 2.
2. Операция композиции A • B
2.1. Создаётся пустой график C, который будет являться результатом композиции
G • F.
2.2. Выбираем первую пару графика G.
2.3. Выбираем первую пару графика F.
2.4. Если вторая компонента выбранной пары графика G не равна первой
компоненте выбранной пары графика F, то переходим к пункту 10.14.
2.5. Создаем пару, первой компонентой которой будет являться первая
компонента выбранной пары графика G, а второй компонентой – вторая
компонента выбранной пары графика F.
2.6. Если мощность множества C равна нулю, то переходим к пункту 10.13.
2.7. Выбираем первую пару графика C.
2.8. Если первая компонента выбранной пары графика C не равна первой
компоненте созданной пары, то переходим к пункту 10.10.
2.9. Если вторая компонента выбранной пары графика C равна второй
компоненте созданной пары, то переходим к пункту 10.14.
2.10. Если выбранная пара графика С является последней, переходим к пункту
10.13.
2.11. Выбираем следующую пару графика С
2.12. Переходим к пункту 10.8.
2.13. Записываем созданную пару в график C.
2.14. Если выбранная пара графика F является последней, то переходим к пункту
10.17.
2.15. Выбираем следующую пару графика F.
2.16. Переходим к пункту 10.4.
2.17. Если выбранная пара графика G является последней, то переходим к пункту
10.20.
2.18. Выбираем следующую пару графика G.
2.19. Переходим к пункту 10.3.
9.11. Создаётся соответствие P, в котором X – область отправления, V – область
прибытия, C – график соответствия.
9.12. P= ⟨ X , V ,C ⟩ - результат нахождения композиции соответствий
А=⟨ X , Y , G ⟩ и В=⟨ U , V , F ⟩ .
9.13. Соответствие P выводится на экран.
2.20. Переходим к пункту 2.
3. Операция композиции B• A
3.1. Создаётся пустой график C, который будет являться результатом композиции
F •G .
3.2. Выбираем первую пару графика F.
3.3. Выбираем первую пару графика G.
3.4. Если вторая компонента выбранной пары графика F не равна первой
компоненте выбранной пары графика G, то переходим к пункту 11.14.
3.5. Создаем пару, первой компонентой которой будет являться первая
компонента выбранной пары графика F, а второй компонентой – вторая
компонента выбранной пары графика G.
3.6. Если мощность множества C равна нулю, то переходим к пункту 11.13.
3.7. Выбираем первую пару графика C.
3.8. Если первая компонента выбранной пары графика C не равна первой
компоненте созданной пары, то переходим к пункту 11.10.
3.9. Если вторая компонента выбранной пары графика C равна второй
компоненте созданной пары, то переходим к пункту 11.14.
3.10. Если выбранная пара графика С является последней, переходим к пункту
11.13.
3.11. Выбираем следующую пару графика С
3.12. Переходим к пункту 11.8.
3.13. Записываем созданную пару в график C.
3.14. Если выбранная пара графика G является последней, то переходим к пункту
11.17.
3.15. Выбираем следующую пару графика G.
3.16. Переходим к пункту 11.4.
3.17. Если выбранная пара графика F является последней, то переходим к пункту
11.20.
3.18. Выбираем следующую пару графика F.
3.19. Переходим к пункту 11.3.
9.14. Создаётся соответствие P, в котором U – область отправления, Y – область
прибытия, C – график соответствия.
9.15. P= ⟨ U , Y ,C ⟩ - результат нахождения композиции соответствий
А=⟨ X , Y , G ⟩ и В=⟨ U , V , F ⟩ .
9.16. Соответствие P выводится на экран.
3.20. Переходим к пункту 2.
4. Операция нахождения образа A
4.1. Создаётся пустое множество C.
4.2. Создаётся пустое множество T.
4.3. Пользователь вводит мощность множества T.
4.4. Пользователь вводит элементы множества T.
4.5. Выбираем первый элемент множества T.
4.6. Выбираем первую пару графика G.
4.7. Если выбранный элемент множества T не равен первой компоненте
выбранной пары графика G, то переходим к пункту 12.15.
4.8. Если мощность множества C равна нулю, то переходим к пункту 12.14.
4.9. Выбираем первый элемент множества C.
4.10. Если выбранный элемент множества C равен второй компоненте
выбранной пары графика G, то переходим к пункту 12.15
4.11. Если выбранный элемент множества C является последним, переходим к
пункту 12.14.
4.12. Выбираем следующий элемент множества C
4.13. Переходим к пункту 12.10.
4.14. Записываем вторую компоненту выбранной пары графика G во множество
C.
4.15. Если выбранная пара графика G является последней, то переходим к пункту
12.18.
4.16. Выбираем следующую пару графика G.
4.17. Переходим к пункту 12.7.
4.18. Если выбранный элемент множества T является последним, то переходим к
пункту 12.21.
4.19. Выбираем следующий элемент множества T.
4.20. Переходим к пункту 12.6.
4.21. C – результат нахождения образа A.
4.22. Множество C выводится на экран.
4.23. Переходим к пункту 2.
5. Операция нахождения прообраза A
5.1. Создаётся пустое множество C.
5.2. Создаётся пустое множество N.
5.3. Пользователь вводит мощность множества N.
5.4. Пользователь вводит элементы множества N.
5.5. Выбираем первый элемент множества N.
5.6. Выбираем первую пару графика G.
5.7. Если выбранный элемент множества N не равен второй компоненте
выбранной пары графика G, то переходим к пункту 13.15.
5.8. Если мощность множества C равна нулю, то переходим к пункту 13.14.
5.9. Выбираем первый элемент множества C.
5.10. Если выбранный элемент множества C равен первой компоненте
выбранной пары графика G, то переходим к пункту 13.15
5.11. Если выбранный элемент множества C является последним, переходим к
пункту 13.14.
5.12. Выбираем следующий элемент множества C
5.13. Переходим к пункту 13.10.
5.14. Записываем первую компоненту выбранной пары графика G во множество
C.
5.15. Если выбранная пара графика G является последней, то переходим к пункту
13.18.
5.16. Выбираем следующую пару графика G.
5.17. Переходим к пункту 13.7.
5.18. Если выбранный элемент множества N является последним, то переходим к
пункту 13.21.
5.19. Выбираем следующий элемент множества N.
5.20. Переходим к пункту 13.6.
5.21. C – результат нахождения прообраза A.
5.22. Множество C выводится на экран.
5.23. Переходим к пункту 2.
6. Операция нахождения сужения A
6.1. Создаётся пустой график C.
6.2. Создаётся пустое множество W.
6.3. Пользователь вводит мощность множества W.
6.4. Пользователь вводит элементы множества W.
6.5. Выбираем первый элемент множества W.
6.6. Выбираем первую пару графика G.
6.7. Если выбранный элемент множества W равен первой компоненте
выбранной пары графика G, то записываем выбранную пару графика G в
график C.
6.8. Если выбранная пара графика G является последней, то переходим к пункту
14.11.
6.9. Выбираем следующую пару графика G.
6.10. Переходим к пункту 14.7.
6.11. Если выбранный элемент множества W является последним, то переходим
к пункту 14.14.
6.12. Выбираем следующий элемент множества W.
6.13. Переходим к пункту 14.6.
9.17. Создаётся соответствие P, в котором X – область отправления, Y – область
прибытия, C – график соответствия.
6.14. P= ⟨ X , Y ,C ⟩ - результат нахождения сужения соответствия А=⟨ X , Y , G ⟩ .
6.15. Соответствие P выводится на экран.
6.16. Переходим к пункту 2.
7. Операция нахождения продолжения A
7.1. Создаётся пустой график C.
9.18. Выбираем первый элемент множества X.
9.19. Выбираем первый элемент множества Y.
9.20. Создаем пару, первой компонентой которой будет являться выбранный
элемент множества X, а второй компонентой – выбранный элемент
множества Y.
7.2. Записываем созданную пару в график C.
9.21. Если выбранный элемент множества Y является последним, то переходим к
пункту 15.9.
9.22. Выбираем следующий элемент множества Y.
9.23. Переходим к пункту 15.4.
9.24. Если выбранный элемент множества X является последним, то переходим к
пункту 15.12.
9.25. Выбираем следующий элемент множества X.
9.26. Переходим к пункту 15.3.
9.27. Создаётся соответствие P, в котором X – область отправления, Y – область
прибытия, C – график соответствия.
9.28. P= ⟨ X , Y ,C ⟩ - результат нахождения продолжения соответствия А=⟨ X , Y , G ⟩.
9.29. Соответствие P выводится на экран.
9.30. Переходим к пункту 2.
10. Выход из программы