ΠΛΗ20 ΜΑΘΗΜΑ 3.1
of 32
-
Upload
dimitris-psounis -
Category
Documents
-
view
25 -
download
1
description
1) Η πρωτοβάθμια γλώσσα2) Νέα Στοιχεία σε Σχέση με την Προτασιακή γλώσσα2.1) Τα συναρτησιακά σύμβολα2.2) Τα κατηγορηματικά σύμβολα2.3) Ο ποσοδείκτης για κάθε: ∀2.4) Ο ποσοδείκτης υπάρχει: ∃2.5) Το σύμβολο ≈3) Το συντακτικό της Κατηγορηματικής Λογικής3.1) Εισαγωγή3.2) Όρος3.3) Ατομικός Τύπος3.4) Μη Ατομικός Τύπος3.5) Δενδροδιάγραμμα Τύπου και Προτεραιότητα Τελεστών3.6) Πρόταση4) Δομές και Αποτιμήσεις4.1) Δομή (ή Ερμηνεία)4.2) Αποτίμηση5) Συντομογραφίες Τύπων5.1) Ορισμός Συντομογραφίας 5.2) Χρήση Συντομογραφίας6) Μεταφραστικός ΠίνακαςΑσκήσεις
Transcript of ΠΛΗ20 ΜΑΘΗΜΑ 3.1
-
20 3:
3.1:
-
.
.
1.
2.
1.
2.
3.
4.
5.
3.
1.
2.
3.
4.
5.
6.
2 , 20, 3.1:
4.
1. ( )
2.
5.
1.
2.
6.
.
1.
2.
3.
-
.
.
.
.
(-)
3 , 20, 3.1:
-
B. 1.
4 , 20, 3.1:
( 1) : :
(.. x1,x2,) : ,, ,, : ( )
: : : : : P1/m1, P2/m2, : f1/m1, f2/m2, : c1, c2,
: (1) (1) Pi / mi Pi mi fi / mi fi mi
..
-
B. 2. 1.
5 , 20, 3.1:
:
,
.
: : fatherOf(x)
.
mult(x,y)
.
sum(x,y)
.
-
B. 2. 2.
6 , 20, 3.1:
:
: : less(x,y)
x
-
B. 2. 3.
7 , 20, 3.1:
.
x :
x x x
:
. (.. 2) .
!! : x x
x x
x .
-
B. 2. 4.
8 , 20, 3.1:
.
x :
x x x
: / 2. ( x=2) 1.
!! : x x
x .
x
x
-
B. 2. 5.
9 , 20, 3.1:
:
.
: , .
, .
!! .
,
.
-
B. 3. 1.
10 , 20, 3.1:
.
( ! )
: : , . :
.
: : : : .
-
B. 3. 2.
11 , 20, 3.1:
: :
M
!", "#,,"$ ! n "% , & 1, , ) .
.
!! :
: 5, x, y, sum(5,4), mult(sum(5,3),2), fatherOf(fatherOf(fatherOf(x)))
-
B. 3. 3.
12 , 20, 3.1:
: :
* *# *, *# .
P*, *#,,*$ , n *% , & 1, , ) .
.
: - 3
"/" !0*1234!5/1)
6320*23_*10)3,5
92:::;
-
B. 3. 4.
13 , 20, 3.1:
: :
=, = ?, = ?, = ?, = ? =, ? .
( ), .
-, - .
: ,-, A BC, D P/2, Q/2 "/" !0*1234! 5/1)
-Qx Px Rx P/1, Q/1, R/1 -A, -, A P/2 !! ( ) :
-
B. 3. 5.
14 , 20, 3.1:
: : , , : , : ,
:
P/2 f/1 c: x,y: :
))],())(,(([)( cxPxfzPyxyxx
)( yxx ))],())(,(([ cxPxfzPyx
yx )),())(,(( cxPxfzPy
),())(,( cxPxfzP
))(,( xfzP ),( cxP
x y
z )(xf x cx
-
B. 3. 6.
15 , 20, 3.1:
: .
.
: -B - ,A P/1,Q/1
x . x y .
-! - A yQx, y f/1 , Q/2 x -! - A y -! - A x yQx, y . y yQ x, y
-AB -, A Q/2 x . x y . A
-
B. 4. 1. ( )
16 , 20, 3.1:
, :
( ) / ( )
:
( ) :
.
:
.
-
B. 4. 1. ( )
17 , 20, 3.1:
: ( ) : H ( |H| )
.
f/) : !L: |H|$ |H|
,/) : ,L |H|$
c : DL |H|
( )
-
B. 4. 1. ( )
18 , 20, 3.1:
1: :! D, D#
: O
!/2 !P -, A - Q A
H D DP 9 H D# D#P 4
: 9+4=13
-
B. 4. 1. ( )
19 , 20, 3.1:
2: :DT ! D, D#
: O
!/2 !P -, A - Q A
H D DP 9 H D# D#P 4 H DT DTP 11
: 11=13, .
-
B. 4. 1. ( )
20 , 20, 3.1:
3: :-B-, D
: O
Q/2 BP -, A x
-
B. 4. 1. ( )
21 , 20, 3.1:
4: :-B-, D
: O
Q/2 BP -, A x>y H D DP 0
-- W 0
0 ( x=0)
-
B. 4. 2.
22 , 20, 3.1:
: v .
: v: |H|
:
.
( )
-
B. 4. 2.
23 , 20, 3.1:
5: :-B-, A
: O
Q/2 BP -, A x
-
B. 4. 2.
24 , 20, 3.1:
6: :-B-, A AC !A, C
: O
Q/2 BP -, A x
-
B. 5.
25 , 20, 3.1:
.
.
: sum/2 mult/2 , : E(x) x :
- A-
-
B. 5.
26 , 20, 3.1:
. :
...
x ]- 4-
x ]- 4-
x ]- 4-
x ]- AC4A 4C - :;
-
B. 6.
27 , 20, 3.1:
1 ^_`a=bc
^_`a=bc
2 ^_`a=bc
^_`a=bc
^_`a=bc
^_`a=bc
3 ^_`a=bc
^_`a=bc
^_`a=bc
^_`a=bc
4 ^_`a=bc
^_`a=bc
^_`a=bc
^_`a=bc
5 ^_`a=bc
^_`a=bc
^_`a=bc
^_`a=bc
-
B. 6.
28 , 20, 3.1:
6 -dedaca=a`g-
Y
dedaca=
Y dedaca=
Y dedaca=
7 -dedaca=a`g-
dedaca=
dedaca=
8 -A-bhibcjiA
Y
bhibc
Y bhibc
9 -A-bhibcjiA
bhibc
bhibc
-
B. 6.
29 , 20, 3.1:
10 -A-bhibcjiA
Y
bhibc
11 -A-bhibcjiA
bhibc
12 -A - k A -bhibcjiA
Y
bhibc
Y
bhibc
13 -A - k A -bhibcjiA
/
bhibc
/ bhibc
-
B. 6.
30 , 20, 3.1:
14-
ded`aca=ba`-
A`j`d=ded`aca=ba`A
- A
15
-A
ded`aca=ba`-
`j`d=ded`aca=ba`A
- k A
C`j`d=ded`aca=ba`C
C - C A
-
. 1
31 , 20, 3.1:
:
Q/2 , f/1 , c,d .
))((),(),(.2)]))(),((([.1
xfydxxyyxyQxdcQdycxyfxfQyx
-
. 2
32 , 20, 3.1:
P/2 Q/3 , f/2,g/3 , c,d x,y,z . , , ,
:
))),,,(,(),,((.7),()),,(,(.6
),()),,(,(.5),(),,(.4
))),,(,(),,((.3),(.2),(.1
xxxxgxQxxfPyxyPxcyxfxg
xxzPyyxfxQyxPdcxQ
cyxfxgyxfPyxyQxyxyPx
