.. , [119]. , . . , . , . , ( ). , . , , . .
, . , , . , . , () . , , ( , , . .). .
, [113]. . , :
, ;
.
, . , . .
. , : , , . , . [45].
|
|
, . , , , . , . .
II
V.
5.1.
I, . - , . , , , ( , , , .).
, , - , . : , , . , , , , , IV .
[55]. -, , ( , ). -, , . ( ) (3.12). -, - , , [55].
- : -, - [92]. , . , , . - ( ). , - , . , . , , [92].
|
|
: () ( , ). .
. , . , , . .
() . . : (, , . .), , , (, , .), (, , . .). X.
, , ( , ). , , , . .
, , (, , , .), . , .
, , , , . .
( ) , . : . (, , ) , , . , , .
|
|
, . , , .
; , ; . , . . . . .
. (, , ) . , , , .. [22]. . -, , . (). . . -, , [40]. , , .
. .
, , . , , . . . . , , , . .
5.2.
, - -. , , , , .
|
|
. , , . - , , . , [55]. ( , , , , .).
. . : - .
, ( , , , . .). :
, ;
;
.
- - [15, 22].
- . , , , . , , , , . , . .
- . , . , , . . , .
- , , . , , , , , . . [15,160].
, . , . , , . , , . , . . . , . , (, , , . .), , , , . ( , , - ), , .
|
|
- . , , , , - , , . . , .
: , -, , , . . , [114].
- , : - , - , - . . , , (, , . .), , - (. 5.1). - , [111, 178].
. 5.1. -.
, , , , . , . , . . 5.2. , (tm) . , (t). , . , () . . , [77]. , , .
. 5.2. , .
, .
. ( . algorithmi, algorissmus) , . , ( , , . .) , .
, -, , -, .
() (), , . . (), - (). , . , , . , , , . . . , : ( ), . , , . .
, , (, ). ( ) , . q. D ( ), .
. . . 5.1.
5.1