Задания к курсовой работе

.doc

Скачиваний:

Добавлен:

28.03.2015

Размер:

332.8 Кб

Скачать

☆

1 / 31 2 3 > Следующая >>>

Задания к курсовой работе по дисциплине «Математическая логика и теория алгоритмов»

Для каждой посылки и для заключения выполнить следующие действия: построить таблицу истинности, произвести минимизацию логической формулы, представить формулу в базисах (, &) и (, ), построить КНФ, ДНФ, СКНФ и СДНФ. Для общей формулы: доказать истинность заключения с помощью построения дерева доказательства, путем дедуктивного вывода (с построением графа дедуктивного вывода) и с помощью принципа резолюции (с построением графа вывода пустой резольвенты).
Преобразовать формулы к виду ПНФ и ССФ. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода) и с помощью принципа резолюции (с построением графа вывода пустой резольвенты).
Для заданных отношений r₁ и r₂выполнить следующие действия:
1. По заданным отношениям r₁ и r₂ нарисовать таблицы, удалив согласно заданию варианта четыре пары (столбец, строка);
2. выполнить бинарные операции: (r₁r₂), (r₁r₂), (r₁\r₂), составить результирующие таблицы r’;
3. выполнить композицию двух операций; составить промежуточные и результирующие таблицы r’;

Отношения r₁ и r₂заданы.

r₁	A₁	A₂	A₃	A₄	A₅	A₆	A₇	A₈	r₂	A₁	A₂	A₃	A₄	A₅	A₆	_A7	A₈
	a1	b2	c3	d4	1	2	3	4		a1	b2	c3	d4	1	2	3	4
	a2	b3	c4	d1	2	3	4	1		a2	b3	c4	d1	2	3	4	1
	a3	b4	c1	d2	3	4	1	2		a3	b4	c1	d2	3	4	1	2
	a4	b1	c2	d3	4	1	2	3		a4	b1	c2	d3	4	1	2	3
	a1	b1	c1	d1	4	3	2	1		a1	b1	c1	d1	4	3	2	1
	a2	b2	c2	d2	3	2	1	4		a2	b2	c2	d2	3	2	1	4
	a3	b3	c3	d4	2	1	4	3		a3	b3	c3	d4	2	1	4	3
	a4	b4	c4	d4	1	4	3	2		a4	b4	c4	d4	1	4	3	2

Варианты заданий

Вариант	Доказать истинность заключения
	(BA); (B(AC))  (B(BC))
	(AB); (CB)  (AC)(AC)
	(AB)  ( BA)(АС)
	(AB)  ((BC)(AC))
	(AB); (CD)  (ACBD)
	(AB); ( AB)  B (AC)
	(BA); (B(AC))  (BC)
	(AB)  (CA)( CB)
	(AB); (A(BC))  (AC)
	(ABAB)  (AC)(BC)
	(A(BC));(AB);A  C
	(ABC)  (A(BC))
	(B(AC)); (BA)  (B(BC))
	(ABCD); (A A)  C
	(A(BC)); ( DA);B  (DC)
	(AB); (AC); (BD)  CD
	(AB); (CB); (D(AC)); D  B
	(AB); (BC); (CD)  (AD)
	(B(AC)); (BA)  (B(BC))
	(A(CB)); ( DA); C; D  DB
	(AB)  (CA)(CB)
	A; (AB)  (CABC)
	(AB);  (BC)   A
	(A(BC)); ( DA);B  (DC)
	(AC); (AB);A  (AC)(BC)
	(A(BC)); (AB)  (AC)
	( AB); (C B)  A C
	C; (AB)  ((CA)(CB))
	(A(BC))  ((AB) C)
	(AB)  ACBC
	(A(BC)); ( DA);B  (DC)
	(AB); (BC); (CD)  (AD)
	(B (AC)); (BA)  (BC)
	(AB)  (AC)BC)
	(B(AC)); (BA)  (B(BC))
	(A(BC); (AB)  (A(AC))
	(B(AC)); (BA)  (B(BC)
	(AC); (BA)  ( CB)
	(AB); (CB); (D(AC)); D  B
	(AB) ( A CBC)
	(B(AC)); (BA)  (B(BC))
	(ABC)  (A(BC))
	(A(BC)); ( DA);B  (DC)
	(A(BC));(AB);A  C
	(A(BC)); (AB)  (AC)
	(A(BC))  (B(AC))
	(AB); (BC); (CD)  (AD)
	(AB)  (AC)(BC)
	(AB); B   A CBC
	(AB)  (AC)(BC)
	(BA); (B(AC))  (B(BC))
	(AB); (CB)  (AC)(AC)
	(AB)  ( BA)(АС)
	(AB)  ((BC)(AC))
	(AB); (CD)  (ACBD)
	(AB); ( AB)  B (AC)
	(BA); (B(AC))  (BC)
	(AB)  (CA)( CB)
	(AB); (A(BC))  (AC)
	(ABAB)  (AC)(BC)
	(A(BC));(AB);A  C
	(ABC)  (A(BC))
	(B(AC)); (BA)  (B(BC))
	(ABCD); (A A)  C
	(A(BC)); ( DA);B  (DC)
	(AB); (AC); (BD)  CD
	(AB); (CB); (D(AC)); D  B
	(AB); (BC); (CD)  (AD)
	(B(AC)); (BA)  (B(BC))
	(A(CB)); ( DA); C; D  DB
	(AB)  (CA)(CB)
	A; (AB)  (CABC)
	(AB);  (BC)   A
	(A(BC)); ( DA);B  (DC)
	(AC); (AB);A  (AC)(BC)
	(A(BC)); (AB)  (AC)
	( AB); (C B)  A C
	C; (AB)  ((CA)(CB))
	(A(BC))  ((AB) C)
	(AB)  ACBC
	(A(BC)); ( DA);B  (DC)
	(AB); (BC); (CD)  (AD)
	(B (AC)); (BA)  (BC)
	(AB)  (AC)BC)
	(B(AC)); (BA)  (B(BC))
	(A(BC); (AB)  (A(AC))
	(B(AC)); (BA)  (B(BC)
	(AC); (BA)  ( CB)
	(AB); (CB); (D(AC)); D  B
	(AB) ( A CBC)
	(B(AC)); (BA)  (B(BC))
	(ABC)  (A(BC))
	(A(BC)); ( DA);B  (DC)
	(A(BC));(AB);A  C
	(A(BC)); (AB)  (AC)
	(A(BC))  (B(AC))
	(AB); (BC); (CD)  (AD)
	(AB)  (AC)(BC)
	(AB); B   A CBC
	(AB)  (AC)(BC)

Задание №2.

Вариант	Формула
	x(A(x) B(y))y(B(y) A(x))
	x( A(x)x( C(x)))x((C(x)A(x))
	x(A(x)x(B(x)))y( A(x) C(y)C(y)B(x))
	x(A(x)x(B(y)))x( A(x) B(y))
	x(A(x)B(y))y(A(x)(B(y)C(z))z(A(x)C(z))
	x(A(x)y(B(y)C(z)))z(A(x)B(y)C(z))
	x(A(x)B(z))y(C(y)A(x))z(C(y)B(z))
	x(A(x)B(y))y((C(y)A(x))(C(y)y(B(y)))
	x(A(x)B(y))y(A(x)(B(y)C(z)))(A(x)z(C(z)))
	x(A(x)B(y)A(x)y(B(y)C(z)))(A(x)z(C(z)))
	x(A(x)z(B(y)C(z)))y(B(y)(A(x)C(z)))
	(x(A(x))x(B(x)))z((B(x)C(z))(A(x)C(z)))
	(x( A(x))x( B(x)))( B(x)A(x))
	(x(A(x)))(x(B(x)))y(C(y)A(x)C(y)B(x))
	x( A(x)y(B(y)))( B(y)A(x))
	(x(B(x))x(A(x)))y((A(x)C(y))( C(y)B(x)))
	x( A(x)y(B(y)))(B(y)A(x))
	x( A(x)y( B(y)))(B(y)A(x))
	x(A(x)B(x))y(B(x)C(y)z(C(y)D(z)))
	(x(A(x)B(x))z(C(z)A(x)))y(C(z)B(y))
	(x(B(x)y(A(y)))(y(B(y)(A(x)C(z))))z(C(z))
	x(B(x))y(A(y)B(x))
	x(A(x)B(x))(y(C(y)A(x))z(C(z)B(x)))
	x(B(x)A(y))(B(x)y(A(y)C(z)))z(C(z)))
	x(A(x)B(z))y(C(y)A(x)z(C(y)B(z)))
	(x(B(x))x(A(x)))(A(y)yC(y))( A(x)C(y))
	(x(A(x))x(B(x)))y((A(x)C(y))(B(x)C(y)))
	x(A(x)y(B(y)))( A(x)y(B(y)))B(y)
	x(A(x)y(B(y)))( A(x)B(x))B(x)
	x( A(x))(A(x)y(B(y)))
	(x(B(x))x(A(x)))( B(x)A(x))A(x)
	(x(B(x))x(C(x)))(A(y)B(x)A(y)C(x))
	x(A(x)B(y))yz((C(z)A(x))(C(z)B(y)))
	(x(A(x))x(C(x)))y(C(x)B(y))(A(x)B(y))
	x(A(x))y(B(y))y(C(y)xD(x))(A(x)C(y)) D(y))
	x(A(x))( A(x)y(B(y)))
	x(B(x))y(A(y)B(x))
	x(B(x)y(A(y)))y(B(y)(A(x)C(z)))z(B(z) C(z))
	x(B(x)A(y))(B(x)y(A(y)C(z)))z(B(x)C(z))
	x(A(x)B(x))y((C(y)A(x))(C(y)B(x)))
	(x( A(x)y( C(y)))(C(x)A(x))
	x(A(x) B(y))y(B(y) A(x))
	x(A(x)B(z))y((C(y)A(x))z(C(y)B(z)))
	x(A(x)B(y))z(C(z)A(x))y(C(z)B(y))
	x(A(x)B(x))y(B(x)C(y))z(C(y)D(z)))
	x( A(x)y( B(y)))(B(x)A(x))
	x( A(x)x(B(x)))(B(x)A(x))
	(x(B(x)y(A(y))))y(A(x)C(y)) C(y)B(x)
	(x( A(x)y(B(y))))( B(x)A(x))
	x(A(x)B(y))y(A(x)(B(y)C(z)))z(A(x)C(z))
	x(A(x) B(y))y(B(y) A(x))
	x( A(x)x( C(x)))x((C(x)A(x))
	x(A(x)x(B(x)))y( A(x) C(y)C(y)B(x))
	x(A(x)x(B(y)))x( A(x) B(y))
	x(A(x)B(y))y(A(x)(B(y)C(z))z(A(x)C(z))
	x(A(x)y(B(y)C(z)))z(A(x)B(y)C(z))
	x(A(x)B(z))y(C(y)A(x))z(C(y)B(z))
	x(A(x)B(y))y((C(y)A(x))(C(y)y(B(y)))
	x(A(x)B(y))y(A(x)(B(y)C(z)))(A(x)z(C(z)))
	x(A(x)B(y)A(x)y(B(y)C(z)))(A(x)z(C(z)))
	x(A(x)z(B(y)C(z)))y(B(y)(A(x)C(z)))
	(x(A(x))x(B(x)))z((B(x)C(z))(A(x)C(z)))
	(x( A(x))x( B(x)))( B(x)A(x))
	(x(A(x)))(x(B(x)))y(C(y)A(x)C(y)B(x))
	x( A(x)y(B(y)))( B(y)A(x))
	(x(B(x))x(A(x)))y((A(x)C(y))( C(y)B(x)))
	x( A(x)y(B(y)))(B(y)A(x))
	x( A(x)y( B(y)))(B(y)A(x))
	x(A(x)B(x))y(B(x)C(y)z(C(y)D(z)))
	(x(A(x)B(x))z(C(z)A(x)))y(C(z)B(y))
	(x(B(x)y(A(y)))(y(B(y)(A(x)C(z))))z(C(z))
	x(B(x))y(A(y)B(x))
	x(A(x)B(x))(y(C(y)A(x))z(C(z)B(x)))
	x(B(x)A(y))(B(x)y(A(y)C(z)))z(C(z)))
	x(A(x)B(z))y(C(y)A(x)z(C(y)B(z)))
	(x(B(x))x(A(x)))(A(y)yC(y))( A(x)C(y))
	(x(A(x))x(B(x)))y((A(x)C(y))(B(x)C(y)))
	x(A(x)y(B(y)))( A(x)y(B(y)))B(y)
	x(A(x)y(B(y)))( A(x)B(x))B(x)
	x( A(x))(A(x)y(B(y)))
	(x(B(x))x(A(x)))( B(x)A(x))A(x)
	(x(B(x))x(C(x)))(A(y)B(x)A(y)C(x))
	x(A(x)B(y))yz((C(z)A(x))(C(z)B(y)))
	(x(A(x))x(C(x)))y(C(x)B(y))(A(x)B(y))
	x(A(x))y(B(y))y(C(y)xD(x))(A(x)C(y)) D(y))
	x(A(x))( A(x)y(B(y)))
	x(B(x))y(A(y)B(x))
	x(B(x)y(A(y)))y(B(y)(A(x)C(z)))z(B(z) C(z))
	x(B(x)A(y))(B(x)y(A(y)C(z)))z(B(x)C(z))
	x(A(x)B(x))y((C(y)A(x))(C(y)B(x)))
	(x( A(x)y( C(y)))(C(x)A(x))
	x(A(x) B(y))y(B(y) A(x))
	x(A(x)B(z))y((C(y)A(x))z(C(y)B(z)))
	x(A(x)B(y))z(C(z)A(x))y(C(z)B(y))
	x(A(x)B(x))y(B(x)C(y))z(C(y)D(z)))
	x( A(x)y( B(y)))(B(x)A(x))
	x( A(x)x(B(x)))(B(x)A(x))
	(x(B(x)y(A(y))))y(A(x)C(y)) C(y)B(x)
	(x( A(x)y(B(y))))( B(x)A(x))
	x(A(x)B(y))y(A(x)(B(y)C(z)))z(A(x)C(z))

1 / 31 2 3 > Следующая >>>

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

#
28.03.20152.27 Mб17Задание по Алгоритмизации 2013.doc
#
19.08.2019135.68 Кб2Задание РГР ОТПРГ 41-ПЗ.doc
#
22.08.201993.7 Кб3задания к занятиям.doc
#
14.09.20191.11 Mб1ЗАДАНИЯ к К_Р заочн.docx
#
28.03.2015105.22 Кб23Задания к курсовой по информатике.pdf
#
28.03.2015332.8 Кб5Задания к курсовой работе.doc
#
28.03.2015140.8 Кб12Задания к экзамену по Истории 2014.doc
#
03.09.2019123.39 Кб1Задания на курсовую работу на ФВО.doc
#
28.03.20151.87 Mб8задача 2.docx
#
28.03.20151.87 Mб10задача 2.docx
#
18.09.2019146.94 Кб1Задачи к билетам.doc