:
M = < T, A, P, F >.
T ; A - (); P ; F .
:
- ( ).
- ( , ).
- . 6.5.
. 6.5. -
, : (TRUE) (FALSE).
: ; , ; ; . :
- ;
- L , (L) ;
- L , ~ L ;
- L 1 L 2 , L 1& L 2, L 1| L 2 ;
- X L , L X .
, , , , , .
: ; ; ; ; .
:
L 1(L 2 L 1)
(L 1& L 2) L 1
(L 1 L 2)((L 1(L 2 L 3))(L 1 L 3))
(L 1 L 3)((L 2 L 3)((L 1| L 2) L 3))
: (modus ponens); ; ; ; ; .
, .
L 1,..., Li,..., Lk, , :
L 1 Þ L 2 Þ Þ Li Þ Þ Lk.
.
, ().
, .
: () ; .
:
- ($) .
- (") .
.
|
|
:
- , .. , , ;
- ( , );
- , , .
, - .
:
- x < y ( x y);
- xy ~ ($ z), ((x < z)&(y < z)) ( x y);
- x º y ( x y);
- x / y ( x y);
- x y ( x y).
: , .
: ( , - , ).
1. ?
2. .
3. ?
4. - . ?
5. ?
, .
1. .., .., .. : . .: , 2003. 368 .
2. .., .. . : , 2001. 138 .
3. .., .., .. . .: - , 2005. 45 .
4. . / . . . .: , 2002. 1118 .
5. .. CASE-. -. .: , 2002. 320 .
6. A.M., .. : 2- . . 1. : . .: , 2006. 336 .
7. .. . .: Ȼ, 2003.
8. .., .. : . .: - , 1998.
9. .., .. . : . .: , 2005. 192 .
10. .. . // 96. [http://citforum.ru/database/kbd96/43.shtml].
|
|
11. .. . .: , 2003. 496 .
12. .. : . .: . -, 2000. 326 .
13. .., .. . .: , 2003. 415 .
14. .. : . : , 2003. 368 .
15. : : . / . .. .. . .: , 2006. 848 .
16. : Data Mining, Visual Mining, Text Mining, OLAP. / .. , .. , .. , .. . 2 . .: -, 2007. 384 .
17. .., .. GPSS. .: , 2003. 416 .
18. .., .. . .: , 2003. 335 .
19. .., .., .. : IDEF-. .: , 2001. 208 .
20. .., .., .. . IDEF-: . .: , 2002. 192 .
21. .. - . .: - Ȼ, 2003. 194 .
1. .., .., .. . . .: , 1983. 472 .
2. .., .., .., .. . . .: , 1989. 607 .
3. .., .. . . . .: , 2000.
4. .., .. . .: , 1983. 464 .
5. .. . .: , 2000. 208 .
6. .. . .: , 1997. 368 .
7. .. . . . .: , 2007. 392 .
8. .., .. - . . : - , 2002. 160 .
9. .. - . .: -1, 2006. 184 .
10. .. .
11. .. . .: , 2000. 240 .
, .
, , , .
; .
(. , ) , .
, .
(, (.)) , -.
|
|
.
, .
- .
, (), .
, .
, .
, , .
, .
, , .
, , , , .
, , .
, , .
( (.)) , , .
(, (.)) , , , , .
( (.)) , , , , ..
, , .
(, , (.)) , , , .
.
, , , .
.
, .
.
, , , . , , , - . : , , .
, .
, , .
(, (.)) , , , , , , .
, .
|
|
, .
, , .
, .
.
.
; , .
, , , , , .
, , , , , , .
, , , .
(, (.)) , , , , , ..
[1] - . : , .