Добавил:

Studfiles2 Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Уфимский Государственный Авиационный Технический Университет

Предмет:

Математическая логика

Файл:

Гуц А.К. Математическая логика и теория алгоритмов [pdf]

.pdf

Скачиваний:

188

Добавлен:

02.05.2014

Размер:

1.26 Mб

Скачать

☆

<<< < Предыдущая 1 2 3 4 5 6 7 8 9 1011 / 1111

	6	764	4	/ +		7
.			C	/ +		.
.	?			84	/	.
A	?			84	/	3
A	:	3	6	-		4
X		3	6			2C
.			=			2C
5	O6			-4	-
3	2		E	-4			B
,	2	-:	E				B
6	?	-:	Z	Z	8?			.
2	:	d	Z	Z	8?	.6		5
2	:	d	Y	5C		.6		V
:		4				3		:
:	9	-	C		V	3		:
	9		C		V		A
			13	6	?		A
>			-	6	?
>					/			.
	5			=	A			.
5	5	-		=				4
5		-				1		5
	-					1		,
,	-			C		,
,	. O			C
		, =		3	-:
	Y		:		-:
	Y	6	:		4	A82
B8		6	M			A82		-
B8	6	-			6	4		-
5	6	+,			6
5	-	+,	564					:,
	:		564	.=	5	V		:,
-	1	.	2=	.=	5	V		6
-		.			>	-P
.6				A	>	-P		5
3	1	A	:	A	+			5
	1	A	:	X	+			@,
	6	X	d	.	;
	A	X	d	.	;	1
	5,	.	2	5		1
	5,	5	2	3		82		V
1		5		,		5		V
1		3	/			4
,		,	/	/		4	O
A82	=:	2	=	/	&	V	O
4	=:	0		O	&	V		,
		0		.	8	.		3
	9	B	12	-	-: -			-
	9			-	-: -
V	d			,	9	, .
V	-		5	,	9	, .
-P	a	A, 0		1		>		4
-P		6		1		V		5
		3		-4				D
	?		6					6
	?		6	5C				2@
	:		-	5C		O		2@
1	-/		-			O
1	-/		,		13
82					13	?
5	>	B	?	4	-	?
4	>	B	?	4	-	,
V	V	5,	4	=	2	-		8
	,				. 1>			8
.	,	V Y			. 1>			@
.	<;	V Y		:	;:			5
-	5	-		:	E	A		3
,	1	-		D				-
>	1	?		6		.		-
>	@	?	-	2		.
;	@		-
V	4	1	:
	2	1	1	4	;			.
	2	>2		4	;			.
		A	2	C	O	-		6
	9	6	Z6	C	h	B2		?
,	9	6	Z6			4		?
-	5	X		6		5,		5
6	37			6	M	D		5
8		P6		=	M	D		-
8	-	P6	/	.	O.			-
V	-	:		.		2
V		:		O		2
3	1		A	B	-	:	A
			123		-		A
			123	?	d64		X764
2	6	1	8	?	B2	9		5
	O	1		1		;		5
a +,		,		1		;
a +,		2a	a 5,a		5	-
			5		5	d

4	6	6
.	X	,7
-		1
,	=	1
	=	A
V* M		,
+,	:?	:
+,	-/	5
-	> .
1	V 2C
1	,	:
28
5
4	5	9
V	5
V	13
.	-	-
-	O2	46@
,	,	12
:	?	4
V46	?	4
7
:	5	5C
2	5	5C
	2	3
O4	?C	3
O4	0	5
5	9	-:
7		d
2	37	d
.	37	4
-	-	-
,	@	-
7	1	6
X		.
X		-
2	O	,
;,	,	3
O	-	,
5	-	,
4 .		E
	d	@
	d	:
6@	B3	-6
6@	27
5
Y	: .
d	5	8
d	5	6
7	2	5
.	1	0
5	1	0
2;?	28
	5	A
	V	A
	a Ba

7 '

1 H

, S$ -?: / GH&

> #K V $'() ,4 5 1 : 5

-/ . 1- 38

46 1: B 54 5 6 (F5 -8P G , & 5

#K 12$) , A 13 GH& 5# 2, K ?: $'() -@

5 A

O4 29 ? 5 -. 3 2a, -a

-0N @:

AX64 5 5/ 1C 05 3 764 2 34 5? -, 1 P

C		4 4			C:	3C	@
	,						C
1		2	6	Z		/	6
	2
			8		/
P	?		- 5
		1		B		8	8
	-P			A
	5	82				- .
#		5	./	1	@	4	64
K		4			-
$					3C
				O	B	5
(		V			6		5
				.
G		>	16	-		-
	'	A	- A
5	5	6					*
6	H		5	X .		2
							5
	5		Z .		8	64
	S				64
J				7
				5
		4	13	3		A	+,
				,	5
		U	-	8		3	3
12		d	2		:		-
	?		,				.9
7				: 5
0	:	V@
	/				/ 5
				5		.
	-		V				5
-				>	64	1
						82
,							@
2	>	4	6	A		4
/					-		B2
	V	-	5	/		V	3C
	,		-		:		6
			1>		6
		4	6 .		82
. 5				-		-P
		5
	1	O		1		:	.
						D
	O		O				8
	?	6		5		6	64
3		2				2
	,	.	8	.	2 4
-				B
	-	4	d ,3 0				5
5	C				.	U
	1		-	:	,
.							5
3		,	4	-
	P				12	5	Y
,			5	2			4
>	/	1			4		A
	.			0	,? >
A		.	> .			V	6
						6	?
X		A	A	, >		4
			3	12	A		Z
4	4	5,	/		:	19
5P
	-0	:		4
	6
$	5	O		?	2	2a O
		4		,
	O		1C		,		?
G		-		D	:		,
	./		5
				-P	5@6	b
	-		B	:			-
						2
		6			2	.
	8			6		-	1
		8			,	;
K	7	-	6	2		,
J	V		X				:
		/	A	4
H							5
	d			C .		T6
			9		5
O	4			;			-
	A	.	=		>?	.-
B3		-	8				5,C
	5	,6			A	/
2		-	3		/		0
	,		2	\|		=
, ?		1
3	a	,		-			,
V			=	a 1a		-
	-	V			-		V
			O			1

IAQ

IH ?M

@
6	>
.	>
8	X
764	X
764	:	b
5	5	b
5	:?	.
	:?	-
O2	-/	8?
O2	>	V
	V	V
-6	V	@
-6		?
Y	, A
@	5	1
	5	6
	1	5
d	/	V
d	O6	V
.	1	B
5	-	B
	-	4
?	37	5,
-P	d	5
1	-	5
1	B	:
82		-
5
4	X	2
V	:	,
V	5	,
-P	2	:
-P	2	5@6
	0	2
: .		,
D	,
6	12	6
2	12	6
4	4	.
	4	5
5	,C?	?
5		2
O	:	0
,	:	0
3	5	.
3	5	,
-	2
46	,	12
d	:	12
d	5@6	4
	2	?
	2	,
2?	,	:
2?	6	-
5, .		/
3	5	A
/	?	A
/	?	7
-	3C	123
1	5	8
1	a	a
.	a	a
-
m

,		&		96
,		#	B8	96
		#
-		K		-
-		('$	-	-
13		('$
13		)	4
6		5	4	L
			5	2?
1			.	1
1			A	3
,			A	3
A82		/	X	d67
4	1 .			,
4		5	5	,
V	1		,3
-P		,	-	U
-P	A2		-
	A2		2
1	1		&
1	1		, B
82			V	5P
5			V
4		?	5	>
V		?
V		,
6		9		6
6		9	F	V
.			F
-	1		'	4
-	1		H	4
,;		-	&	19
		3	&
		3	G
			#
		@	K	2
		8		/
		8	)	6
		>?	)
		2	&	13
				13
				6
				-
		5,	H	-
		5,	(	B
		/	(	,
	1		G	/
		5	G	/
	1		K	?
	1		$	?
		,	G5	1
	A2C		(	/
	A2C		(	5
			F	B
	1			8
	1		G	-
		3	G	-
		.	&	64
		.	#	64
		9	K
		5		5
		=		5
		=		@
		4	$ >
		4	)	O
		5		O
	12a		GHI	,
	12a		GHI	-

#K $) GH&

#K ('$)

5,. 2 - 0 B2d - ,9 1. V4 5

5 B

O 12 - , AX46 -4 1 5

OC 4 2 5 d3 2 27 = 5,. -

467 B GH( 5

4 /

G 8

$K V3 G& d-J 27 H 8, ( 5 G 3 K$ ? G -,C K(F5 1 G =: I Oa

04 5/ 2 1- C&

B2 P/ , . V - 2? , 14 -@a - 5, 5C

- 9P

.8 4 Y-6@ 5 12

d -6

.5 13 6? 1, 8= A82 4 C3 V

: -P

D 1 285 8 4

4 V6

5C .-

.= ./ 1; -a B5

A 7 123 8

6 X P ?: -/

V ,; 5 1

27 5,@

,@a

AX764 5 e

4 4

43 2A

5 0

1C -9

1 =@ 4

-4 5

? 12 64 , 2P/ 13-6 8 d - 0- V3 12 d- 764 27 8, 5

5; 4 Mb6 E2/6 B- 1: d015 12 O.6 764 , 5 :7 6 8 : A / ,C a - - 1

.76 4 3, 2A 0

/= 1.4 8 5

- -

V3 13 d

-27 / 8, O 5 .- e 1 B5.

-,C 1 := D6 2 4 2 4 A d 2 5,

B 5Pa

C / B; 8 4 - 6 V3 d )2 -2

: 8, 5, >5

.8 - B5 AX46

A6 5 X 5

.5 2? -7 -Pa 23, , 8 - > 1 6 285 X 4 5m V6

-P 8

D 8

5 -P

#K$) GH&

#K ('$)

+, -: D6 2 4 2 O./ -74 0 2 B2

34* D 54 5P6 3 1, A82 4 V -P 128 5 4 V

.- >, ;V

764 /

8 A

. .V 2: 63 7 -

.- . , .? 8, A 54 3, V 4 -/ 59 O - B-7: . 4 A 5 X

.5 34 3, D 26 54 M8

> 9

6 4 Y@ 56 d 1

.5 A >? 5,6 A + 128 12 5

4 Bd V 12

, a V 5

12 @ d - B O 12 , 467 -: 5 9

-a 34 d D ?: 54 ->/ 5P6 V Y@ ,

5 d 1Y -6

.5 1: ? 1 -P A6 128 5, 54 d V -0

.- 12 ,6 467 E8 5 4* 2?< 1C543 -6,

6 ? = 4 : ? ,a 2

6			@					/	3	U : :					/
Y				.	6	.	6	6	3	U : :
Y		0	,		6	8	6						64
9		8	6		.				.9
		8	6		8							8		12
		@		1	5		5					8		12	3C
		-	-	1			5	16				- 5		0	3C
						5	1	16	5			- 5		0	5
C				B5		5	1	Y	5	/				C	1
C		5 .		B5		B3	82	Y	6	/		5	/	,
A		5 .						@	6			5	/	,
A			8			-			B2				6
6	3			3	2?	-	4			5		8?	6	3
1	3	O		3	2?	2	4			5		8?	M	3
	-	O		O7	7	2	C				A				/=
	6	@				,									/=
	:	:		=		,	V d . 4 ,						1	2	O
	:	5	-	=	B2	8	V d . 4 ,						1	2	O
,		.	:	-	B2	54		.		1				:	1
,		.	E	B	/			.	?	V	g		./	5	1
					/	V	=	5	?		g		./		.
:			4			V	=	5			k;				.
:			4						14	.				-P	-
- 1			-						14	.	Oj			-P	,
- 1		4		X		D	0N-	?	C	5	Oj		8		,
	C:		X	X	9	D	0N-	?	C
	C:		X		9	-			5,						D
/	5	5,				-		-P				K		;	D
/				5P 1 O				-P		8?		K	-	;	6
A				5P 1 O						8?			-	,	5P
			.	3		9						;		,
	4		.	3	-	9	5			-		;	V	E
	4	-	-		-	2	5	6	64	-			V	@
		-	,					6	64					@
			,				? 1						3
					2		,						3	5C3
		5;			2			82	O	V			d	5C3
-							3	5		?	l		-64
B4	2		V	/			6		-	?			-64	6
		,		1			-						2	6	=
		E	3							-.			2		=
0	08		M			d2D				-.					.
0	08		M	5	2	d2D		6 .		8					3
;	>	5 .		5	2		E:	6 .
;					.	9	E:	2		3				6
					.	9	/	d		3				6
-				1						-			3	.	-P
-		; 5		1		2			-	-			3	8	-P
5 B2		; 5		,	-	2	8 Z		-	/			@		.
5 B2		M	-:	A2	-	:	8 Z		B	/				:	,3
\|	:	M	d	9	3	:	A		5	9			2?	:	.
\|	54			1	,	-	. 2		1	9			2?		.
4			4 4		,		. 2		2
-			-		5	O	V							-P
			C		5	O	3		,					-P
	/				.	,			,	-			.	3
	/					;	- B			-			.	3	1
6				5	3		- B		@	12			5	@	1
									@				3
	5							5P	4				3		5
8	5					5		5P	?				,		5
8						5	O2	.	?					, B6
-	C		/			,	O2	3	-	4:				, B6
	C		/	12		,	,	3	-	4:
4	5		=	,	A	2	:		4				5	64	0-
4	5			,	5,		:	>	4				5	64	0-
	1		-				-	>	5@				:?	5
	43		-			?	-	,
	43		9	-	4	?	6	A							764
				-	4		6	A					/		764
/			12	6	-	6	3	6	6	:			-		2
5				12	B	5		8	6	-0			>
5	-			3	B	5		8	-				>	5
C	-				-P B			D	5				V	5	4
1			:	1	-P B										4
5	5*					.	,		.	@				12
5	4						;		.	./			,	12
43				,	Y		6		8	./			,
43	/			,		?	B		6				5	d:
				A82		14		V					13	A	C
			O2	A82		14		@	-.				13	A	5
			O2				M	4	-.	4					0
	5		4@	4	d	5,	M			4			-		0
	5			4	d	5,	C	?	:	6			-	9	8
-						;	3	?	:	6			8	9	8
-	C		d6	V 6				-	3	5			9
/	C		d6	V 6					3	5					C
	1		2		.	-	/ 4		8	;					C
	5		2		.	-	/ 4			;					2
					5		7	5					5	/
	43			-P		6	7	@					5	/
	43		6	-P	?	6	84							-	0
1	C		6		?		84		3				?	6	0
1	C		,	1	3 .		- 6		3	b			?	5	8
5			,	1		8		-	-	b				5	8
@				82		8		5		9
B2			O	82			>7						B	1	9
B2			O	5	-:		>7						B	1	9
,				4	-:				O				.
,	8		.	4	d			.	O	-			-
	8		.		d			.	?	-			,	- 5
	5					A	,	8	?				,	- 5
V	4			V		A	,						/	B2
V	6			V	4		.	-	-	12			4	B2
				-	4			-	-	12
			1	6	-	9			C	:C			AC	3	?
			4 .			+,	/	:	C						?
1			5	, -P				:	1					1a -0a
1			B	, -P		-	a 2a		1					1a -0a
5			5	O		-	-		5				=	5
d O			5	O		O			5				=

C 0

4 b

5/ -

6 +,

1 : -D - d A/ 8 3 2 - O.6 B 85 A@ C T 0 -P7 @ 26 2d d3 B 8 / . 5@ 5 1 B> 6 A B2 X / 5 - m 1 *3 B85 8 4 >-67 C Z

.=3 46 -P 9

. ? 3, - B2

C	6		6	64			3		7
C								U :
3	&				.			U :
	&	C		;	.				6
@	S	C	C:	;		,3
@	(	B	C:	P		4	; @ ,
3C	(	B					; @ ,
3C	F	3					O
5		3			5
6	K		3		5		h	-
	$		3	8	-P		h	-
		+,	5		-P		/	O	;
.		+,				6	/		;
.	F	:		5				, B
8	F	:		5			O
		4		B3			O		1
764	5	-	=	B3		64		-	1
764	5		=	-		64		-	M
			-	2					M
5 J /			4	2			-	2?
5 J /			B	,			-	2?
;	$S	2	@	,	d		1 .
;	$S	123	5	8	d		64	7
	4	123	2	54		4	64	5,
	J	8	4	V				5,
	J	8	A	V		/	B .
	(	64				/	5	@
	-		a	-	5			3C
	)	5	-	O				6
			-	0			5
			,				5
		7	,		-		.
		7	@64		-
	H	.	@64	AB		,	1C	6
	H	.	5	AB	1		1C	6
	G5	3	=	,	50		5	.
	G5			,	50		5	8
	K	4			A		B
	J	4		2	A		6
				2		,		,
	/	2C . d				,		,
	/	d	5					8
	6		5				0-	8
	O		9	B			0-	54
	O		?	B	$			54
				5P			764	C
		.		.	#		764
	1	.	-/		#		,	V
	1			,	5		2	V
	3	,		,	5		@
	d	,		3	)
	d	6	9	3				=
	24	5	9	-4			5	=
	:	-	1	2C			5
	C	-	-	2C		/		1
		1	-			/		1
	6	1					8	.
	6	5P	.5				8	5
		5P	.5				3	A
		&	;		-			A
		S	;		-		-	.
		(	2	1		&	-	1
		(		1				3
	.	F		.	8 6			-
	.			5	8 6			-
	-		)/		-		5
		K	)/	AC	-		2?
		K		AC		:	2?	O
	A	$		.		9		O
	A	$		.				,
	X			1			. -
	.		1				. -
	7	F	1
	5	F		3				O
	,3			3				O
	8		B8	/			-	2
	8		B8	O	1		-	2
		F	4	84	1		d4	9
		F	4	84	-		B2	?
	,	5	5C	-		@	6	3
	,				A3C		6	3
		'				6		6
	V	&	4			6		-
	3		4	5			5
	4?	#	5	5			5
	2	#	5	B6			.	18
		H5	2	. .
	,		2	-	8		? .
	,			,			? .
	a		Ba	a			.	-
	a		Ba	a		a Aa		V
	-		5		5			V

5 -06

BC:

@C3 =6

.6 8 8, 54C V

5 A. 1 3

1 B- 5P.6 3, 5 O 0N-

	,	6
	-4@	8

	d	1
	2	1
	2	,
	5,	A82
	5,	47
	m	V
	4K	2
	M
	6@ .
	82	1
		5
	5.	B2
	5.	Y
		6
		-:
	-3	1
	-3	7
	,3 .
	5	1
	. A
	>	5,
	>	3
	A	3
	X	/
	5P/	A
	5P/	7
		123
	9	8
	9	>
	12
	-	X
	:C	X
		:
	O	5
	O	:?
	4	-/
	M	>
	@	>
	286	V
		,
	5	;
	5	5
		1

GH(5

S$K K J5 S5

;

&$F

H5(

H (4

$5F

(

#K$) GH&

#K ('$) '5 GH(4 G $K

-I

H01

$%&J

$'(4 $( G5

)

8 1535 /6 B3 14 -2 6 8, Z/ 54

V 5C -: O0 O ,@ -4 C3V -. 6 Y .6 - 8 1: :C 6 8 6

A 3 13 / -2 6 , 1 V gk; - Oj B h 5

gk; lK Oj h; lK

,@	: :
-*	2	4
O	,	-
O	:
,	56	6
,	2	6
-	,	8
-	,	-
.	6	@
.	6	3C
5	2:?	6
,		6
3	4	6
4	4	6
		.
5		8
@ 23 ,
-.	d4	4
-.	d4	V
6		2
8	@	2
	3C
C	-
C	6	1
0		1
0		28
@		5
@		4
3C .
6	8	V
6	46	V
		:
6	5	-
.	:
8	:	:?
	5	:?
C		/
C		-
:		>
	b V
,	:	,
,	-	,
:	46	5
O9		5
O9		1
8	5U	@
8	5U	,
-	> -
C	> -
0	>	O
/	>	,
	6	/
O	V -6
O	4
-	1	1
-	9	1
?		B
124	2	B
124	2	:
P		A
P	3	4
	3	2
	O
5P	.	-
5P	5	-

	>
	HD
	M
	C	M
	P	HD
	H	HD

		I
		G
		A@
		C
	O
	RE
	RE	P
	I	K
	I	H
	N




	G
	J	D
	PG	E
	D	L
		C
	H	B
		C
		M
		M
		GQ
	\	O
		H
		M
		H@

AJM

/	6	+,
	4
.	-	-
-
8?	5.	B	8
@	A	.	5
		,
V	X	/	B3
?		4
A	.	A	-
	5	7	2
	,3
,			,
	6	-	8
			54
		8
-	-	B
	O		V
8	3	6
?		3	-
			8
3			O6
	A	467	9
A
6	X	B
:			-
	53	@
		5	2?
1	6
	:		/
5		8 .
O		5
A	1
		3	-4
?	5.	-
		5;	0
,	B96		2
9		2?
	1	6	/
1	A	\|
-4	:
		C	-6
	6	&
4	Y		B
5,
2	@	H	,
			V
8	d	F&
0			0
>
	.6	5	8
		K	-D
B27	5		V
	?
,			6
	:	4
8			5:
5		H
	2	2
		08	@
	d
	4	>	13
	?		-
	-6
	2	B2	O
	:
	O	5,	:
			5

5- 1: 2 7 B583 4

-, Y5 -: 1 82 4 C V =, 6 5

1; P

4 4

3 C

8- P

54 :

2@ 5,

. -

5 B

4 4 , 2&

.- , , - :V4 12

.:; - E i

.5 g; 3, Oj 2 k B lM P O.K 5.6 / 3, : 8, - 54C X> V@ V 6 ? = ,

. 9 86 1 5 -C 0 B 8

- 2 ?4 A. 2d 2a,

7 T8 B

2? d 8, 5

.V 3,6 2

.= A X

3, -674 2

V7 Ad 5,. 6 B9 24

82 a V

.86 U

4 6

5 2

-:4 85@69 5 - - .6

.5 5 3, ? 6 3

O4 -: C d 2 -4 d3 C 2>7 .5

., 1C 46 B5 - .

. A

X 1 .5 B256 3, : > A 4 , 2 gk; 9& Oj , h6

A,; lK O 0=.5a

6	:	4 96
	D
d	6			\|
d	2	-P		\|
;	4	-P		4
?	4		? -
		1	4	6
		1	O	6
	2	28		8
	2	5		8
	/	4		-
	O	4		/
		V		/
	.	V	? 6
	.	6	-,
	-	.	-,
	,	.	C
	,	-	C	1
	14	,	1	1
	14		1
	7		4	B
	-		4	B
	5			:
	5	T	5	A
	2	T	5	2
	2	96		,
	3	1 .
	3	A	:	.V
	.	A	-	.V
	.	:	-	1C
	-			5
	3	.	5,/	B
		8	5,/	O
	5	3		O
	.,	-6		?
	6	-6	15	?
	3	2:	15	-,
			B2	C
		6	B2	1
	.	6	,	4
	.	O	46	4
		+,	V	5
	B .		6	/
	5P			6
	.		-4	6
	3	1C	-4
	,	1C	B 1
	>	5	B 1
	>	5	9	-,
	A6	B		3
	A6	4	4	3
	X		4	@
	X		5	-
	: :			1
		5		1
			12	5
		-	12	2
	2	-	,	,
	2		6
	d		6
	4	5,	-	2
		5,	3	2
	?	/	1	d
	?			4
	-6			?
	2:	6		-
	6	- 1, 2:
	6	1	A82	8
	Y	B	A82	8
	a	B	a	a
	a	,	a	a
		V	V -

/6 Y6@ 1C d - .6 B 5 3 ? X5; 1682 P 5

AC:d 5 5/ 9

2: C 6 O B.

14 5,C 36

8 A 3 4? 2 ,3

-P

Y6@ d

.6 5

C 53 4? 2 >, 7 A

.,;

B35 -2 8, 54 V -/ O 9

2: C O

	6	9		64	4	4
	B		/			C
	B	: A			.
	.	A			.
		A		C:7	4
		4	123	C:7	-
)			123	d	,	:=
)	?	5	8		9	:=
.	?	5	8	7
7,	14	,	764	7	-
7,	C	3		3	-	64
2	5,	3		3		64
		-	5	8	/	5
		-			/	2=
5		/			6	2=
5			3	>7 4
.	:		3	>7 4
	:				1	:
	=	8	6		1	:
		8	6	,	6	d
B		-		,		3
B	64	-		.	/	3
6	5		C		/	-
0-	2	V	3	3
23	=	V				.
		d			3	.
		/			3	O
@	:	A6		5	-	4
,	:	4	=	6		4
,	d	4	=	B		-
	3	1	9	A	B	-
		1		A		B
V		6	-	X		B
V	-/		-	X	5P
O	-/		64	: .76
O			1	: .76		-P
,		Z/	2			-P
,	.-	Z/		3	,3 .
-	.-		:	3		,
.@		82	:	/
O	1234	82	d		* 4
,		4	2;		* 4
,		4	2;	1 .		1C-
6	6	V	=	1 .
-			-	-
?	5	-P	-	Z	B9
?	5	-P		.	B9	O
	>	9	5.	5	1	O
d764			5.	2	A	B
d764	.4	@64		/	;	B
1	.4	@64	A = -P			5,
5		12	X			6
	/		.		)	:
			5	5	4	4
3	5	4	3	1	B
3	5	4	,	1	B
4?	C	5	A	2	2
4?	15	5	A	0	2
2		6	5,	6	6	13
,	43 . .			-,	?	13
,	C	-	7	-,	-	-4
3	6	,	-	?	B	2
-	:	3	,	4 .		9
P	;			Y	?	6
,	;	-: ,		Y	14	-
	,	-: ,			14
	,	d	8		5,C
6		d	54	-	5,C
5		4	C	-
-		4	C	:		3
-		-	V	1		3
1			V	2	:	7
		.		6	:	5
3		.		Z	5	5
3		-	=	Z		1
O		,	=			-
O		,	2			-
.		5P	1a		2a=	,a
5		5P	1a		2a=	,a

4 6 C 4 4 Y 2 -:

.8 1 -4 26 : Z -/ / 5/ 1 1 - 8 Z.C 54, 5

6 / A 123 8

B. 467 ? 5 14 3 5,C 6 6= C3 EZ

Y =9 1C3 -46 - 12 6 : = d M4 2 / /= 5 .- 1C , 5 3 1

a -a 5

6	3	6
B	.9	B
.	6	.
?	5	?
?	4	?
14	-	14
14	6	14
5,	6	5,
9	,
-	7	-
-	A	-
:	Z	5
546	4	b
	/	b
	/	1
2=	5	5
		B
: C		3
: C		5
d	1	5
d	5	.9
2;
<	34	5
,	34	5
	-P	-
	-P	O
	8	2
B82	64	6?
B82	64	/
5*	3	D
m	3	5,+
	:	;
.	9	;
.	-
5	-
:	d	&
-	d	&
4	5	8-
	.	8-
5@	-	:
5@	A	9
	X
- .
O	7
O	5
,	,3	13-
,	8	13-
/	7
-	5,	g
5	.	*
5	4	l
1		l
		O
		K
2	02	.
2		?
0		?
-,	d	-
2?	d	1
	5	5


A &	?@	$	#
A &		$
			'

				\

			)\

			4	6
				6
				57
			98;:
			<=
			<>?

			<
			<
			8=
			<> *

875\

		C
$	#		G
		2	R
			H
			E
			L
			HN
			G
	&
			@
		\	@
			G


			E
		PD
		\	EM
			G
		2	@
			H
			D
	)(		E
			C
			G
		2
			R
			R
			HD
			HN
	'	\	\
	'
	2		\
		#	\

			H
			@



	>
CI
	L
C
	Q
P
C

	\
	\
O
AB
ED
A@
	G


	\


	\




3

C \

\ Q OK B

$	#
$	%
	\
	'

	)(

	2
	\


	)



	%
	(



	#2
	\


	>
	CI
	@
	E
P
	!\

	.


/
/














	10

IJC

- \

\ E R H C G @ H P E A O

$ %#

)

' *

(

$ )\

O\\


		Q
		G		P
		G		P
		D	\		Q
			\	C
		\		!\
		\
				\
				O

				IH
				M
					G
					D

		@			\
		@

					\
		D
		\

	E@
	I
		G
	H
	E
	A
	A@			"
	HN
	I
		@
	C
		G			\
		\			\
	H
		\
				H
					@
H				H
				O

\ H RG CG Q A N

HHD





		F
\
		\

	>
	\























	L
A@


	L
O




HD
H

C
	\














>
	G
E

PD
EM
	G

E

P@Q

R >



\
	C
		Q
	A

O		\
O
		\
		\
\




















	\

Q C G Q@ C \

EB Q

H \

++&


	#
				#
)			$


)				%
		*		%
				\
				\




	#
)				2
)

				\
	5
	@
	@
	7
	7
9				'
	;
	;		$	\
			$

'#+




	G		ED

H		\	R
IQ			IJ
IQ			E
C			A
H			CD
H
				\
	.\			\
\














			3




				\
				\

		H
				@




					H
				P
				P
						Q@
			A\		C

						\
	3
						\


					"
					"







				P
						\

	\
-	\

		\

		G
	P
	O					\
						\

		\

HIJ

- \

\ H

H IAQ C

E@ IQ C H

\\\

IAQ C

\ ""

H
AQI
C

	\
!\















"




















\

	\

H
	@
H
O

	\


		>			>
C				C
		L	\	AM
		L	\	@
	HD
					\
					\
		\





	3
	3










					>
					G
					Q
				E
				E


					Q@
				H
				C
		\		H
	H			R
	RG				L
	C				@
	C
		G		H
				O

\ O

C \

- \

/ ! "! "!

#!2

$'5

#5#

$ )

)+2

)



		5


		6

		\
















		5

	\

		;
		#
		7

	92

$
		\

;+2

\\5



	)

	8\


	\














3


	\





O

	\

\ G1 R



E
P

	\













3




	CD

PG

		M

		\
	\















	"

\ H

\ -- "\




	J
	PG
	D




\			M
\			CI
PQ
C
A			\
E			\
G

ED
E
O

\




			1
























	\

A@

	G
	N

	K

	@
O

\



	C
	C		\
	R


	E
P
	A				@
					@
		\
					D
	"
					\
				C
					G

				A@
				E
				E
					B
				C
				E
				C
				P
				P
				H
-					GL
-					Q
				P
				C
					G
				HD
				E
					\
					\
	"			P
					G

				O
					\
					\
					\


















/

&\2

2\#



	E
	E			-
	R
			\
	E
		\		"

	3










				"\
				"\


				E
		\		D
		\		C
		G		E
				B
O				A
$				A
				C
				G
		\		E\
				>

R > O

\""

	6				i
L					i
	4				M	6
Z67						6
	5					b
	5				OM	8
	d			,	OM	-9
				,	)
				8;	:	@6
	b			5	.	@6
	b			5	.	12
L			Eh		a	Y
					a
					?	6
T				K	M	6
					/ .
O					O	5
					;	?
		a M				P
	i		Oa 16			P
				i	\|	4
k					\|	Z
k			k			5
	-,		k
	-,			;	12	,
	K;		h		12	,
	K;				O	1
	i				h
	i			K	;
				K	O	-
	9					&+
	9				?
	;				K
M					O
k					O

U 6 12 M+;

f -: 1 2

58; O;@;6

Bd8; Ok;

b6 -/ B

.4 2 -3@

;iK

Mh M

	6	)
	6	*<
L
	4 d
Z67		B2
	5	,
	d	8
	d	5
		.
L		V
L		,3
	$	-
M		2
		.
kK		8
kK		6
		5
M		B;
	-,	6
	-,	5
M		T
	i	28
M;		28
M;		9
		a
		-6



	0
	1
	,V

b9 B -,3 8 4 52

/? 56 2

B25$ ?,

1;.

164. A C Z4 2

05 -/ 5

.-6 0 5

#*!

<<< < Предыдущая 1 2 3 4 5 6 7 8 9 1011 / 1111

Соседние файлы в предмете Математическая логика

#
02.05.20141.26 Mб188Гуц А.К. Математическая логика и теория алгоритмов [pdf].pdf
#
02.05.20144.98 Mб65Лекции по математической логике [компактные].rtf
#
02.05.2014972.8 Кб74Лекции по математической логике.doc
#
02.05.20142.3 Mб265Лекции по математической логике1.doc
#
02.05.20141.55 Mб93Лекции по математической логике2.doc
#
02.05.20141.58 Mб190Лекции по математической логике3.doc

,		&		96
,		#	B8	96
		#
-		K		-
-		('$	-	-
13		('$
13		)	4
6		5	4	L
			5	2?
1			.	1
1			A	3
,			A	3
A82		/	X	d67
4	1 .			,
4		5	5	,
V	1		,3
-P		,	-	U
-P	A2		-
	A2		2
1	1		&
1	1		, B
82			V	5P
5			V
4		?	5	>
V		?
V		,
6		9		6
6		9	F	V
.			F
-	1		'	4
-	1		H	4
,;		-	&	19
		3	&
		3	G
			#
		@	K	2
		8		/
		8	)	6
		>?	)
		2	&	13
				13
				6
				-
		5,	H	-
		5,	(	B
		/	(	,
	1		G	/
		5	G	/
	1		K	?
	1		$	?
		,	G5	1
	A2C		(	/
	A2C		(	5
			F	B
	1			8
	1		G	-
		3	G	-
		.	&	64
		.	#	64
		9	K
		5		5
		=		5
		=		@
		4	$ >
		4	)	O
		5		O
	12a		GHI	,
	12a		GHI	-

/	6	+,
	4
.	-	-
-
8?	5.	B	8
@	A	.	5
		,
V	X	/	B3
?		4
A	.	A	-
	5	7	2
	,3
,			,
	6	-	8
			54
		8
-	-	B
	O		V
8	3	6
?		3	-
			8
3			O6
	A	467	9
A
6	X	B
:			-
	53	@
		5	2?
1	6
	:		/
5		8 .
O		5
A	1
		3	-4
?	5.	-
		5;	0
,	B96		2
9		2?
	1	6	/
1	A	\|
-4	:
		C	-6
	6	&
4	Y		B
5,
2	@	H	,
			V
8	d	F&
0			0
>
	.6	5	8
		K	-D
B27	5		V
	?
,			6
	:	4
8			5:
5		H
	2	2
		08	@
	d
	4	>	13
	?		-
	-6
	2	B2	O
	:
	O	5,	:
			5

6	3	6
B	.9	B
.	6	.
?	5	?
?	4	?
14	-	14
14	6	14
5,	6	5,
9	,
-	7	-
-	A	-
:	Z	5
546	4	b
	/	b
	/	1
2=	5	5
		B
: C		3
: C		5
d	1	5
d	5	.9
2;
<	34	5
,	34	5
	-P	-
	-P	O
	8	2
B82	64	6?
B82	64	/
5*	3	D
m	3	5,+
	:	;
.	9	;
.	-
5	-
:	d	&
-	d	&
4	5	8-
	.	8-
5@	-	:
5@	A	9
	X
- .
O	7
O	5
,	,3	13-
,	8	13-
/	7
-	5,	g
5	.	*
5	4	l
1		l
		O
		K
2	02	.
2		?
0		?
-,	d	-
2?	d	1
	5	5

	6	)
	6	*<
L
	4 d
Z67		B2
	5	,
	d	8
	d	5
		.
L		V
L		,3
	$	-
M		2
		.
kK		8
kK		6
		5
M		B;
	-,	6
	-,	5
M		T
	i	28
M;		28
M;		9
		a
		-6

,		&		96
,		#	B8	96
		#
-		K		-
-		('$	-	-
13		('$
13		)	4
6		5	4	L
			5	2?
1			.	1
1			A	3
,			A	3
A82		/	X	d67
4	1 .			,
4		5	5	,
V	1		,3
-P		,	-	U
-P	A2		-
	A2		2
1	1		&
1	1		, B
82			V	5P
5			V
4		?	5	>
V		?
V		,
6		9		6
6		9	F	V
.			F
-	1		'	4
-	1		H	4
,;		-	&	19
		3	&
		3	G
			#
		@	K	2
		8		/
		8	)	6
		>?	)
		2	&	13
				13
				6
				-
		5,	H	-
		5,	(	B
		/	(	,
	1		G	/
		5	G	/
	1		K	?
	1		$	?
		,	G5	1
	A2C		(	/
	A2C		(	5
			F	B
	1			8
	1		G	-
		3	G	-
		.	&	64
		.	#	64
		9	K
		5		5
		=		5
		=		@
		4	$ >
		4	)	O
		5		O
	12a		GHI	,
	12a		GHI	-

/	6	+,
	4
.	-	-
-
8?	5.	B	8
@	A	.	5
		,
V	X	/	B3
?		4
A	.	A	-
	5	7	2
	,3
,			,
	6	-	8
			54
		8
-	-	B
	O		V
8	3	6
?		3	-
			8
3			O6
	A	467	9
A
6	X	B
:			-
	53	@
		5	2?
1	6
	:		/
5		8 .
O		5
A	1
		3	-4
?	5.	-
		5;	0
,	B96		2
9		2?
	1	6	/
1	A	\|
-4	:
		C	-6
	6	&
4	Y		B
5,
2	@	H	,
			V
8	d	F&
0			0
>
	.6	5	8
		K	-D
B27	5		V
	?
,			6
	:	4
8			5:
5		H
	2	2
		08	@
	d
	4	>	13
	?		-
	-6
	2	B2	O
	:
	O	5,	:
			5

6	3	6
B	.9	B
.	6	.
?	5	?
?	4	?
14	-	14
14	6	14
5,	6	5,
9	,
-	7	-
-	A	-
:	Z	5
546	4	b
	/	b
	/	1
2=	5	5
		B
: C		3
: C		5
d	1	5
d	5	.9
2;
<	34	5
,	34	5
	-P	-
	-P	O
	8	2
B82	64	6?
B82	64	/
5*	3	D
m	3	5,+
	:	;
.	9	;
.	-
5	-
:	d	&
-	d	&
4	5	8-
	.	8-
5@	-	:
5@	A	9
	X
- .
O	7
O	5
,	,3	13-
,	8	13-
/	7
-	5,	g
5	.	*
5	4	l
1		l
		O
		K
2	02	.
2		?
0		?
-,	d	-
2?	d	1
	5	5

	6	)
	6	*<
L
	4 d
Z67		B2
	5	,
	d	8
	d	5
		.
L		V
L		,3
	$	-
M		2
		.
kK		8
kK		6
		5
M		B;
	-,	6
	-,	5
M		T
	i	28
M;		28
M;		9
		a
		-6

,		&		96
,		#	B8	96
		#
-		K		-
-		('$	-	-
13		('$
13		)	4
6		5	4	L
			5	2?
1			.	1
1			A	3
,			A	3
A82		/	X	d67
4	1 .			,
4		5	5	,
V	1		,3
-P		,	-	U
-P	A2		-
	A2		2
1	1		&
1	1		, B
82			V	5P
5			V
4		?	5	>
V		?
V		,
6		9		6
6		9	F	V
.			F
-	1		'	4
-	1		H	4
,;		-	&	19
		3	&
		3	G
			#
		@	K	2
		8		/
		8	)	6
		>?	)
		2	&	13
				13
				6
				-
		5,	H	-
		5,	(	B
		/	(	,
	1		G	/
		5	G	/
	1		K	?
	1		$	?
		,	G5	1
	A2C		(	/
	A2C		(	5
			F	B
	1			8
	1		G	-
		3	G	-
		.	&	64
		.	#	64
		9	K
		5		5
		=		5
		=		@
		4	$ >
		4	)	O
		5		O
	12a		GHI	,
	12a		GHI	-

/	6	+,
	4
.	-	-
-
8?	5.	B	8
@	A	.	5
		,
V	X	/	B3
?		4
A	.	A	-
	5	7	2
	,3
,			,
	6	-	8
			54
		8
-	-	B
	O		V
8	3	6
?		3	-
			8
3			O6
	A	467	9
A
6	X	B
:			-
	53	@
		5	2?
1	6
	:		/
5		8 .
O		5
A	1
		3	-4
?	5.	-
		5;	0
,	B96		2
9		2?
	1	6	/
1	A	\|
-4	:
		C	-6
	6	&
4	Y		B
5,
2	@	H	,
			V
8	d	F&
0			0
>
	.6	5	8
		K	-D
B27	5		V
	?
,			6
	:	4
8			5:
5		H
	2	2
		08	@
	d
	4	>	13
	?		-
	-6
	2	B2	O
	:
	O	5,	:
			5

6	3	6
B	.9	B
.	6	.
?	5	?
?	4	?
14	-	14
14	6	14
5,	6	5,
9	,
-	7	-
-	A	-
:	Z	5
546	4	b
	/	b
	/	1
2=	5	5
		B
: C		3
: C		5
d	1	5
d	5	.9
2;
<	34	5
,	34	5
	-P	-
	-P	O
	8	2
B82	64	6?
B82	64	/
5*	3	D
m	3	5,+
	:	;
.	9	;
.	-
5	-
:	d	&
-	d	&
4	5	8-
	.	8-
5@	-	:
5@	A	9
	X
- .
O	7
O	5
,	,3	13-
,	8	13-
/	7
-	5,	g
5	.	*
5	4	l
1		l
		O
		K
2	02	.
2		?
0		?
-,	d	-
2?	d	1
	5	5

	6	)
	6	*<
L
	4 d
Z67		B2
	5	,
	d	8
	d	5
		.
L		V
L		,3
	$	-
M		2
		.
kK		8
kK		6
		5
M		B;
	-,	6
	-,	5
M		T
	i	28
M;		28
M;		9
		a
		-6