. 1
a | |||||
i | Ai | ||||
aij | Aij | ||||
, .
. . , , , . , , :
()=. (4.1.1)
. : . . , , :
[]==. (4.1.2)
. , . , b D:
b->D. (4.1.3)
, , F
(E)->F. (4.1.4)
, g h , h, :
g->[h]. (4.1.5)
. . . - , , , .
, . , . , .
. , .
, , , , ik ai. = [ai] ik == [ik].
, . , . , , (, , ). .
|
|
, :
0<1< <<<... <Z... . . (4.1.6)
, . . ASCII. , , , , . .
º065(10) =0100001(2), º066(10)= 0100010(2) 0100001(2) < 0100010(2), (4.1.4)
º .
(4.1.6) , . 1 00011001, Zº01011000(2). ,
Z=01011000(2), l=00011001(2), 00011001(2) <01011000(2). (4.1.8)
. , 32(10).
, , , , . , , , i j, ( ) ( ) , . . :
i < j º (i k)< (jk) (4.1.10)
, , . . , , .
. , , b, R. , b R:
R b. (4.2.1)
, R . (4.2.1) , , b . , , , .
: , .
. , , . ,
a R a. (4.2.2)
. , , .
. , b , :
a R b & b R . (4.2.3)
, ( ) . , , . , - , .
(). .
. :
|
|
a R b & b R cÞ a R c. (4.2.4)
, R , , b b , . , , , .
, . . - 6, b 5, 6 , ( ), , 6 6.
. , . , , , ( ). , . ? .
4.1. |
, , . , . , ( ) , ,
. , , . , . , . . 4.1.
, . , , .
. , , .
, , , , . ; , . . , , .
, b , b - . , , . , , , . , . , , , : . , .
. . , . , , . - (. 4.2),