, , . .
:
- -;
- (" ").
-. A , , B, , B - X (, ). B (, f(X)). , B , X . B, A , B - . - .
. "" , .
, , .
. " " . , .
"", , . , , , . "" , -, - ..
"" A B. . A B KAB.
- A "", B IDA .
- B, IDA, KAB .
- A S PG B EKAB(S).
- B S.
- S, f.
- B f(S) EKAB(f(S)) A.
- , A f'(S) f(S). , A B.
A B . "", .
|
|
"" , .
. .
M, A EK(IDA, M). (IDA, M). IDA , .
, . :
1. .., .., .. . . .. . - 2- ., . . - .: , 2001. - 376 .: .