Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ20 ΜΑΘΗΜΑ 3.4 (ΕΚΤΥΠΩΣΗ)

2,743 views

Published on

.

Published in: Education
  • Be the first to comment

ΠΛΗ20 ΜΑΘΗΜΑ 3.4 (ΕΚΤΥΠΩΣΗ)

  1. 1. 20 3: 3.4: ! " ! " ! " # $ % ! # & " ' ! "# !"# . # $% & $ $ ' (-) $ $ ' ( )** *" $ + & $ " " +, & , * $ $ - + * . #/ . ) / * . . $ $ ' )** *" $ * , & $ " %* &. 0 " *&, * / * $ % * * . ! "# !"# $ +, + * - * % $ " . 1 " & $ " * & * " $ &: 0 & + *" $ $% ' ($.,. .$ ) 0 $ & - 0 & *,+* . + . ($.,. + , ' -% . $.) 0 - * & $ * & + * * - : - * & $ * * . 0 & *" $ $% % , % ' 0 & % & *" $ 0 2 & $ * $ & *& '+ & $ & 0 & . B. 3 . 1. $ &* + $% $ % %* ! "# !"#
  2. 2. B. 3 . 1. $ &* + $% $ % %* 1. #" $ ' ' + . $! "# !"# ' : 0 & / )** : • 1 *" $ 0 *" % . : | |={tom, pam, john, jil, erwin, kate, tina, alison, ethan, audrey, annette, thomas, tess, brian} • 0 . father(x,y) mother(x,y) " & x $ + ( * , + ) & % & y. 0 " * . $ " & - * ' $ % % '+ ' . #& + tom,pam +, & $ ' & john,erwin,tina, john,jil +, & $ ' & alison,audrey erwin,kate +, & $ ' & annette,thomas,tess. • 0 : male(x) " * * + tom, john, erwin, ethan, thomas, brian % female(x) " * * + pam, jil, kate, tina, alison, audrey, annette, tess. tom, pam john, jil erwin,kate tina alison,ethan audrey annette thomas tess brian & $ * '& % , * $ * & % . % . . * + * $ * - . B. 3 . 1. $ &* + $% $ % %* 2. #" $ ' ' + . ( ' ) %! "# !"# * * 1: - 0 & % & $ * * $ - * * /!: 1. 2. 3. 4. 5. ] 6. ] B. 3 . 1. $ &* + $% $ % %* 1. #" $ ' ' + . ( ' ) &! "# !"# * * 2: - * % & $ * * +$ $ - * * /!: 1. 2. 5. ] 6. B. 3 . 1. $ &* + $% $ % %* 1. #" $ ' ' + . ( ' ) '! "# !"# * * 3: * & * % & *& - : 1. *& - (x) " x +, & .'" $ ' . 2. *& - siblings(x,y) " x,y '+ - 3. *& - uncle(x,y) " x & % & y 4. *& - parent(x,y) " x + & y. 5. *& - grandparent(x,y) " x $ $$ " & % & y. 6. *& - is_uncle(x) " x 7. *& - is_parent(x) " , + .
  3. 3. B. 3 . 1. $ &* + $% $ % %* 1. #" $ ' ' + . ( ' ) (! "# !"# * * 4: , * . $ $ . *& - ) * & * % & $ * +$ $ - * * 1. ' . 2. 4$ , $ $ & $ $$ " . 3. ' - alison . 4. '+ - & brian +, & '" $ ' . 5. 4$ , ' % $ & +, & .'" $ ' . 6. 4$ , & 5) '" $ & +, & & .'" $ ' B. 3 . 1. $ &* + $% $ % %* 2. #" $ $ **% ' ' + . )! "# !"# • # $ * * : • &$ % *" $ $ 5 % * , . • *" $ ' 0 % &! • % +*. . ($ & 0 * -) * ) 0 & +*. ' % $ & $ +$ $ " 5 $ & ' * +& & $ * ' • #& " $ % % : • $ * ' &$ , *& '+ $ * *& . % : ! • $ * ' *& '+ $ * *& . *& $ . : " ! ' : • 0 * -) * % K(x) " o x 0 - 0 & $ % * - «4$ , $ (+, ' % )». - $ % * : # $%$&'(') • 0 * -) * % (x) " o x &$ * 0 - 0 & $ % * - « &$ * (+, ' % )». - $ % * : * " $%$&'(') B. 3 . 1. $ &* + $% $ % %* 2. #" $ $ **% ' ' + . ( ' ) ))! "# !"# * * 5: 6* . 7(x), (x), (x,y) , #(x,y) « x - », « x * ", - », « x . 0 y», « x + *& * y», * , . 2 * -&* )** % . % & . "$. : 1. + , " - . , / 2. 0 , + " . , / )* $ * * $ & - 0 & % . $ . ' &$)* . . ) : 1. - + $ & * ", ' + & *& * " + - . 2. '" - + ' . 0 + & *& * " /" & , % & ' * ", B. 3 . 1. $ &* + $% $ % %* 2. #" $ $ **% ' ' + . ( ' ) )! "# !"# * * 6: 6* . C(x), S(x), P(x), T(x,y), E(x,y) , F(x,y) « x », « x - », « x », « x ' ' * y», « x $ & y», « x y - » 2 * -&* )** % . % & . "$. : 1. 1 , 2 / 3 " 4 5 / 6 7 , 6 2. 8 , 1 " 7 / , )* $ * * $ & - 0 & % . $ . ' &$)* . . ) : 1. $ +$ ' ' * & , * '" ' - 2. $ - $ & % % % & - .
  4. 4. B. 3 . 1. $ &* + $% $ % %* 3. #" $ . - ) )! "# !"# • # $ * * &$ , $ $ .* ' . *" $ + . • ' - * *,+* *" $ . -&* ) % * & & " : {…,-2,-1,0,1,2,…} • &$ , , * * , • / & % % ' &$ , + * * , . • $ * '+, *" $ 0 % $ . • # & $ " " : • * * 0 " ) &$ , $ + % $ % % . • # * & -&* " " , $ & * * 0 " -&* ) ' &$ , $ -&* % . • # & $ " * * 0 " $ ) , &$ , $ + $ % % . . * * . * 1 )! "# !"# 9 " 9 9 1. "$ " * *" . -&* ) %$ & P(x,y) * % x ' $% y. 2. "$ " * *" . $ ) R %$ & P(x,y) * % x<y. 3. "$ " * *" . . 8 %$ & P(x,y) * % x<y. 4. "$ " * *" . -&* ) %$ & P(x,y) * % x<y. . * * - 1 )$! "# !"# 6* . (x), E(x), (x), B(x) 3(x,y) « x ' % », « x * + », « x $ % », « x 5 & & » « x & 0 y». )* "$ & & " * " $ & - 0 & % & $ * : 1. ' % $ & $ 5 & & + . 2. ' % & 0 & % * . 3. 9 * & 0 & % * . . * * - 2 )%! "# !"# 6* . CS(x), M(x) , OS(x) , Uses(x, y), Likes(x, y) « x $ - % », « x % », « x & % *"* », « x , * $ y », « x *& $ y ». 1. / * * -&* )** - 0 & $ . "$ : : 4; <; " => > ? 4; * " <; => > 2. )* "$ & $ & - 0 & % & $ * : 1. $ - ' *& $ " + % 2. $ - % ' *& $ + %. 3. + $ - % *& $ & , * '" " % & , * + $% & '" $ - % .

×