.
. : - . . : - , .
() , 1950- , , . 2 :
() . () , .
. - , .
, - . , , , , , .
- , , .
, , , . ., , , , , .
. .
, , , . , , . , , .
, . : , . , . , . . , . . . . .
- . - , .
|
|
. A A, . () λ.
.
:
1) , . - , , . .. .
2) . , .
3) .
4) . , .
5) . , .
6) - , , .
7) . , (LISP,..); (PROLOG); , ; , , .
8) . - , .
9) . .
, .
, . . :
( , , , );
, ( );
() ( );
(, );
( -);
.
, . , . , . .
|
|
:
;
;
;
.
. 1 - , 2 - . . - , . . , , . .
:
1) . - .
2) .
3) , . :
4) , .