3.2. Задание №89

Для исходных таблиц r1 и r2 выполнить следующие действия:

1. По заданным отношениям r1 и r2 нарисовать таблицу, удалив

согласно заданию четыре пары (столбец, строка) (таблица 4 и 5):

для r₁: (1, 1), (2, 2), (5, 7), (6, 8); для r₂: (1, 3), (2, 2), (5, 1), (6, 8);

В результате данных операций получаются отношения, представленные в таблицах 11 и 12.

Таблица 11 – Отношение r₁

A3	A4	A7	A8
c1	d2	1	2
c2	d3	2	3
c1	d1	2	1
c2	d2	1	4

Таблица 12 – Отношение r₂

A3	A4	A7	A8
c2	d3	2	3
c1	d1	2	1
c2	d2	1	4
c3	d4	4	3

2. Выполнить бинарные операции: (r₁r₂), (r₁r₂), (r₁\r₂), составить

результирующие таблицы (таблица 13, 14, 15):

Таблица 13 – Результат выполнения операции r₁r₂

A3	A4	A7	A8
c1	d2	1	2
c2	d3	2	3
c1	d1	2	1
c2	d2	1	4
c3	d4	4	3

Таблица 14 – Результат выполнения операции r₁r₂

A3	A4	A7	A8
c2	d3	2	3
c1	d1	2	1
c2	d2	1	4

Таблица 15 – Результат выполнения операции r₁\r₂

A3	A4	A7	A8
c1	d2	1	2

3. Выполнить композицию двух операций, составить промежуточные и

результирующие таблицы (таблица 16, 17).

Таблица 16 – Результат выполнения операции

((r₁>^<r₂, d(A₇)3), d(r₁.A₃)=c₁);

r1.A3	r1.A4	r1.A7	r1.A8	r2.A3	r2.A4	r2.A7	r2.A8
c1	d2	1	2	c2	d3	2	3
c1	d2	1	2	c1	d1	2	1
c1	d2	1	2	c2	d2	1	4
c1	d1	2	1	c2	d3	2	3
c1	d1	2	1	c1	d1	2	1
c1	d1	2	1	c2	d2	1	4

Таблица 10 – Результат выполнения операции

((r₁>^<r₂, d(A₇)3), d(r₁.A₃)=c₁); r₁.A₇=r₂.A₇=A₇

r1.A3	r1.A4	r1.A7	r1.A8	r2.A3	r2.A4	r2.A7	r2.A8
c1	d1	2	1	c2	d3	2	3
c1	d1	2	1	c1	d1	2	1

Заключение

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

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

Список литературы

1. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – 5-е изд., исправ. – М.: ФИЗМАЛИТ, 2004. – 256 с.

2. Попов А.И. Введение в математическую логику. – Л.: ЛГУ, 1959. – 108 с.

3. Фролов И.С. Элементы математической логики: Учеб. Пособие для студентов математических специальностей. – Самара: Изд-во «Самарский университет», 2001. – 80 с.

4. Эдельман С.Л. Математическая логика. – М.: Высш. шк., 1975. – 176 с.

x(B(x)→A(y))&(B(x)→y(A(y)→C(z)))=x(B(x)A(y))&(B(x)

y(A(y) C(z))=[v=x]=v((B(v)A(y))&y(B(x)A(y) C(z))=

=[w=y]=vw(((B(v)A(y))& (B(x)A(w)C(z)));

z(B(x)→C(z))= B(x)C(a);

20