G . , , b
.
, . ,
b.
(, ) ,
G .
' G .
. 1)
. 5
[5, 6). 5, 5.1,
3\/3, 5.82 5.
2) , , X [X]
( , X). 5 : [5, 6).
3) . , . ( , ) , .. , .
, -
,
. ,
. , - ,
(
).
. , .
- ( ) -
; : ,
. , , , , . (X, Y) \ inin(X, Y):
, , . , , . , , . .
- ,
f .
. 1)
2)
, :
a) [ X / ; Y -
b) [ X f ; -
; Z -
3) (: , , , ) , .
|
|
.
.
: ,
, , . , , , , . - , , () (). , , : , , , .
-
(. .6), . ( , : , , ; ).
, /;, 1 . ,
,
(. 6). .
1) , -, S.
2) S -
. , .66, : -
,
S . , .
S
,
S1 -
, () ,
-
, S
ix ,
, S, - , S ,
7
8 ,
7
1- , 2- 3-
, .
|
|
1)
9 - ,
, ,
, , , , ,
( 10)
( 106),
(
10) - g = 3
2)
3 ,
- .11. , 2 : . \
D\; 2 , , , .
: 2 (.22).
. U - ; - ,
= {0,1} - 0 1.
,
, - .
, M,N , , : ;
.
. , .
:
[ =0 1, = ]=