F () (1) x 1,, x n, ( ).
F () (1) x 1,, x n, .
: F* . 2 , .
f :
1) , :
(0; 1; 1), (1; 0; 1), (1; 1; 0), (1; 1; 1).
2) ( ) , 1:
(0; 1; 1) ,
(1; 0; 1) ,
(1; 1; 0) ,
(1; 1; 1) .
3) , 1 , , , ..
.
, , .
15) .
, , .
, ,
1,2,...,n
3=f (1,2)
, :
1...n
n=
() , , () .
/.../ , :
)
)
)
1) ()/ ()
2) (,->)/
16) , .
, 7 - , 7 , . , 7 .
(x) x, M {1; 0}.
, (x), (x).
|
|
, (1), () (x)
P(x) Q(x) () , , , .
, P(x) Q(x), .. .
17) : t(X1, X2, , Xn), t , , X1, X2, , Xn , . , ,
, () Q(x,y) , q, r , , , ():
, , : , , () .
, .
18) ()
x, P(x) . .
, , . . 0-
.
19) .
, , , : .
() , () , () C={ c1, c2,... }, , (, ).
20) .
, . (18151864). , . .
21) , M, . : 1) , 2) , 3) .
, .
, (1) (x, y) MM, M={0,1,2,,n,}, .. MM=NN.
(1) P(x,y), x,y,z, y z , x .
P(x,y) P0(x,y): x<y, . y, x0=5, P0(x0,y) , , .. .
|
|
22) .
, . , , . , , .
23) .
, , .
, ( ).
1. , ().
2. , .
3. , .
4. , ( ).
5. , , , .
6. , , , .
24) .
B A1 An
. 2-
1) B1 Bm A1Aj An
2) B1.Bj Br A1 An
, :
Aj j ( )
: B1 ,Bm , B1 , , B , B A , A , A , A , A , A
B+A A A | B A A A
B A1 Ak A2
, SU(c ) .
,
Constans, domains, data base ( ), predicate ( ), goal(, ), clauses()
25) . .
, . , , , " ".
26) .
" " "" - , , , .
27) , ""
28) . .
. , . , .
:
clause
, .
:
|
|
29) .
Clause ( . ) : 1, 2, m 1, Am
1, m;1, Am n m . 1, Am .
1, m -
A1 & A2& An B1 + B2 + Bm
(,) clause , 1m ( , ).
clause , .
1
30) (. temporal logic) , - . .
.
: " ". " ", " " " , "
()
31) .
[0...1], 0 1.
32) .- , .
-,
- ,
, . , .
33) - .
() . . , .
, . , .
, , , . , .
. , (), .
34) , . .
35) , , . (), , . , . , , , , . , , .
( ): , , , , .
|
|
g, , , .\ :
-
- , 1
-
- .
36) .
, : , , . , X 3 4, Y .
, . , X 3 4 Y , 5 Z .
, ? .
, ; , , .
, ( ) , .
, , ( ). , , - , . ( , һ .)
37) . , . , , , ? 1930- . , . , . () . , .
, : , .
, , : , , .
, , , ( ) ( ), , ; , , .
39) P ( . polynomial) ,
NP , .
, ?
, , {−2, −3, 15, 14, 7, −10, } , 0 ( )? , −2 −3 + 15 −10 = 0 (, , ). , ? , ? , ( ).
38) - , .
|
|
, .. , , , . , .