- , . , , , . ( ), , - .
, -, . , / / / .
, , , , ( !) , , . , , , . : , . .
... . , , , , :).
- ( ) , .
, , - . - , . , . , , .
, .
, " ", .
, . .
X Y , , Y X, X Y. X -> Y.
|
|
, X Y , , . , " ", .
X -> Y X ( ).
.
- , , , .
: R, , , ( ).
.
.., → , , . : .
→ , - . → , , .
: (*, , , - , , .)
,
, , . . .
R(A,B,C) B A ( B A) , B (A, C) A ( B). : A=>B.
, R A (B,C), B C B .
, C B ( B,C), C A R.
, ( C ), : A=>B | .
, ( ), - , .
|
|
(, , ). , , .
-> |
, , .
R A=>B , B A R = (,B). .
, :
) => (, ): =(, );
) , => ( [, ])
27.09.11
,
06.10.11
4
5
{A} , 1 , .
P = {A.B.C}
A=>B
B=>C
A=>C
R1={A,B}
R2={B,C}
,
11.10.11
MV-
*
MV :
*Y<=X
*XY=R
, {}- y.
4 4. :
, , , 4, ..
5- 5. :
, , , 5, ..
0 .
1 1, , .
2 , , , , !
3 4, , , , , !
4 5, , , , !
.
:D
1-> -> 4-> 5
.
, ,
,
, , .
, :̻, :̻ 1:̻.