.


:




:

































 

 

 

 


.




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) - , .

, .. , , , . , .





:


: 2016-11-12; !; : 885 |


:

:

,
==> ...

968 - | 881 -


© 2015-2024 lektsii.org - -

: 0.074 .