|

JavaMatlabPhpHtmlJavaScriptCSSC#Delphi 1


Linux Unix AutoCAD 3D Access Orcad

, F(,), - , :

F(john,. harry) F(john, sid)F(sid, liz)

, (.. ) . , , .

(), S(,) (, ), , - , , .

(, ) F(, )-->()

(, , w) F(,)F(, w)-->S(, w)

(, )S(, )()-->(, )

: 1) - ; 2) , ; 3) - .

(z) (z, harry)? , (z) ~(z, harry). ( ):

~(, ) () (2 21)

~(, )~F(, w)S(, w) (2 22)

~S(, )~M()B(,) (2.23)

F(john, harri) (2.24)

F(john, sid) (2 25)

F(john, liz) (2.26)

~B(z, harri) (2.27)

, , .

, , , , john, harri, sid liz.

, (.. ). , . , , john sid , :

~ F(john, sid)~ F(john, w)S(sid, w).

(2.25), :

F(john, w)S(sid,w) (2.28)

(2.5) (2.2) {john/x, sid/}

, .

,

S(sid, harri) (2.29)

(2.24) (2.27) {harri/}

(sid) (2.30)

(2.26) (2.21) {sid/, liz/}

~S(sid, y)B(sid, ) (2.31)

(2.30) (2.23) {sid/}

(sid, harry) (2.32)

(2.29) (2.31) {harry/}

?

(2.22) (2.27) {sid/z} (2.33)

, (2.22), sid - harry, (2.24), (2.25), (2.26), . , , harry .

, , . , Answer().

~(z, harri)

~(z, harri) Answer(z). (2.27a)

, Answer, z, (z, harri). (2.33) Answer(sid) (2.22) (2.27) {sid/z}.

, sid harry. , Answer(sid)Answer(fred).

, . , (2.21) , , (2.27) (2.27).

~S(, harry)~()Ansver() (2.21)

砠 (2.27) { /z} 蠠 (2.23)

{harry/} (2.21)

S(sid, harri)Answer(sid) (2.22)

(2.30) (2.31) {sid/}

Answer(sid) (2.33)

(2.32) (2.29)

, :

~ F(john, w)S(sid,w) (2.28)

(2.26) (2.22) {john/x, harry/x)

S(hr, sid) (2.29)

(2.25) (2.28) {sid/w}

, S(h, sid) S(sid, h), (2.32). , :

(, ) S(, ) -->S(, ),

~ S(, )S((, ) (2.34)

, , :

S(sid, hr) (2.35)

(2.29) (2.34) {hr/, sid/}

S(hr, sid) (2.36)

(2.35) (2.34) {sid/, harry/}

S(sid, h) (2.37)

(2.36) ..

, , .

:

:




php mysql



C


 


? :

, ? Google !

 
 

© life-prog.ru .