Υπολογιστική Λογική και Λογικός Προγραμματισμός

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Υπολογιστική Λογική και Λογικός Προγραμματισμός"

Transcript

1 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Υπολογιστική Λογική και Λογικός Προγραμματισμός Ενότητα 3: Λογική: Κατηγορηματική Λογική, Σχέση Λογικής και Λογικού Προγραμματισμού. Νίκος Βασιλειάδης, Αναπλ. Καθηγητής

2 Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 2

3 Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο» έχει χρηματοδοτήσει μόνο την αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 3

4 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Λογική: Κατηγορηματική Λογική, Σχέση Λογικής και Λογικού Προγραμματισμού

5 Λογική Παρέχει έναν τρόπο για την αποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης. Η μαθηματική λογική είναι η συστηματική μελέτη των έγκυρων ισχυρισμών (valid arguments) με χρήση εννοιών από τα μαθηματικά. Ένας ισχυρισμός (argument) αποτελείται από συγκεκριμένες δηλώσεις (ή προτάσεις), τις υποθέσεις (premises), από τις οποίες παράγονται άλλες δηλώσεις που ονομάζονται συμπεράσματα (conclusions). Όλοι οι άνθρωποι είναι θνητοί, Ο Σωκράτης είναι άνθρωπος, επομένως, ο Σωκράτης είναι θνητός (Δήλωση). (Δήλωση). (Συμπέρασμα). 5

6 Κατηγορηματική Λογική (1/3) Η κατηγορηματική λογική (predicate logic) αποτελεί επέκταση της προτασιακής λογικής. Ο κόσμος περιγράφεται σαν ένα σύνολο αντικειμένων, ιδιοτήτων και σχέσεων που προσδίδονται σε αυτά, δίνοντας έτσι την δυνατότητα για αναπαραστάσεις που είναι περισσότερο κοντά στην ανθρώπινη εμπειρία. 6

7 Κατηγορηματική Λογική (2/3) Η κατηγορηματική λογική αντιμετωπίζει το πρόβλημα της μη προσπελασιμότητας των στοιχείων των γεγονότων της προτασιακής λογικής. Π.χ., η πρόταση " ο τζίμης είναι τίγρης " αναπαριστάται με τίγρης(τζίμης), επιτρέποντας την προσπέλαση των στοιχείων του συγκεκριμένου αντικειμένου (τζίμης) από τους κανόνες εξαγωγής συμπερασμάτων για τη δημιουργία νέων προτάσεων. 7

8 Κατηγορηματική Λογική (3/3) Άλλη σημαντική επέκταση είναι η ύπαρξη μεταβλητών, που αυξάνει σημαντικά την εκφραστική ικανότητά της, καθώς επιτρέπει την αναπαράσταση "γενικής" γνώσης, όπως π.χ. "όλοι οι άνθρωποι είναι θνητοί". Η κατηγορηματική λογική επεκτείνει την προτασιακή λογική εισάγοντας όρους (terms), κατηγορήματα (predicates) και ποσοδείκτες (quantifiers). 8

9 Μετάβαση από την Προτασιακή Λογική στην Κατηγορηματική Λογική (1/3) Προτασιακή Λογική Προτάσεις / άτομα: P, Q, R Π.χ. Q «ο νίκος είναι προγραμματιστής». Κατηγορηματική Λογική Ατομικοί Τύποι: p(x,y), q(z), r Π.χ. είναι_προγραμματιστής(νίκος) ή είναι(νίκος,προγραμματιστής) ή είναι_προγραμματιστής_νίκος. Κατηγορήματα: p, q, r Τάξη αριθμός ορισμάτων (παραμέτρων). Π.χ. p(x,y) τάξη 2 είναι_προγραμματιστής(νίκος) τάξη 1 είναι_προγραμματιστής_νίκος τάξη 0 { θα μπορούσε να γραφτεί και ως είναι_προγραμματιστής_νίκος() } Μεταβλητές Σταθερές Χ, Υ, Ζ Π.χ. νίκος, προγραμματιστής 9

10 Μετάβαση από την Προτασιακή Λογική στην Κατηγορηματική Λογική (2/3) Προτασιακή Λογική Προτάσεις / άτομα: P, Q, R Π.χ. Q «ο νίκος είναι προγραμματιστής». Κατηγορηματική Λογική Ατομικοί Τύποι: p(x,y), q(z), r Π.χ. είναι_προγραμματιστής(νίκος) ή είναι(νίκος,προγραμματιστής) ή είναι_προγραμματιστής_νίκος. Συναρτησιακοί όροι. Π.χ. είναι(νίκος,προγραμματιστής(prolog)) είναι(κώστας,προγραμματιστής(java)) προγραμματιστής(prolog) συναρτησιακός όρος. προγραμματιστής συναρτησιακό σύμβολο. τάξη συναρτησιακού όρου αριθμός ορισμάτων. Π.χ. προγραμματιστής(prolog) τάξη 1. Όρος (term). Είναι τα ορίσματα των ατομικών τύπων. Σταθερά, Μεταβλητή, Συναρτησιακός όρος. 10

11 Μετάβαση από την Προτασιακή Λογική στην Κατηγορηματική Λογική (3/3) Προτασιακή Λογική Συνδετικά:,,,, Σύμβολα στίξης: "(", ")" και "," Σύμβολα αλήθειας: T, F Κατηγορηματική Λογική Τα ίδια! Ποσοδείκτες:, Είναι απαραίτητοι για να προσδιορίσουν το εύρος τιμών των μεταβλητών. Π.χ. X είναι_πληροφορικός(χ) είναι_προγραμματιστής(χ). X είναι_πληροφορικός(χ) είναι_προγραμματιστής(χ). 11

12 Αλφάβητο Κατηγορηματικής Λογικής (1/5) Σταθερές, π.χ. a, b, c, a_1, a_2, κ.λ.π. Τα ονόματα των σταθερών ξεκινούν με πεζά γράμματα ή αριθμούς. Μεταβλητές, π.χ. Χ, Υ, Χ 1, Χ 2, Man κ.λ.π. Οι μεταβλητές αναπαριστώνται από κεφαλαία σύμβολα του λατινικού αλφάβητου, ή τουλάχιστον τα ονόματα τους ξεκινούν με κεφαλαίο γράμμα. Συναρτησιακό σύμβολο, π.χ. f, g, father-of κ.λ.π. Σε κάθε σύμβολο συνάρτησης αντιστοιχεί ένας αριθμός που ονομάζεται τάξη (arity). Η τάξη ισούται με το πλήθος των ορισμάτων (arguments) ή αλλιώς, παραμέτρων (parameters), της συνάρτησης. 12

13 Αλφάβητο Κατηγορηματικής Λογικής (2/5) Σύμβολα κατηγορημάτων, π.χ. p, q, color, κ.λ.π. Κάθε σύμβολο κατηγορήματος έχει μια συγκεκριμένη τάξη. Συνδετικά: Τα συνδετικά της κατηγορηματικής λογικής είναι όμοια με εκείνα της προτασιακής λογικής και με την ίδια σημασιολογία. " " σύζευξη (λογικό "ΚΑΙ"), " " διάζευξη (λογικό "Η"), " " άρνηση, " " συνεπαγωγή ("ΕΑΝ ΤΟΤΕ"), " " ισοδυναμία ("ΑΝ ΚΑΙ ΜΟΝΟ ΑΝ"). 13

14 Αλφάβητο Κατηγορηματικής Λογικής (3/5) Δύο ποσοδείκτες. Υπαρξιακός ποσοδείκτης " " (existential quantifier). Καθολικός ποσοδείκτης " " (universal quantifier). Τρία σύμβολα στίξης: "(", ")" και ",". Δύο σύμβολα αλήθειας T (αληθές) και F (ψευδές). 14

15 Αλφάβητο Κατηγορηματικής Λογικής (4/5) Ένας όρος (term) της κατηγορηματικής λογικής είναι: μια σταθερά (π.χ. νίκος). μια μεταβλητή (π.χ. Χ). ένας συναρτησιακός όρος (functional term) F(t 1,t 2,...,t n ): F είναι συναρτησιακό σύμβολο τάξης n και τα ορίσματα t 1, t 2,...,t n είναι όροι. πατέραςτου(νίκου), πατέραςτου(πατέραςτου(νίκου)) Ένας ατομικός τύπος (atomic formula) έχει τη μορφή p(a 1,a 2,...,a n ) p είναι σύμβολο κατηγορήματος (ή κατηγόρημα) τάξης n και τα a 1,a 2,...,a n ορίσματα (arguments). Κάθε όρισμα είναι όρος. 15

16 Αλφάβητο Κατηγορηματικής Λογικής (5/5) Η σύνδεση προτάσεων για τη δημιουργία ορθά δομημένων τύπων γίνεται με τη χρήση συνδετικών. Επιπρόσθετα στην κατηγορηματική λογική οι ορθά δομημένοι τύποι περιέχουν και ποσοδείκτες. Π.χ. ένας ορθά δομημένος τύπος: Χ φάλαινα(χ) θηλαστικό(χ) Για την επεξήγηση του τύπου και την απόδοση λογικής τιμής απαιτείται να ορίσουμε την σημασιολογία της κατηγορηματικής λογικής. 16

17 Σημασιολογία Κατηγορηματικής Λογικής (1/2) Μια ερμηνεία αντιστοιχεί τους όρους και ατομικούς τύπους της λογικής στα αντικείμενα και σχέσεις του κόσμου που αναπαριστάται. Η απεικόνιση όρων σε αντικείμενα ονομάζεται ανάθεση όρων (term assignment). Οι σταθερές αντιστοιχούνται στα αντικείμενα του κόσμου. Π.χ. η σταθερά τζίμης αντιστοιχεί στο αντικείμενο "τζίμης" του κόσμου. 17

18 Σημασιολογία Κατηγορηματικής Λογικής (2/2) Οι συναρτησιακοί όροι αναφέρονται σε αντικείμενα, στα οποία δεν δίνουμε ένα συγκεκριμένο όνομα αλλά χρησιμοποιούμε μια περίφραση για να αναφερθούμε σ' αυτά. Π.χ. για να αναφερθούμε στο κεφάλι του αντικειμένου "τζίμης", αντί να αντιστοιχίσουμε μια σταθερά (όνομα) χρησιμοποιούμε ένα συναρτησιακό όρο της μορφής κεφάλι(τζίμης). Ένας ατομικός τύπος απεικονίζει μια σχέση ανάμεσα στα αντικείμενα στα οποία αναφέρονται τα ορίσματα του, και μπορεί να είναι αληθής όταν η σχέση ισχύει ή ψευδής. Π.χ. η πρόταση ότι "ο Νίκος είναι ο πατέρας της Άννας" αναπαριστάται ως πατέρας(νίκος, άννα). 18

19 Μεταβλητές και Ποσοδείκτες (1/2) Στην κατηγορηματική λογική πρώτης τάξης (first order predicate logic) oι μεταβλητές αναφέρονται μόνο σε αντικείμενα και όχι σε συναρτησιακά σύμβολα ή κατηγορήματα. Οι μεταβλητές θεωρούνται όροι, όπως οι σταθερές και οι συναρτησιακοί όροι. Η σωστή ερμηνεία των μεταβλητών επιβάλλει την ποσοτικοποίηση τους από έναν από τους ποσοδείκτες. άνθρωπος(x) θνητός(x). άνθρωπος(χ) μαθηματικός(χ). 19

20 Μεταβλητές και Ποσοδείκτες (2/2) Τι ακριβώς αναπαριστούν οι τύποι; άνθρωπος(x) θνητός(x). όλοι οι άνθρωποι είναι θνητοί? για κάποιο αντικείμενο Χ του πεδίου ισχύει η εν λόγω ισοδυναμία? άνθρωπος(χ) μαθηματικός(χ). όλα τα αντικείμενα Χ του πεδίου είναι άνθρωποι και μαθηματικοί? κάποιος άνθρωπος είναι μαθηματικός? H αποσαφήνιση της σημασίας των παραπάνω εκφράσεων απαιτεί την εισαγωγή κατάλληλων ποσοδεικτών. 20

21 Υπαρξιακός Ποσοδείκτης (1/2) " " (existential quantifier). Ο τύπος ( Χ)(φ(X)) προφέρεται "υπάρχει Χ, τέτοιο ώστε ο τύπος φ(x) να αληθής". Σημαίνει ότι υπάρχει τουλάχιστον ένα στοιχείο στο πεδίο τέτοιο, ώστε όταν το Χ αναφέρεται σ' αυτό, ο τύπος φ(χ) καθίσταται αληθής. ( Χ)(άνθρωπος(Χ) μαθηματικός(χ)). "κάποιος άνθρωπος είναι μαθηματικός. 21

22 Υπαρξιακός Ποσοδείκτης (2/2) ( Χ)(άνθρωπος(Χ) μαθηματικός(χ)). Για να αληθεύει η παραπάνω πρόταση θα πρέπει να υπάρχει οπωσδήποτε τουλάχιστον ένας άνθρωπος και να είναι και μαθηματικός. Η πρόταση είναι ψευδής όταν: Δεν υπάρχει κανείς άνθρωπος, ή Δεν υπάρχει κανείς μαθηματικός, ή Και τα δύο. Ο υπαρξιακός ποσοδείκτης είναι «σφιχτός» στην αλήθεια και «χαλαρός» στο ψεύδος. 22

23 Καθολικός Ποσοδείκτης " " (universal quantifier). Ο τύπος ( Χ)(φ(X)) προφέρεται "για κάθε Χ, o φ(x) είναι αληθής". Σημαίνει ότι καθένα από τα στοιχεία του πεδίου τον καθιστά αληθή, όταν το Χ αναφέρεται σ' αυτά τα στοιχεία. Ο τύπος ( Χ)(φ(X)) είναι αληθής, αν και μόνο αν κάθε στοιχείο του πεδίου τον καθιστά αληθή. ( Χ)(άνθρωπος(X) θνητός(x)). "όλοι οι άνθρωποι είναι θνητοί". 23

24 Καθολικός Ποσοδείκτης ( Χ)(άνθρωπος(X) θνητός(x)). Η παραπάνω πρόταση είναι αληθής όταν: Για κάθε άνθρωπο που υπάρχει, αυτός είναι και θνητός (T T). Για οποιοδήποτε άλλο Χ που δεν είναι άνθρωπος, χωρίς να ενδιαφέρει αν είναι θνητός ή όχι (F T, F F). Όταν δεν υπάρχει κανείς άνθρωπος, η πρόταση είναι αληθής. Η πρόταση είναι ψευδής όταν υπάρχει ( ) έστω και ένας άνθρωπος που δεν είναι θνητός (T F). Ο καθολικός ποσοδείκτης είναι «χαλαρός» στην αλήθεια και «σφιχτός» στο ψεύδος. 24

25 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (1/5) Κατηγορήματα father(x,y), mother(x,y), husband(x,y), brother(x,y), sister(x,y). Διατυπώστε σε κατηγορηματική λογική τις ακόλουθες προτάσεις. Ο Κώστας και η Μαίρη είναι ανδρόγυνο. husband(kostas,mary). 25

26 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (2/5) Όλοι έχουν μητέρα. ΣΩΣΤΟ: X Y mother(y, X). ΛΑΘΟΣ: X Y mother(y, X). Σημαίνει: όλοι έχουν όλες τις μητέρες. Παραλλαγή: Όλοι οι άνθρωποι έχουν μητέρα. ΣΩΣΤΟ: X human(x) Y mother(y, X). ΛΑΘΟΣ: X Y human(x) mother(y, X). Σημαίνει: όλοι οι άνθρωποι έχουν όλες τις μητέρες. 26

27 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (3/5) Όλοι έχουν μητέρα και πατέρα. ΣΩΣΤΟ: ΛΑΘΟΣ: X Y Z mother(y, X) father(z, X). X Y mother(y, X) father(y, X). Σημαίνει: όλοι έχουν μητέρα και πατέρα το ίδιο άτομο! Όποιος έχει μητέρα, έχει και πατέρα. X Y mother(y, X) Z father(z, X). 27

28 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (4/5) Ο Κώστας είναι παππούς. Z Y father(kostas,z) (father(z,y) mother(z,y)). X Y ( Z father(x,z) (father(z,y) mother(z,y)) grandfather(x,y). Ή Y grandfather(kostas,y). 28

29 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (5/5) Όλοι οι πατεράδες είναι γονείς. X Y father(x,υ) (father(x,υ) mother(x,y)). ή X Y father(x,υ) parent(x,y), X Y mother(x,υ) parent(x,y). ή X Y (father(x,υ) mother(x,υ)) parent(x,y). 29

30 Αντικατάσταση Οι έννοιες της αντικατάστασης και της ενοποίησης είναι σημαντικές για την εφαρμογή των κανόνων συμπερασμού της κατηγορηματικής λογικής και την εξαγωγή νέας γνώσης. Η αντικατάσταση (substitution) αφορά την αντικατάσταση των μεταβλητών που εμφανίζονται σε ένα τύπο από κάποιους όρους. Μια αντικατάσταση παριστάνεται με {Χ i /t i } όπου Χ i η μεταβλητή που θα αντικατασταθεί και t i ο όρος. Π.χ. η αντικατάσταση {Χ/φάλαινα} στον τύπο: είναι(x, θηλαστικό). θα δώσει τον τύπο: είναι(φάλαινα, θηλαστικό). 30

31 Ενοποίηση Ενοποίηση (unification) είναι η διαδικασία κατά την οποία δύο εκφράσεις γίνονται συντακτικά όμοιες με την χρήση αντικαταστάσεων. Π.χ. οι ακόλουθες προτάσεις: είναι(λιοντάρι, θηλαστικό, X). είναι(λιοντάρι, Y, σαρκοβόρο). ενοποιούνται με την αντικατάσταση θ={x/σαρκοβόρο, Y/θηλαστικό}. 31

32 Ενοποιητής Για δύο εκφράσεις φ 1 και φ 2, o ενοποιητής (unifier) τους, είναι μια αντικατάσταση θ τέτοια ώστε η έκφραση φ 1 θ να είναι συντακτικά όμοια με την φ 2 θ. Αν υπάρχει μια τέτοια αντικατάσταση οι εκφράσεις φ 1 και φ 2 ονομάζονται ενοποιήσιμες (unifiable). Υπάρχουν πολλοί δυνατοί ενοποιητές ανάμεσα σε δύο ή περισσότερες εκφράσεις. Ο γενικότερος ενοποιητής (mgu - most general unifier) ενοποιεί τις εκφράσεις με τις λιγότερες δυνατές αντικαταστάσεις. 32

33 Αλγόριθμος Ενοποίησης (1/2) Η εύρεση του γενικότερου ενοποιητή ανάμεσα σε δύο εκφράσεις βρίσκεται με τον αναδρομικό αλγόριθμο: Δύο σταθερές ενοποιούνται αν και μόνο αν είναι ίδιες. Μια μεταβλητή ενοποιείται με οποιονδήποτε όρο. Εισάγεται μια νέα αντικατάσταση στον γενικότερο ενοποιητή. Δύο συναρτησιακοί όροι ενοποιούνται αν έχουν το ίδιο συναρτησιακό σύμβολο, έχουν την ίδια τάξη (αριθμό ορισμάτων), και κάθε όρισμα του πρώτου μπορεί να ενοποιηθεί με το αντίστοιχο σε θέση όρισμα του δεύτερου όρου. 33

34 Αλγόριθμος Ενοποίησης (2/2) Δυο ατομικοί τύποι ενοποιούνται αν έχουν το ίδιο κατηγόρημα, έχουν την ίδια τάξη (αριθμό ορισμάτων), και κάθε όρισμα του πρώτου μπορεί να ενοποιηθεί με το αντίστοιχο σε θέση όρισμα του δεύτερου ατομικού τύπου. 34

35 Αλγόριθμος Ενοποίησης Ιδιότητες (1/2) Ο αλγόριθμος ενοποίησης είναι αποδοτικός. Χρησιμοποιείται σε σχεδόν όλα τα συστήματα λογικού προγραμματισμού που βασίζονται στην κατηγορηματική λογική πρώτης τάξης (πχ. Prolog). 35

36 Αλγόριθμος Ενοποίησης Ιδιότητες (2/2) Ο αλγόριθμος ενοποίησης δεν είναι ορθός. Η μη ορθότητα του αλγορίθμου έγκειται στις περιπτώσεις όπου η προς ενοποίηση μεταβλητή εμφανίζεται στον όρο με τον οποίο θα ενοποιηθεί. Π.χ. η ενοποίηση Χ=επάγγελμα(Χ) δίνει Χ=επάγγελμα(επάγγελμα(επάγγελμα(...))) Το πρόβλημα αυτό αναφέρεται σαν έλεγχος εμφάνισης (occurs check) και η αποφυγή του απαιτεί τη χρήση ενός αλγορίθμου με μεγάλο υπολογιστικό κόστος. 36

37 Ασκήσεις Ενοποίησης (1/2) Χρησιμοποιώντας τον αλγόριθμο ενοποίησης, βρείτε το γενικότερο ενοποιητή των παρακάτω λογικών τύπων: πατέρας(νίκος,χ) πατέρας(υ,θανάσης) {Υ/νίκος,Χ/θανάσης} επάγγελμα(χ,μισθός(υψηλός), ωράριο(12)) μηχανή(μέρος(έμβολο), λειτουργεί) υπάλληλος(κώστας, διευθυντής(κώστας)) επάγγελμα(νίκος,υ,ζ) μηχανή(x,βλάβη) {X/νίκος, Y/μισθός(υψηλός), Z/ωράριο(12)} Δεν ενοποιείται υπάλληλος(κώστας,νίκος) Δεν ενοποιείται 37

38 Ασκήσεις Ενοποίησης (2/2) υπάλληλος(κώστας, διευθυντής(κώστας)) υπάλληλος(κώστας,υ) υπάλληλος(χ, διευθυντής(χ)) υπάλληλος(χ, διευθυντής(χ)) {Χ/κώστας} {Χ/κώστας, Υ/διευθυντής(κώστας))} υπάλληλος(κώστας, διευθυντής(νίκος)) υπάλληλος(χ, διευθυντής(χ)) Δεν ενοποιείται 38

39 Ισοδυναμίες Από την Προτασιακή Λογική Ισοδυναμία Ονομασία (1) p p νόμος της διπλής άρνησης (2) ( p q) (p q) νόμος De Morgan (3) ( p q) (p q) νόμος De Morgan (4) (p q) r (p r) (q r) επιμερισμός ως προς την σύζευξη (5) (p q) r (p r) (q r) επιμερισμός ως προς την διάζευξη (6) (p q) p q (7) (p q) (p q) (q p) 39

40 Ισοδυναμίες - Για Ποσοδείκτες (8) X(p(X)) X( p(x)) (9) X(p(X)) X( p(x)) (10) X(p(X)) q X(p(X) q) (11) X(p(X)) q X(p(X) q) (12) X(p(X)) q X(p(X) q) (13) X(p(X)) q X(p(X) q) όπου το q δεν περιέχει ελεύθερες εμφανίσεις της μεταβλητής Χ. (14) X(p(X)) Υ(p(Υ)) μετονομασία (15) X(p(X)) Υ(p(Υ)) μεταβλητών (16) X(p(Χ)) X(q(Χ)) X(p(Χ) q(χ)) (17) X(p(Χ)) X(q(Χ)) X(p(Χ) q(χ)) 40

41 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (1/6) Κανένας θείος δεν είναι θεία! X Y ( Z (brother(x,z) (father(z,υ) mother(z,y))) uncle(x,y) X Y ( Z (sister(x,z) (father(z,υ) mother(z,y))) aunt(x,y) ( X Y Z (uncle(x,y) aunt(x,z))) X Y Z (uncle(x,y) aunt(x,z)) X Y Z ( uncle(x,y) aunt(x,z)) 41

42 Διατύπωση Προτάσεων στην X Y Z ( ( W (brother(x,w) (father(w,υ) mother(w,y))) ( Q (sister(x,q) (father(q,z) mother(q,z)))) X Y Z ( ( W (brother(x,w) (father(w,υ) mother(w,y))) ( Q (sister(x,q) (father(q,z) mother(q,z)))) Κατηγορηματική Λογική (2/6) X Y Z ( ( W ( brother(x,w) (father(w,υ) mother(w,y))) ( Q ( sister(x,q) (father(q,z) mother(q,z)))) 42

43 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (3/6) X Y Z ( ( W ( brother(x,w) ( father(w,υ) mother(w,y))) ( Q ( sister(x,q) ( father(q,z) mother(q,z)))) X Y Z ( ( W ( brother(x,w) father(w,υ)) ( brother(x,w) mother(w,y))) ( Q ( sister(x,q) father(q,z)) ( sister(x,q) mother(q,z)))) 43

44 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (4/6) X Y Z W Q ( brother(x,w) father(w,υ) sister(x,q) father(q,z)) ( brother(x,w) father(w,υ) sister(x,q) mother(q,z)) ( brother(x,w) mother(w,y) sister(x,q) father(q,z)) ( brother(x,w) mother(w,y) sister(x,q) mother(q,z))) X Y Z W Q (brother(x,w) father(w,υ) sister(x,q) father(q,z)) (brother(x,w) father(w,υ) sister(x,q) mother(q,z)) (brother(x,w) mother(w,y) sister(x,q) father(q,z)) (brother(x,w) mother(w,y) sister(x,q) mother(q,z))) 44

45 Διατύπωση Προτάσεων στην Ο Γιάννης και η Σοφία είναι κουνιάδοι. X Y ( Z W (brother(z,x) husband(z,w) sister(w,y)) siblings-in-law(x,y) siblings-in-law(john,sophia) siblings-in-law(sophia,john) Κατηγορηματική Λογική (5/6) ( Z W (brother(z,john) husband(z,w) sister(w,sophia)) ( Z W (brother(z,sophia) husband(z,w) sister(w,john)) 45

46 Διατύπωση Προτάσεων στην Κατηγορηματική Λογική (6/6) ( Z W (brother(z,john) husband(z,w) sister(w,sophia)) ( F G (brother(f,sophia) husband(f,g) sister(g,john)) Z W F G (brother(z,john) husband(z,w) sister(w,sophia)) (brother(f,sophia) husband(f,g) sister(g,john)) 46

47 Ισοδύναμοι Τύποι Το πλούσιο αλφάβητο της κατηγορηματικής λογικής επιτρέπει την ύπαρξη τύπων που αν και φαινομενικά διαφορετικοί, είναι στην ουσία λογικά ισοδύναμοι. (( X)(p(X) q(x))) ( X)(p(X) q(x)) Η δυνατότητα αναγωγής ενός τύπου σε μια περιορισμένη κανονική μορφή θα ήταν χρήσιμη για συγκρίσεις τέτοιων εκφράσεων, αλλά και στις αποδεικτικές διαδικασίες. 47

48 Προσημασμένη Συζευκτική Κανονική Μορφή (1/3) Προσημασμένη συζευκτική κανονική μορφή (prenex conjunctive normal form), η μορφή της οποίας είναι X Y ( p(x) q(x) (p(x) p(x) q(x, Y))... (r(x,y) s(x)) ). Τα βασικά δομικά στοιχεία της μορφής αυτής είναι τα λεκτικά στοιχεία (literals) (π.χ. p(x), q(x)), τα οποία με τη σειρά τους συγκροτούν τις προτάσεις (clauses) (π.χ. r(x,y) s(x)). 48

49 Προσημασμένη Συζευκτική Κανονική Μορφή (2/3) Ένα λεκτικό στοιχείο είναι ένας ατομικός τύπος ή η άρνηση ενός ατομικού τύπου. Π.χ. r(x,y), q(x) Μια πρόταση είναι μια πεπερασμένη διάζευξη (disjunction) κανενός ή περισσοτέρων λεκτικών στοιχείων. Π.χ. η έκφραση p(x) p(x) q(x, Y) είναι μια πρόταση, αφού είναι διάζευξη τριών λεκτικών στοιχείων. Π.χ. η έκφραση q(x) είναι μια πρόταση, ακόμα και αν δεν αποτελείται από διαζεύξεις λεκτικών. 49

50 Προσημασμένη Συζευκτική Κανονική Μορφή (3/3) Η διάζευξη μηδέν στο πλήθος λεκτικών στοιχείων ονομάζεται κενή πρόταση (empty clause) και αναπαρίσταται με το σύμβολο. Ένας τύπος (formula) στην μορφή αυτή αποτελείται από μια σύζευξη προτάσεων, η οποία είναι προσημασμένη από υπαρξιακούς και καθολικούς ποσοδείκτες στις μεταβλητές που εμφανίζονται στις προτάσεις. X ( έχει(x,τρίχωμα) παράγει(x, γάλα) είναι(x, θηλαστικό)). X ( ( έχει(x, φτερά) είναι(x, πουλί)) ( γεννάει(x, αυγά)) είναι(x, πουλί)) ). 50

51 Διαδικασία Αναγωγής σε Κανονική Μορφή (1/3) Απαλοιφή των συνδετικών της ισοδυναμίας και συνεπαγωγής. (6) (p q) p q (7) (p q) (p q) (q p) Μετονομασία των μεταβλητών έτσι ώστε δύο μεταβλητές που ποσοτικοποιούνται από διαφορετικούς ποσοδείκτες να μην έχουν το ίδιο όνομα. (14) X(p(X)) Υ(p(Υ)) (15) X(p(X)) Υ(p(Υ)) 51

52 Διαδικασία Αναγωγής σε Κανονική Μορφή (2/3) Μετατροπή των τύπων έτσι ώστε το συνδετικό της άρνησης να εφαρμόζεται μόνο σε ατομικούς τύπους. (1) p p (2) ( p q) (p q) (3) ( p q) (p q) (8) X(p(X)) X( p(x)) (9) X(p(X)) X( p(x)) 52

53 Διαδικασία Αναγωγής σε Κανονική Μορφή (3/3) Μεταφορά των ποσοδεικτών με αναδρομική εφαρμογή των ισοδυναμιών (10)-(13). (10) X(p(X)) q X(p(X) q). (11) X(p(X)) q X(p(X) q). (12) X(p(X)) q X(p(X) q). (13) X(p(X)) q X(p(X) q). Εφαρμογή των ισοδυναμιών επιμερισμού έτσι ώστε ο τελικός τύπος να αποτελείται από συζεύξεις προτάσεων. (4) (p q) r (p r) (q r). (5) (p q) r (p r) (q r). 53

54 Παράδειγμα Αναγωγής σε Κανονική Μορφή (1/3) X (βλάβη(x) Υ(σύμπτωμα(Χ,Υ))) ( Υ(βλαβη(Υ) μηχάνημα(λειτουργεί)). Απαλοιφή του συνδετικού της ισοδυναμίας που εμφανίζεται στην πρώτη σύζευξη (ισοδυναμία (6)): X ( βλάβη(x) Υ(σύμπτωμα(Χ,Υ))) ( Υ(βλαβη(Υ) μηχάνημα(λειτουργεί)). 54

55 Παράδειγμα Αναγωγής σε Κανονική Μορφή (2/3) Επειδή η μεταβλητή Υ εμφανίζεται ποσοτικοποιημένη από δύο διαφορετικούς ποσοδείκτες, η δεύτερη της εμφάνιση μετονομάζεται σε Ζ. X ( βλάβη(x) Υ(σύμπτωμα(Χ,Υ))) ( Ζ(βλάβη(Ζ) μηχάνημα(λειτουργεί)). Εφαρμογή ισοδυναμιών DeMorgan και (9) έτσι ώστε να εφαρμόζεται η άρνηση μόνο σε ατομικούς τύπους: X ( βλάβη(x) Υ(σύμπτωμα(Χ,Υ)) ) Ζ( βλάβη(ζ) μηχάνημα(λειτουργεί) ). 55

56 Παράδειγμα Αναγωγής σε Κανονική Μορφή (3/3) Εφαρμογή των ισοδυναμιών (10) και (12) για την κατάλληλη ομαδοποίηση των λεκτικών. X Υ Ζ (( βλάβη(x) σύμπτωμα(χ,υ)) ( βλάβη(ζ) μηχάνημα(λειτουργεί))). Δεν απαιτείται περαιτέρω εφαρμογή ισοδυναμιών καθώς ο παραπάνω τύπος είναι μια σύζευξη προτάσεων (διαζεύξεων). 56

57 Κανονική Μορφή κατά Skolem (1/3) Είναι δυνατό να υπάρξει κάποια κανονική μορφή στην οποία να εξαλείφονται πλήρως οι ποσοδείκτες; Κανονική μορφή κατά Skolem, στην οποία οι υπαρξιακά ποσοτικοποιημένες εμφανίσεις μεταβλητών αντικαθίστανται από σταθερές ή συναρτήσεις καθολικά ποσοτικοποιημένων μεταβλητών. Π.χ. Χ human(χ) professor(x) Μορφή Skolem: human(sk X ) professor(sk X ) sk X είναι μια σταθερά Skolem. Ο δείκτης Χ υπενθυμίζει το όνομα της μεταβλητής από όπου προήλθε η σταθερά και δεν έχει κανένα ουσιαστικό νόημα. 57

58 Κανονική Μορφή κατά Skolem (2/3) Το όνομα της σταθεράς μπορεί να είναι αυθαίρετο. human(a) professor(a) Αρκεί να είναι μοναδικό στην περίπτωση που υπάρχουν πολλές μεταβλητές υπαρξιακά ποσοτικοποιημένες στο ίδιο σύνολο προτάσεων. Π.χ. αν υπάρχει και ο τύπος Y human(y) student(y) Πρέπει η Y να αντικατασταθεί από άλλη σταθερά. human(b) student(b) ή καλύτερα human(sk Y ) student(sk Y ). 58

59 Κανονική Μορφή κατά Skolem (3/3) Όταν μια υπαρξιακά ποσοτικοποιημένη μεταβλητή εξαρτάται από μια καθολικά ποσοτικοποιημένη μεταβλητή (ή καλύτερα βρίσκεται μέσα στο εύρος επιρροής της scope), τότε η αντικατάσταση γίνεται με συνάρτηση Skolem και όχι σταθερά. Π.χ. Όλοι έχουν μητέρα X Y mother(y, X). ΛΑΘΟΣ: X mother(sk Y, X). Όλοι οι Χ έχουν την ίδια σταθερά sk Y ως μητέρα! ΣΩΣΤΟ: X mother(sk_fun Y (X), X). Κάθε Χ έχει διαφορετική μητέρα sk_fun Y (X). Η τιμή της εξαρτάται από το Χ είναι συνάρτηση του Χ. 59

60 Αλγόριθμος Μετατροπής σε Κανονική Μορφή Skolem (1/2) Έστω X i η πρώτη από αριστερά υπαρξιακά ποσοτικοποιημένη μεταβλητή στον τύπο. Χ 1... Χ i-1 είναι οι καθολικά ποσοτικοποιημένες μεταβλητές του τύπου, μέσα στην εμβέλεια των οποίων βρίσκεται το X i Βρίσκονται στα "αριστερά του X i Αν δεν υπάρχουν καθολικά ποσοτικοποιημένες μεταβλητές στα αριστερά της X i, τότε: κάθε εμφάνιση της X i στο τύπο αντικαθίσταται από μια νέα σταθερά Skolem sk Xi 60

61 Αλγόριθμος Μετατροπής σε Κανονική Μορφή Skolem (2/2) Αν υπάρχουν καθολικά ποσοτικοποιημένες μεταβλητές στα αριστερά της X i, τότε κάθε εμφάνιση της X i στον τύπο αντικαθίσταται από μια νέα συνάρτηση Skolem sk_func Xi (Χ 1,...,Χ i-1 ) στις μεταβλητές Χ 1... Χ i-1 Διάγραψε τον υπαρξιακό ποσοδείκτη X i από τον τύπο. Αν υπάρχουν άλλοι υπαρξιακοί ποσοδείκτες στον τύπο, τότε πήγαινε στο βήμα 1. Διάγραψε όλους τους καθολικούς ποσοδείκτες. 61

62 Παράδειγμα Κανονικής Μορφής Skolem X Υ Ζ (( βλάβη(x) σύμπτωμα(χ,υ)) ( βλάβη(ζ) μηχάνημα(λειτουργεί))) Στον τύπο υπάρχει μόνο ένας υπαρξιακός ποσοδείκτης ( Υ) μέσα στην εμβέλεια του καθολικού ποσοδείκτη X. Ο ποσοδείκτης αντικαθίσταται από την συνάρτηση Skolem sk_function Y (X): X Ζ( ( βλάβη(x) σύμπτωμα(χ, sk_func Y (X)) ) ( βλάβη(ζ) μηχάνημα(λειτουργεί))) Η συνάρτηση Skolem δεν εξαρτάται από την μεταβλητή Z αλλά μόνο από την Χ. Εφόσον δεν υπάρχουν άλλοι υπαρξιακοί ποσοδείκτες, διαγράφονται όλοι οι καθολικοί ποσοδείκτες από τον παραπάνω τύπο: ( βλάβη(x) σύμπτωμα(χ, sk_func Y (X)) ) ( βλάβη(ζ) μηχάνημα(λειτουργεί)) 62

63 Προτασιακή Μορφή της Κατηγορηματικής Λογικής (1/2) Ο τελευταίος μετασχηματισμός αφορά την μετατροπή ενός τύπου κανονικής μορφής σε ένα σύνολο προτάσεων, Προτασιακή μορφή της λογικής (clausal form). Ο μετασχηματισμός βασίζεται στον κανόνα της απαλοιφής σύζευξης: p q Ένας τύπος της μορφής p q r s μετατρέπεται p στο σύνολο των τύπων {p, q, r, s}. p q q Αν οι παραπάνω κανόνες εφαρμοστούν σε ένα τύπο που είναι εκφρασμένος στην κανονική μορφή κατά Skolem, τότε το σύνολο των τύπων που προκύπτει αποτελείται από προτάσεις (διαζεύξεις λεκτικών στοιχείων ή αρνήσεις αυτών). 63

64 Προτασιακή Μορφή της Κατηγορηματικής Λογικής (2/2) Για παράδειγμα ο τύπος ( βλάβη(x) σύμπτωμα(χ, sk_func Y (X)) ) ( βλάβη(ζ) μηχάνημα(λειτουργεί)) μετατρέπεται στις προτάσεις: βλάβη(x) σύμπτωμα(χ, sk_func Y (X)) βλάβη(ζ) μηχάνημα(λειτουργεί) 64

65 Μηχανισμός Εξαγωγής Συμπερασμάτων Ο βασικός μηχανισμός εξαγωγής συμπερασμάτων στην κατηγορηματική λογική είναι η απόδειξη. Υπάρχουν πολλοί κανόνες συμπερασμού που μπορούν να χρησιμοποιηθούν σε μια αποδεικτική διαδικασία. Αυτοί που ισχύουν στην προτασιακή λογική, π.χ. "τρόπος του θέτειν" (modus ponens), η εισαγωγή συζεύξεων, η εισαγωγή διαζεύξεων κλπ. Επιπλέον υπάρχουν δύο κανόνες που αφορούν προτάσεις που περιέχουν ποσοτικοποιημένες μεταβλητές. Όλοι οι κανόνες βασίζονται στην έννοια της αντικατάστασης μεταβλητών. 65

66 Κανόνες Συμπερασμού της Κατηγορηματικής Λογικής Κανόνας Συμπερασμού Ονομασία (1) p 1 p 2... p n p i απαλοιφή σύζευξης (and elimination) (2) εισαγωγή συζεύξεων (and introduction) p 1, p 2,... p n p 1 p 2... p n (3) p i p 1 p 2... p n εισαγωγή διαζεύξεων (or introduction) (4) απαλοιφή διπλής άρνησης p p (double negation elimination) (5) p, p q q τρόπος του θέτειν (modus ponens) (6) p q, q r p r αρχή της ανάλυσης (resolution) (7) (8) Xp(X) p(a) θ={x/a} p(a) Xp(X) θ={x/a} απαλοιφή καθολικού ποσοδείκτη (universal elimination) εισαγωγή υπαρξιακού ποσοδείκτη (existential introduction) 66

67 Modus Ponens και Αντικατάσταση ( Χ)(άνθρωπος(X) θνητός(x)) (1) άνθρωπος(νίκος) (2) Σύμφωνα με τον κανόνα συμπερασμού (7) και την αντικατάσταση θ={χ/νίκος} είναι δυνατό να εξαχθεί το συμπέρασμα: άνθρωπος(νίκος) θνητός(νίκος) (3) Με εφαρμογή του κανόνα "τρόπος του θέτειν" (modus ponens) στις προτάσεις (2) και (3), εξάγεται η πρόταση θνητός(νίκος) (4) 67

68 Γενικευμένος Τρόπος του Θέτειν Οι κανόνες συμπερασμού της απαλοιφής του καθολικού ποσοδείκτη και του "τρόπου του θέτειν" μπορούν να συνδυαστούν σε ένα μόνο κανόνα συμπερασμού που ονομάζεται "γενικευμένος τρόπος του θέτειν" (generalized modus ponens): p' 1, p' 2, p' n, p1 p2 q p n q θ το σύνολο των αντικαταστάσεων οι οποίες κάνουν τα p' i και p i συντακτικά όμοια, όπως προκύπτει από μια διαδικασία ενοποίησης των τύπων. 68

69 Παράδειγμα Γενικευμένου Modus Ponens Με τη χρήση του γενικευμένου τρόπου του "θέτειν" (ΓΤΘ) η εξαγωγή του συμπεράσματος γίνεται σε ένα βήμα: ( Χ)(άνθρωπος(X) θνητός(x)) άνθρωπος(νίκος) θνητός(νίκος) (με θ={χ/νίκος}) Μια αποδεικτική διαδικασία που χρησιμοποιεί ως μοναδικό κανόνα συμπερασμού τον ΓΤΘ είναι ορθή αλλά στην γενική περίπτωση δεν είναι πλήρης. Eίναι πλήρης μόνο αν η βάση γνώσης αποτελείται από προτάσεις Horn. 69

70 Η Αρχή της Ανάλυσης στην Κατηγορηματική Λογική (1/2) Η αρχή της ανάλυσης (resolution) είναι ο μοναδικός κανόνας που απαιτείται για την εξαγωγή όλων των σωστών συμπερασμάτων σε μια αποδεικτική διαδικασία που χρησιμοποιεί τη μέθοδο της "εις άτοπο απαγωγής" (refutation). Η διαδικασία απόδειξης είναι ορθή και πλήρης. Στην απλή περίπτωση περιλαμβάνει προτάσεις οι οποίες περιέχουν το πολύ δύο λεκτικά στοιχεία (literals). p q, z q' ( p z) 70

71 Η Αρχή της Ανάλυσης στην Κατηγορηματική Λογική (2/2) p q, z ( p z) q' Τα λεκτικά στοιχεία q' και q ονομάζονται συμπληρωματικά ζεύγη και δεν είναι ανάγκη να είναι "απολύτως" όμοια, αλλά να ενοποιούνται με κατάλληλες αντικαταστάσεις (ενοποιητής θ). Οι αντικαταστάσεις μεταβλητών που προκύπτουν εφαρμόζονται στο αναλυθέν (resolvent) p z. 71

72 Διαδικασία Απόδειξης Για να είναι δυνατή η εφαρμογή της αρχής της ανάλυσης οι προτάσεις πρέπει να είναι σε μορφή διαζεύξεων (προτασιακή μορφή της κατηγορηματικής λογικής). Εισαγωγή της άρνησης της προς απόδειξης πρότασης στο αρχικό σύνολο προτάσεων. Εφαρμογή του κανόνα της ανάλυσης μέχρι το σύστημα να εξαγάγει την κενή πρόταση (άτοπο). 72

73 Παράδειγμα Αντικατάσταση Εμβόλου Μηχανής βλάβη(μηχανή). σύμπτωμα(έμβολο, θόρυβος). μέρος(έμβολο, μηχανή). εξάρτημα(έμβολο, μηχανή, δεν_λειτουργεί). βλάβη(w) εξάρτημα(ζ,w,δεν_λειτουργεί) αντικατάσταση(ζ). βλάβη(x) σύμπτωμα(r, θόρυβος) μέρος(r,x) αντικατάσταση(r). Εισάγεται η άρνηση της πρότασης αντικατάσταση(έμβολο) και εφαρμόζεται διαδοχικά ο κανόνας της ανάλυσης. Για την συγκεκριμένη απόδειξη απαιτείται μόνο ένα υποσύνολο των προτάσεων. 73

74 Απόδειξη βασισμένη στην Αρχή της Ανάλυσης στην Κατηγορηματική Λογική αντικατάσταση(έμβολο) βλάβη(w) εξάρτημα(ζ,w,δεν_λειτουργεί) αντικατάσταση(ζ) θ={ζ/έμβολο} εξάρτημα(έμβολο, μηχανή, δεν_λειτουργεί) βλάβη(w) εξάρτημα(έμβολο,w,δεν_λειτουργεί) θ'={w/μηχανή} βλάβη(μηχανή) βλάβη(μηχανή) (κενή πρόταση) 74

75 Μορφή Kowalski Αποτελεί εναλλακτικό τρόπο εμφάνισης της προτασιακής (clausal) μορφής της λογικής. Όλες οι προτάσεις εκφράζονται σαν λογικές ισοδυναμίες της μορφής q 1, q 2,,q n r 1, r 2,,r m Οι ατομικοί τύποι r i είναι σε διάζευξη, ενώ οι q j σε σύζευξη. Τα r i αποτελούν τα συμπεράσματα της πρότασης, ενώ τα q j τις υποθέσεις της. Τόσο τα συμπεράσματα όσο και οι υποθέσεις δεν περιέχουν αρνήσεις ατομικών τύπων. 75

76 Διαδικασία Μετατροπής Πρότασης σε p q r s t Συγκέντρωση όλων των ατομικών τύπων σε άρνηση στο αριστερό μέρος της πρότασης. q s p r t Εφαρμογή νόμου DeMorgan p q (p q) ( q s) p r t Εφαρμογή ισοδυναμίας (p q) p q. q s p r t Αντικατάσταση συμβόλων σύζευξης/διάζευξης με κόμμα "," q, s p, r, t Μορφή Kowalski 76

77 Παράδειγμα Μορφής Kowalski βλάβη(x) σύμπτωμα(χ, θόρυβος) ένταση(θόρυβος, μεγάλη). βλάβη(w) εξάρτημα(ζ,w,δεν_λειτουργεί) αντικατάσταση(ζ). Μορφή Kowalski: βλάβη(x) σύμπτωμα(χ, θόρυβος), ένταση(θόρυβος, μεγάλη). βλάβη(w), εξάρτημα(ζ,w,δεν_λειτουργεί) αντικατάσταση(ζ). Το πλεονέκτημα της μορφής Kowalski είναι ότι οι προτάσεις εκφράζονται σε μια περισσότερο αναγνώσιμη μορφή. 77

78 Περιπτώσεις Προτάσεων Kowalski Κανόνας q 1, q 2,,q n r 1, r 2,,r m q 1 q 2 q n r 1 r 2 r m Αν m > 0 και n > 0, τότε η πρόταση ερμηνεύεται σαν ισχύει r 1 ή r 2 ή r m εάν q 1 και q 2 και q n Μια ειδική περίπτωση προτάσεων με μεγάλη πρακτική σημασία (π.χ. στο λογικό προγραμματισμό - Prolog), είναι οι προτάσεις Horn (Horn clauses). Επιτρέπεται μόνο ένας ατομικός τύπος στο συμπέρασμα, είναι δηλαδή της μορφής: q 1, q 2,,q n r Κανόνας 78

79 Προτάσεις Horn vs. Γενικές Προτάσεις Kowalski (1/2) Γιατί οι προτάσεις Horn έχουν μεγάλη πρακτική σημασία, και όχι η γενική μορφή προτάσεων Kowalski? Γιατί για τις προτάσεις Horn ο modus ponens είναι ορθός και πλήρης. haschild(x,y) father(x,y), mother(x,y) haschild(nick,anna) Τι συμπέρασμα βγαίνει? father(nick,anna) mother(nick,anna) Υπάρχει αμφιβολία για το αν είναι πατέρας ή μητέρα ο nick. 79

80 Προτάσεις Horn vs. Γενικές Προτάσεις Kowalski (2/2) haschild(x,y) parent(x,y) haschild(nick,anna) Τι συμπέρασμα βγαίνει? parent(nick,anna) Είναι ένα και μοναδικό συμπέρασμα που εξάγεται αναμφίβολα. Ακόμα υπάρχει αμφιβολία για το αν ο nick είναι πατέρας ή μητέρα, αλλά εδώ ενδιέφερε μόνο το συμπέρασμα parent. 80

81 Περιπτώσεις Προτάσεων Kowalski Γεγονότα q 1, q 2,,q n r 1, r 2,,r m Αν n=0, τότε αναπαριστάται μια πρόταση χωρίς υπόθεση, δηλαδή κάποιο από τα r i ισχύει. r 1, r 2,,r m Γεγονότα r 1 r 2 r m Ισχύει η ίδια παρατήρηση με τις προτάσεις Horn r 1 Αν m>1 τότε υπάρχει αμφιβολία για το ποιο ακριβώς r i ισχύει. Για m=1 έχουμε «γεγονότα Horn» (μη-δόκιμος όρος) Γεγονός 81

82 Περιπτώσεις Προτάσεων Kowalski Κενή Πρόταση q 1, q 2,,q n r 1, r 2,,r m Αν m=0 και n=0, τότε αναπαριστάται μια πρόταση χωρίς συμπέρασμα και υποθέσεις που δηλώνει πρόταση πάντα αναληθή και συμβολίζεται με την κενή πρόταση. 82

83 Περιπτώσεις Προτάσεων Kowalski Στόχος, Ερώτηση (1/2) q 1, q 2,,q n r 1, r 2,,r m Αν m=0, τότε οι υποθέσεις καταλήγουν σε αναληθή συμπέρασμα, που ουσιαστικά ισοδυναμεί με άρνηση της σύζευξης, δηλαδή ερμηνεύεται σαν "Δεν ισχύει q 1 και q 2 και q n ": q 1, q 2,,q n (q 1 q 2 q n ) Γιατί ονομάζεται έτσι? Στόχος, Ερώτηση 83

84 Περιπτώσεις Προτάσεων Kowalski Στόχος, Ερώτηση (2/2) haschild(x,y) parent(x,y) haschild(nick,anna) parent(nick,anna) Τι συμπέρασμα βγαίνει? Οι προτάσεις γίνονται σε προτασιακή μορφή: haschild(x,y) parent(x,y) haschild(nick,anna) parent(nick,anna) Με εφαρμογή της αρχής της ανάλυσης παίρνουμε την κενή πρόταση (άτοπο) Άρα η προσπάθεια απόδειξης του parent(nick,anna) οδήγησε σε άτοπο, άρα ισχύει το parent(nick,anna). 84

85 Αρχή της Ανάλυσης και Μορφή Kowalski Μια εναλλακτική διατύπωση του κανόνα της ανάλυσης αφορά την μορφή Kowalski. θ ο ενοποιητής των q και q'. ( p 1, p, q', z1, z p,..., p 2 1 p 2,..., 2 m p,..., z, z, z 1 m q n 2 s,..., z n s) Το πλεονέκτημα χρήσης της μορφής Kowalski είναι ότι όλη η διαδικασία είναι περισσότερο κατανοητή. 85

86 Παράδειγμα Ανάλυσης στη Μορφή βλάβη(μηχανή). εξάρτημα(έμβολο, μηχανή, δεν_λειτουργεί). σύμπτωμα(έμβολο, θόρυβος). μέρος(έμβολο, μηχανή). βλάβη(w),εξάρτημα(ζ,w,δεν_λειτουργεί) αντικατάσταση(ζ). βλάβη(x),σύμπτωμα(r, θόρυβος),μέρος(r,x) αντικατάσταση(r). Η άρνηση της προς απόδειξη πρότασης αναπαριστάται στη μορφή Kowalski ως αντικατάσταση(έμβολο) Kowalski 86

87 Απόδειξη με προτάσεις στην Μορφή Kowalski βλάβη(w),εξάρτημα(ζ,w,δεν_λειτουργεί) αντικατάσταση(ζ) αντικατάσταση(έμβολο) θ={ζ/έμβολο} βλάβη(w),εξάρτημα(έμβολο,w,δεν_λειτουργεί) εξάρτημα(έμβολο, μηχανή, δεν_λειτουργεί) θ'={w/μηχανή} βλάβη(μηχανή) βλάβη(μηχανή) (κενή πρόταση) 87

88 Πλεονεκτήματα Αρχής της Ανάλυσης Η αρχή της ανάλυσης αποτέλεσε την βάση για την δημιουργία μιας νέας σχολής γλωσσών προγραμματισμού, το λογικό προγραμματισμό. Ο πλέον διαδεδομένος αντιπρόσωπος αυτής της σχολής είναι η γλώσσα Prolog. Χρησιμοποιεί προτάσεις Horn και για την εξαγωγή συμπερασμάτων χρησιμοποιεί μια παραλλαγή της γραμμικής ανάλυσης, που ονομάζεται SLD - ανάλυση. Ουσιαστικά ξεκινάει πάντα από το πρώτο αριστερά λεκτικό στην ερώτηση και διαλέγει την πρώτη στη σειρά πρόταση Horn που ενοποιείται. 88

89 Πλεονεκτήματα της Κατηγορηματικής Λογικής Αντιστοιχία με τη φυσική γλώσσα. Ικανοποιητική έκφραση ποσοτικοποίησης των εννοιών με τους κατάλληλους ποσοδείκτες. Ικανότητα να συλλάβει τη γενικότητα. 89

90 Μειονεκτήματα της Κατηγορηματικής Λογικής Αδυναμία έκφρασης ασάφειας: Κάθε πρόταση μπορεί να είναι μόνο αληθής ή ψευδής. Αθροιστικότητα των αποτελεσμάτων: Ένα συμπέρασμα προστίθεται στη γνώση χωρίς να δίνεται η δυνατότητα αναθεώρησής του αν αργότερα κριθεί ότι είναι εσφαλμένο. Για την αντιμετώπιση των προβλημάτων, η κλασική λογική επεκτείνεται με εντολές ελέγχου και λειτουργικές δομές, που προσφέρουν ευελιξία και ευκολία στην ανάπτυξη εφαρμογών. Χαρακτηριστικό παράδειγμα η γλώσσα Prolog. 90

91 Ασκήσεις Μετατροπής και Εξαγωγής Συμπερασμάτων - Ζωικό Βασίλειο (1/4) Κάθε ζώο το οποίο έχει τρίχωμα ή παράγει γάλα είναι θηλαστικό. Κάθε ζώο που έχει φτερά και γεννάει αυγά είναι πουλί. Κάθε θηλαστικό που τρέφεται με κρέας ή έχει κοφτερά δόντια είναι σαρκοβόρο. Κάθε σαρκοβόρο με χρώμα καφέ-πορτοκαλί που έχει μαύρες ρίγες είναι τίγρης. Κάθε σαρκοβόρο με χρώμα καφέ-πορτοκαλί και μαύρες βούλες είναι τσιτάχ. Κάθε πουλί το οποίο δεν πετά και κολυμπά είναι πιγκουΐνος. X (έχει(x,τρίχωμα) παράγει(x, γάλα)) είναι(x, θηλαστικό) X (έχει(x, φτερά) γεννάει(x, αυγά)) είναι(x, πουλί) X (είδος(x,θηλαστικό) ((τρέφεται(x, κρέας) έχει(x, δόντια(κοφτερά)))) είναι(x, σαρκοβόρο) X (είναι(x,σαρκοβόρο) χρώμα(x,καφέ-πορτοκαλί) έχει(x,ρίγες(μαύρες)) είναι(x, τίγρης) X (είναι(x,σαρκοβόρο) χρώμα(x,καφέ-πορτοκαλί) έχει(x,βούλες(μαύρες)) είναι(x,τσιτάχ) X (είναι(x,πουλί) πετά(x) κολυμπά(x) ) είναι(x, πιγκουΐνος) 91

92 Ασκήσεις Μετατροπής και Εξαγωγής Συμπερασμάτων - Ζωικό Βασίλειο (2/4) Μετασχηματίστε τις προτάσεις στην προτασιακή μορφή της κατηγορηματικής λογικής. (Α) X (έχει(x,φτερά) γεννάει(x,αυγά)) είναι(x,πουλί) X (έχει(x,φτερά) γεννάει(x,αυγά)) είναι(x,πουλί) X ( έχει(x,φτερά) γεννάει(x,αυγά) είναι(x, πουλί)) έχει(x, φτερά) γεννάει(x, αυγά) είναι(x, πουλί) 92

93 Ασκήσεις Μετατροπής και Εξαγωγής Συμπερασμάτων - Ζωικό Βασίλειο (3/4) (Β) X (έχει(x, τρίχωμα) παράγει(x, γάλα)) X (έχει(x, τρίχωμα) παράγει(x, γάλα)) X ( έχει(x, τρίχωμα) παράγει(x, γάλα)) είναι(x, θηλαστικό) είναι(x, θηλαστικό) είναι(x, θηλαστικό) X ( έχει(x,τρίχωμα) είναι(x,θηλαστικό)) ( παράγει(x,γάλα) είναι(x,θηλαστικό)) έχει(x,τρίχωμα) είναι(x,θηλαστικό) παράγει(x,γάλα) είναι(x,θηλαστικό) 93

94 Ασκήσεις Μετατροπής και Εξαγωγής Συμπερασμάτων - Ζωικό Βασίλειο (4/4) Κωδικοποιήστε τη γνώση "ο αετός έχει φτερά" και "ο αετός γεννάει αυγά" στη λογική. έχει(αετός, φτερά) (1) γεννάει(αετός, αυγά) (2) Αποδείξτε χρησιμοποιώντας τον κανόνα της ανάλυσης και τη βάση γνώσης που δίδεται ότι είναι πουλί. έχει(x, φτερά) γεννάει(x, αυγά) είναι(x, πουλί) (3) (1), (3) {Χ/αετός} γεννάει(αετός, αυγά) είναι(αετός, πουλί) (4) (4), (2) είναι(αετός, πουλί) 94

95 Αποδείξεις στην Κατηγορηματική Λογική (1/4) Αποδείξτε με modus ponens ότι ισχύει η λογική συνεπαγωγή: X p(a,x,x), X Y Z ( p(x,y,z) p(f(x),y, f(z) ) p(f(a),a, f(a)) W p(a,w,w), X Y Z ( p(x,y,z) p(f(x),y, f(z)) Αν θ = { Χ/a, Y/W, Z/W }, τότε: W p(a,w,w), W ( p(a,w,w) p(f(a),w, f(w)) Με modus ponens αποδεικνύεται ότι: W p(f(a),w, f(w)) Σύμφωνα με τον κανόνα συμπερασμού: X p(x) p(a) θ={x/a} W p(f(a),w, f(w)) p(f(a),a, f(a)) θ={w/a} 95

96 Αποδείξεις στην Κατηγορηματική Λογική (2/4) Αν υπάρχουν κάποιοι που πληρώνουν φόρους, τότε όλοι οι πολιτικοί πληρώνουν φόρους. Αν υπάρχουν φιλάνθρωποι, τότε όλοι αυτοί που πληρώνουν φόρους είναι φιλάνθρωποι. Άρα, αν υπάρχουν φιλάνθρωποι που πληρώνουν φόρους, τότε όλοι οι πολιτικοί είναι φιλάνθρωποι. X taxpayer(x) ( Y politician(y) taxpayer(y)) (1) X philanthropist(x) ( Y taxpayer(y) philanthropist(y)) (2) X (philanthropist(x) taxpayer(x)) ( Y politician(y) philanthropist(y)) (3) 96

97 Αποδείξεις στην Κατηγορηματική Λογική (3/4) X taxpayer(x) ( Y politician(y) taxpayer(y)) X taxpayer(x) ( Y politician(y) taxpayer(y)) X taxpayer(x) ( Y politician(y) taxpayer(y)) X Y ( taxpayer(x) politician(y) taxpayer(y)) (1 ) X philanthropist(x) ( Y taxpayer(y) philanthropist(y)) X Y ( philanthropist(x) taxpayer(y) philanthropist(y)) Z W ( philanthropist(z) taxpayer(w) philanthropist(w)) (2 ) 97

98 Αποδείξεις στην Κατηγορηματική Λογική (4/4) X Y ( taxpayer(x) politician(y) taxpayer(y)) (1 ) Z W ( philanthropist(z) taxpayer(w) philanthropist(w)) (1 ), (2 ) {Y/W,Z/X} ( taxpayer(x) politician(w) philanthropist(x) philanthropist(w)) (philanthropist(x) taxpayer(x)) ( politician(w) philanthropist(w)) (philanthropist(x) taxpayer(x)) (politician(w) philanthropist(w)) (2 ) 98

99 Σημείωμα Αναφοράς Copyright, Νίκος Βασιλειάδης. «. Λογική: Κατηγορηματική Λογική, Σχέση Λογικής και Λογικού Προγραμματισμού». Έκδοση: 1.0. Θεσσαλονίκη Διαθέσιμο από τη δικτυακή διεύθυνση:

100 Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 [1] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί. Ως Μη Εμπορική ορίζεται η χρήση: που δεν περιλαμβάνει άμεσο ή έμμεσο οικονομικό όφελος από την χρήση του έργου, για το διανομέα του έργου και αδειοδόχο που δεν περιλαμβάνει οικονομική συναλλαγή ως προϋπόθεση για τη χρήση ή πρόσβαση στο έργο που δεν προσπορίζει στο διανομέα του έργου και αδειοδόχο έμμεσο οικονομικό όφελος (π.χ. διαφημίσεις) από την προβολή του έργου σε διαδικτυακό τόπο [1]

101 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Τέλος ενότητας Επεξεργασία: Εμμανουήλ Ρήγας Θεσσαλονίκη, Εαρινό Εξάμηνο

102 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ Σημειώματα

103 Διατήρηση Σημειωμάτων Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει: το Σημείωμα Αναφοράς το Σημείωμα Αδειοδότησης τη δήλωση Διατήρησης Σημειωμάτων το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει) μαζί με τους συνοδευόμενους υπερσυνδέσμους.

Κατηγορηματική Λογική

Κατηγορηματική Λογική Κατηγορηματική Λογική Επέκταση της προτασιακής λογικής. Ο κόσμος περιγράφεται σαν ένα σύνολο αντικειμένων, ιδιοτήτων και σχέσεων. Αντιμετωπίζει το πρόβλημα της μη προσπελασιμότητας των στοιχείων των γεγονότων

Διαβάστε περισσότερα

Μηχανισμός Εξαγωγής Συμπερασμάτων

Μηχανισμός Εξαγωγής Συμπερασμάτων Μηχανισμός Εξαγωγής Συμπερασμάτων Μηχανισμός Εξαγωγής Συμπερασμάτων Ο βασικός μηχανισμός εξαγωγής συμπερασμάτων στην κατηγορηματική λογική είναι η απόδειξη. Υπάρχει ένα πλήθος κανόνων συμπερασμού. Αυτοί

Διαβάστε περισσότερα

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Λογική Αποσαφήνιση και τυποποίηση της διαδικασίας της ανθρώπινης σκέψης Η μαθηματική

Διαβάστε περισσότερα

Η λογική είναι μια γλώσσα αναπαράστασης γνώσης (knowledge representation) Κατηγορηματίκή λογική

Η λογική είναι μια γλώσσα αναπαράστασης γνώσης (knowledge representation) Κατηγορηματίκή λογική Λογική Η λογική είναι μια γλώσσα αναπαράστασης γνώσης (knowledge representation) Ύπαρξη διαφόρων λογικών: Προτασιακή λογική Κατηγορηματίκή λογική Λογική πρώτης τάξεως (Propositional logic) (Predicate logic)

Διαβάστε περισσότερα

Γνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.

Γνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο

Διαβάστε περισσότερα

Κεφάλαιο 9. Λογική. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου

Κεφάλαιο 9. Λογική. Τεχνητή Νοηµοσύνη - Β' Έκδοση. Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Κεφάλαιο 9 Λογική Τεχνητή Νοηµοσύνη - Β' Έκδοση Ι. Βλαχάβας, Π. Κεφαλάς, Ν. Βασιλειάδης, Φ. Κόκκορας, Η. Σακελλαρίου Λογική Aποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης. Η µαθηµατική

Διαβάστε περισσότερα

Γνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.

Γνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο

Διαβάστε περισσότερα

Υπολογιστική Λογική και Λογικός Προγραμματισμός

Υπολογιστική Λογική και Λογικός Προγραμματισμός ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Υπολογιστική Λογική και Λογικός Προγραμματισμός Ενότητα 2: Λογική: Εισαγωγή, Προτασιακή Λογική. Νίκος Βασιλειάδης, Αναπλ. Καθηγητής Άδειες

Διαβάστε περισσότερα

Λογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης

Λογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης Λογική Προτασιακή Λογική Λογική Πρώτης Τάξης Λογική (Logic) Αναλογίες διαδικασίας επίλυσης προβλημάτων υπολογισμού και προβλημάτων νοημοσύνης: Πρόβλημα υπολογισμού 1. Επινόηση του αλγορίθμου 2. Επιλογή

Διαβάστε περισσότερα

Τεχνητή Νοημοσύνη Ι. Ενότητα 7:Προτασιακή Λογική. Πέππας Παύλος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών

Τεχνητή Νοημοσύνη Ι. Ενότητα 7:Προτασιακή Λογική. Πέππας Παύλος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Τεχνητή Νοημοσύνη Ι Ενότητα 7:Προτασιακή Λογική Πέππας Παύλος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Προτασιακή Λογική Σκοποί ενότητας 2 Περιεχόμενα ενότητας Προτασιακή

Διαβάστε περισσότερα

9.1 Προτασιακή Λογική

9.1 Προτασιακή Λογική ΚΕΦΑΛΑΙΟ 9 9 Λογική Η λογική παρέχει έναν τρόπο για την αποσαφήνιση και την τυποποίηση της διαδικασίας της ανθρώπινης σκέψης και προσφέρει µια σηµαντική και εύχρηστη µεθοδολογία για την αναπαράσταση και

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα

ΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα ΚΕΦΑΛΑΙΟ 3: Κατηγορηματική Λογική Πρώτης Τάξεως και Λογικά Προγράμματα Λέξεις Κλειδιά Μαθηματική Λογική, Προτασιακή Λογική, Κατηγορηματική Λογική, Προτάσεις Horn, Λογικά Προγράμματα Περίληψη Το κεφάλαιο

Διαβάστε περισσότερα

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 9: Προτασιακή λογική. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής Ενότητα 9: Προτασιακή λογική Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου

Διαβάστε περισσότερα

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός Κεφάλαιο Γ.4: Ολοκλήρωση με Αντικατάσταση Όνομα Καθηγητή: Γεώργιος Ν. Μπροδήμας Τμήμα Φυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών

Διαβάστε περισσότερα

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών

Διαβάστε περισσότερα

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ ΜΕΤΑΒΑΤΙΚΑ ΦΑΙΝΟΜΕΝΑ ΣΤΑ ΣΗΕ Λαμπρίδης Δημήτρης Κατσανού Βάνα Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών

Διαβάστε περισσότερα

Εισαγωγή στους Αλγορίθμους

Εισαγωγή στους Αλγορίθμους Εισαγωγή στους Αλγορίθμους Ενότητα 5 η Άσκηση Συγχώνευση & απαρίθμηση Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης

Διαβάστε περισσότερα

Ενότητα. Εισαγωγή στις βάσεις δεδομένων

Ενότητα. Εισαγωγή στις βάσεις δεδομένων Ενότητα 1 Εισαγωγή στις βάσεις δεδομένων 2 1.1 Βάσεις Δεδομένων Ένα βασικό στοιχείο των υπολογιστών είναι ότι έχουν τη δυνατότητα να επεξεργάζονται εύκολα και γρήγορα μεγάλο πλήθος δεδομένων και πληροφοριών.

Διαβάστε περισσότερα

Εισαγωγή στους Αλγορίθμους

Εισαγωγή στους Αλγορίθμους Εισαγωγή στους Αλγορίθμους Ενότητα 5 η Άσκηση - Συγχώνευση Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν

Διαβάστε περισσότερα

Διοικητική Λογιστική

Διοικητική Λογιστική Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διοικητική Λογιστική Ενότητα 10: Προσφορά και κόστος Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά

Διαβάστε περισσότερα

Μηχανολογικό Σχέδιο Ι

Μηχανολογικό Σχέδιο Ι ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Ενότητα # 8: Άτρακτοι και σφήνες Μ. Γρηγοριάδου Μηχανολόγων Μηχανικών Α.Π.Θ. Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες

Διαβάστε περισσότερα

Η ΓΝΩΣΗ ΚΑΙ ΤΟ ΠΡΑΓΜΑΤΙΚΟ ΣΤΟΝ ΠΛΑΤΩΝΑ ΚΑΙ ΤΟΝ ΑΡΙΣΤΟΤΕΛΗ

Η ΓΝΩΣΗ ΚΑΙ ΤΟ ΠΡΑΓΜΑΤΙΚΟ ΣΤΟΝ ΠΛΑΤΩΝΑ ΚΑΙ ΤΟΝ ΑΡΙΣΤΟΤΕΛΗ Η ΓΝΩΣΗ ΚΑΙ ΤΟ ΠΡΑΓΜΑΤΙΚΟ ΣΤΟΝ ΠΛΑΤΩΝΑ ΚΑΙ ΤΟΝ ΑΡΙΣΤΟΤΕΛΗ Ενότητα: 7 η Ελένη Περδικούρη Τμήμα Φιλοσοφίας 1 Ενότητα 7 η Πότε γνωρίζω; Α. Τα κριτήρια της γνώσης (Μετά τα Φυσικά Α 1 και Αναλυτικά Ύστερα Ι

Διαβάστε περισσότερα

Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2)

Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2) Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2) Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για

Διαβάστε περισσότερα

! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης.

! όπου το σύµβολο έχει την έννοια της παραγωγής, δηλαδή το αριστερό µέρος ισχύει ενώ το δεξιό µέρος συµπεραίνεται και προστίθεται στη βάση γνώσης. Αποδείξεις (1/2)! Χρησιµοποιούµε τις συνεπαγωγές της βάσης γνώσης για να βγάλουµε νέα συµπεράσµατα. Για παράδειγµα:! Από τις προτάσεις:! Ακαι Α Β! µπορούµε να βγάλουµε το συµπέρασµα (τεχνική modus ponens

Διαβάστε περισσότερα

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής Ανοικτά Ακαδημαϊκά Μαθήματα Τεχνολογικό Εκπαιδευτικό Ίδρυμα Αθήνας Πίνακες Νερού σε κατάσταση Κορεσμού Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής Διπλ. Ναυπηγός Μηχανολόγος Μηχανικός M.Sc. Διασφάλιση

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Λογικός Προγραμματισμός Ασκήσεις

Λογικός Προγραμματισμός Ασκήσεις Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2011-12... 3 1.1 Άσκηση 1...

Διαβάστε περισσότερα

Βέλτιστος Έλεγχος Συστημάτων

Βέλτιστος Έλεγχος Συστημάτων Βέλτιστος Έλεγχος Συστημάτων Ενότητα 10: Δυναμικός προγραμματισμός Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σημείωμα Αδειοδότησης Το παρόν

Διαβάστε περισσότερα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 6: Προτασιακός Λογισμός Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 6: Προτασιακός Λογισμός Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες

Διαβάστε περισσότερα

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 11: Λογική πρώτης τάξης. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής

ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ. Ενότητα 11: Λογική πρώτης τάξης. Ρεφανίδης Ιωάννης Τμήμα Εφαρμοσμένης Πληροφορικής Ενότητα 11: Λογική πρώτης τάξης Ρεφανίδης Ιωάννης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου

Διαβάστε περισσότερα

Διοίκηση Επιχειρήσεων

Διοίκηση Επιχειρήσεων ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 5: Η λήψη των αποφάσεων Ευγενία Πετρίδου Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους.

Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους. Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους. Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες

Διαβάστε περισσότερα

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη Ενότητα 8: Η Οικονομική πολιτική της Ευρωπαϊκής Ένωσης Γρηγόριος Ζαρωτιάδης Άδειες Χρήσης Το

Διαβάστε περισσότερα

Βέλτιστος Έλεγχος Συστημάτων

Βέλτιστος Έλεγχος Συστημάτων Βέλτιστος Έλεγχος Συστημάτων Ενότητα 7: Βέλτιστος έλεγχος συστημάτων διακριτού χρόνου Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σημείωμα

Διαβάστε περισσότερα

Εκκλησιαστικό Δίκαιο. Ενότητα 10η: Ιερά Σύνοδος της Ιεραρχίας και Διαρκής Ιερά Σύνοδος Κυριάκος Κυριαζόπουλος Τμήμα Νομικής Α.Π.Θ.

Εκκλησιαστικό Δίκαιο. Ενότητα 10η: Ιερά Σύνοδος της Ιεραρχίας και Διαρκής Ιερά Σύνοδος Κυριάκος Κυριαζόπουλος Τμήμα Νομικής Α.Π.Θ. ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 10η: Ιερά Σύνοδος της Ιεραρχίας και Διαρκής Ιερά Σύνοδος Κυριάκος Κυριαζόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται

Διαβάστε περισσότερα

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Εισαγωγή στην Διοίκηση Επιχειρήσεων Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 7: ΑΣΚΗΣΕΙΣ ΜΕΓΕΘΟΥΣ ΕΠΙΧΕΙΡΗΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

Βέλτιστος Έλεγχος Συστημάτων

Βέλτιστος Έλεγχος Συστημάτων Βέλτιστος Έλεγχος Συστημάτων Ενότητα 4: Το γενικευμένο πρόβλημα βέλτιστου ελέγχου για συστήματα συνεχούς Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών

Διαβάστε περισσότερα

Εισαγωγή στους Αλγορίθμους

Εισαγωγή στους Αλγορίθμους Εισαγωγή στους Αλγορίθμους Ενότητα 6 η Άσκηση - DFS δένδρα Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν

Διαβάστε περισσότερα

Γενικά Μαθηματικά Ι. Ενότητα 12: Κριτήρια Σύγκλισης Σειρών. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Γενικά Μαθηματικά Ι. Ενότητα 12: Κριτήρια Σύγκλισης Σειρών. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 2: Κριτήρια Σύγκλισης Σειρών Λουκάς Βλάχος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

Εφαρμοσμένη Βελτιστοποίηση

Εφαρμοσμένη Βελτιστοποίηση Εφαρμοσμένη Βελτιστοποίηση Ενότητα 3: Αναλυτικές μέθοδοι βελτιστοποίησης για συναρτήσεις μιας μεταβλητής Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών

Διαβάστε περισσότερα

Τίτλος Μαθήματος. Ενότητα 1: Γενικά περί λογικού προγραμματισμού

Τίτλος Μαθήματος. Ενότητα 1: Γενικά περί λογικού προγραμματισμού Τίτλος Μαθήματος Ενότητα 1: Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιγραφή ενότητας Εισαγωγική ενότητα για τον λογικό προγραμματισμό. 2 Γενικά περί λογικού

Διαβάστε περισσότερα

Ευφυής Προγραμματισμός

Ευφυής Προγραμματισμός Ευφυής Προγραμματισμός Ενότητα 13: Δημιουργία Βάσεων Κανόνων Από Δεδομένα- Αξιολόγηση Βάσης Κανόνων Ιωάννης Χατζηλυγερούδης Πολυτεχνική Σχολή Τμήμα Μηχανικών Η/Υ & Πληροφορικής Δημιουργία Βάσεων Κανόνων

Διαβάστε περισσότερα

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Εισαγωγή στην Διοίκηση Επιχειρήσεων Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 9: ΑΣΚΗΣΕΙΣ ΕΠΙΛΟΓΗΣ ΤΟΠΟΥ ΕΓΚΑΤΑΣΤΑΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες

Διαβάστε περισσότερα

Βέλτιστος Έλεγχος Συστημάτων

Βέλτιστος Έλεγχος Συστημάτων Βέλτιστος Έλεγχος Συστημάτων Ενότητα 8: Το γραμμικό τετραγωνικό πρόβλημα ρύθμισης (LQ) για συστήματα διακριτού χρόνου Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και

Διαβάστε περισσότερα

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Prim

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Prim Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Prim Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Emil: zro@ei.uptrs.r Άδειες Χρήσης Το παρόν

Διαβάστε περισσότερα

Εισαγωγή στους Αλγορίθμους Φροντιστήριο 1

Εισαγωγή στους Αλγορίθμους Φροντιστήριο 1 Εισαγωγή στους Αλγορίθμους Φροντιστήριο 1 Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό

Διαβάστε περισσότερα

Προγραμματισμός Υπολογιστών & Υπολογιστική Φυσική

Προγραμματισμός Υπολογιστών & Υπολογιστική Φυσική ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Προγραμματισμός Υπολογιστών & Υπολογιστική Φυσική Ενότητα 4: Δομές Ελέγχου Νικόλαος Στεργιούλας Τμήμα Φυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

Εισαγωγή στους Η/Υ. Ενότητα 2β: Αντίστροφο Πρόβλημα. Δημήτρης Σαραβάνος, Καθηγητής Πολυτεχνική Σχολή Τμήμα Μηχανολόγων & Αεροναυπηγών Μηχανικών

Εισαγωγή στους Η/Υ. Ενότητα 2β: Αντίστροφο Πρόβλημα. Δημήτρης Σαραβάνος, Καθηγητής Πολυτεχνική Σχολή Τμήμα Μηχανολόγων & Αεροναυπηγών Μηχανικών Εισαγωγή στους Η/Υ Ενότητα 2β: Δημήτρης Σαραβάνος, Καθηγητής Πολυτεχνική Σχολή Τμήμα Μηχανολόγων & Αεροναυπηγών Μηχανικών Σκοποί ενότητας Εύρεση συνάρτησης Boole όταν είναι γνωστός μόνο ο πίνακας αληθείας.

Διαβάστε περισσότερα

Δομές Δεδομένων Ενότητα 1

Δομές Δεδομένων Ενότητα 1 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 1: Εισαγωγή Απόστολος Παπαδόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για

Διαβάστε περισσότερα

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος

Διαβάστε περισσότερα

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος διατίθεται

Διαβάστε περισσότερα

Βάσεις Περιβαλλοντικών Δεδομένων

Βάσεις Περιβαλλοντικών Δεδομένων Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Βάσεις Περιβαλλοντικών Δεδομένων Ενότητα 1: Εισαγωγή στις ΒΔ Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά

Διαβάστε περισσότερα

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.

4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος. Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός

Διαβάστε περισσότερα

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Β. Διαφορικός Λογισμός

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Β. Διαφορικός Λογισμός Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Β. Διαφορικός Λογισμός Κεφάλαιο Β.9: Το Διαφορικό Όνομα Καθηγητή: Γεώργιος Ν. Μπροδήμας Τμήμα Φυσικής Γεώργιος Νικ. Μπροδήμας Κεφάλαιο Β.9: Το Διαφορικό 1 Άδειες

Διαβάστε περισσότερα

Εισαγωγή στους Αλγορίθμους Ενότητα 10η Άσκηση Αλγόριθμος Dijkstra

Εισαγωγή στους Αλγορίθμους Ενότητα 10η Άσκηση Αλγόριθμος Dijkstra Εισαγωγή στους Αλγορίθμους Ενότητα 1η Άσκηση Αλγόριθμος Dijkra Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upara.gr Άδειες Χρήσης Το παρόν

Διαβάστε περισσότερα

ΗΛΕΚΤΡΟΝΙΚΗ ΙIΙ Ενότητα 6

ΗΛΕΚΤΡΟΝΙΚΗ ΙIΙ Ενότητα 6 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ ΗΛΕΚΤΡΟΝΙΚΗ ΙIΙ Ενότητα 6: 1η εργαστηριακή άσκηση και προσομοίωση με το SPICE Χατζόπουλος Αλκιβιάδης Τμήμα Ηλεκτρολόγων Μηχανικών και

Διαβάστε περισσότερα

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα Ενότητα: Ασκήσεις 11 Ανδριανός Ε. Τσεκρέκος Τμήμα Λογιστικής & Χρηματοοικονομικής Σελίδα 2 1. Σκοποί ενότητας... 5

Διαβάστε περισσότερα

Κβαντική Επεξεργασία Πληροφορίας

Κβαντική Επεξεργασία Πληροφορίας Κβαντική Επεξεργασία Πληροφορίας Ενότητα 4: Κλασσική και Κβαντική Πιθανότητα Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Σκοπός της ενότητας

Διαβάστε περισσότερα

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική Δρ.Ευσταθία Παπαγεωργίου, Αναπληρώτρια Καθηγήτρια Τμήμα Ιατρικών Εργαστηρίων Το περιεχόμενο του μαθήματος

Διαβάστε περισσότερα

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Εισαγωγή στην Διοίκηση Επιχειρήσεων Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 2: Οργάνωση και Διοίκηση Εισαγωγή Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

Προτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος

Προτασιακή Λογική. Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος Προτασιακή Λογική (Propositional Logic) Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Ηπείρου Γκόγκος Χρήστος - 2015 Λογική Λογική είναι οι κανόνες που διέπουν τη σκέψη. Η λογική αφορά τη μελέτη των διαδικασιών

Διαβάστε περισσότερα

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας Ενότητα 10η: Απεσταλμένοι του Ρωμαίου Ποντίφικα και Ρωμαϊκή Κουρία Κυριάκος Κυριαζόπουλος

Διαβάστε περισσότερα

Βέλτιστος Έλεγχος Συστημάτων

Βέλτιστος Έλεγχος Συστημάτων Βέλτιστος Έλεγχος Συστημάτων Ενότητα 9: Αρχή της Βελτιστοποίησης-Θεωρία Hamilton Jacobi Καθηγητής Αντώνιος Αλεξανδρίδης Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σημείωμα

Διαβάστε περισσότερα

Τεχνολογία Πολιτισμικού Λογισμικού

Τεχνολογία Πολιτισμικού Λογισμικού Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Τεχνολογία Πολιτισμικού Λογισμικού Ενότητα 2: Φάσεις ανάπτυξης πολιτισμικού λογισμικού Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons

Διαβάστε περισσότερα

Λογικός Προγραμματισμός Ασκήσεις

Λογικός Προγραμματισμός Ασκήσεις Λογικός Προγραμματισμός Ασκήσεις Παναγιώτης Σταματόπουλος Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιεχόμενα 1. Α Ομάδα Ασκήσεων "Λογικού Προγραμματισμού" Ακαδημαϊκού Έτους 2007-08... 3 1.1 Άσκηση... 3

Διαβάστε περισσότερα

Λογισμός 3. Ενότητα 19: Θεώρημα Πεπλεγμένων (γενική μορφή) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Λογισμός 3. Ενότητα 19: Θεώρημα Πεπλεγμένων (γενική μορφή) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 19: Θεώρημα Πεπλεγμένων (γενική μορφή) Μιχ. Γ. Μαριάς Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative

Διαβάστε περισσότερα

ΛΟΓΙΚΟ-ΜΑΘΗΜΑΤΙΚΕΣ ΣΧΕΣΕΙΣ & ΑΡΙΘΜΗΤΙΚΕΣ ΕΝΝΟΙΕΣ ΣΤΗΝ ΠΡΟΣΧΟΛΙΚΗ ΕΚΠΑΙΔΕΥΣΗ

ΛΟΓΙΚΟ-ΜΑΘΗΜΑΤΙΚΕΣ ΣΧΕΣΕΙΣ & ΑΡΙΘΜΗΤΙΚΕΣ ΕΝΝΟΙΕΣ ΣΤΗΝ ΠΡΟΣΧΟΛΙΚΗ ΕΚΠΑΙΔΕΥΣΗ ΛΟΓΙΚΟ-ΜΑΘΗΜΑΤΙΚΕΣ ΣΧΕΣΕΙΣ & ΑΡΙΘΜΗΤΙΚΕΣ ΕΝΝΟΙΕΣ ΣΤΗΝ ΠΡΟΣΧΟΛΙΚΗ ΕΚΠΑΙΔΕΥΣΗ Ενότητα 2: Δημήτρης Χασάπης Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία ΘΕΜΕΛΙΩΔΕΙΣ ΛΟΓΙΚΟ-ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ ΚΑΙ ΣΧΕΣΕΙΣ

Διαβάστε περισσότερα

Αρχεία και Βάσεις Δεδομένων

Αρχεία και Βάσεις Δεδομένων ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 7η: Σχεσιακός Λογισμός Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό

Διαβάστε περισσότερα

Υπολογιστική άλγεβρα Ενότητα 10: Βάσεις Groebner ενός ιδεώδους ΙΙΙ

Υπολογιστική άλγεβρα Ενότητα 10: Βάσεις Groebner ενός ιδεώδους ΙΙΙ Υπολογιστική άλγεβρα Ενότητα 10: Βάσεις Groebner ενός ιδεώδους ΙΙΙ Ράπτης Ευάγγελος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών Κεφάλαιο 10 Βάσεις Groebner ενός ιδεώδους 10.1 Τρίτο μέρος Επαναλαμβάνουμε

Διαβάστε περισσότερα

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Kruskal

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Kruskal Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Kruskl Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Emil: zro@ei.uptrs.r Άδειες Χρήσης Το παρόν

Διαβάστε περισσότερα

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας Ενότητα 7η: Ιερά Σύνοδος Κυριάκος Κυριαζόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό

Διαβάστε περισσότερα

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη Ενότητα 6: Διαπεριφερειακές διαφορές Γρηγόριος Ζαρωτιάδης Άδειες Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

Διδακτική της Πληροφορικής

Διδακτική της Πληροφορικής ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 14: Διδακτικές Προσεγγίσεις για τον Προγραμματισμό Σταύρος Δημητριάδης Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε

Διαβάστε περισσότερα

Βάσεις Περιβαλλοντικών Δεδομένων

Βάσεις Περιβαλλοντικών Δεδομένων Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Βάσεις Περιβαλλοντικών Δεδομένων Ενότητα 3: Μοντέλα βάσεων δεδομένων Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται

Διαβάστε περισσότερα

Διδακτική Πληροφορικής

Διδακτική Πληροφορικής Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διδακτική Πληροφορικής Ενότητα 4: Διδακτικός μετασχηματισμός βασικών εννοιών πληροφορικής Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons

Διαβάστε περισσότερα

Ιδιότητες και Τεχνικές Σύνταξης Επιστημονικού Κειμένου

Ιδιότητες και Τεχνικές Σύνταξης Επιστημονικού Κειμένου ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Ιδιότητες και Τεχνικές Σύνταξης Επιστημονικού Κειμένου Ενότητα 2: Η Πρωτόλεια Σκέψη Αναστασία Χριστοδούλου, αναπλ. Καθηγήτρια Dr. Γεώργιος

Διαβάστε περισσότερα

Ανάκτηση πληροφορίας

Ανάκτηση πληροφορίας ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ανάκτηση πληροφορίας Ενότητα 3: Μοντελοποίηση: Boolean μοντέλο Απόστολος Παπαδόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται

Διαβάστε περισσότερα

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού Υπέρθερμου Ατμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού Υπέρθερμου Ατμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής Ανοικτά Ακαδημαϊκά Μαθήματα Τεχνολογικό Εκπαιδευτικό Ίδρυμα Αθήνας Πίνακες Νερού Υπέρθερμου Ατμού Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής Διπλ. Ναυπηγός Μηχανολόγος Μηχανικός M.Sc. Διασφάλιση Ποιότητας,

Διαβάστε περισσότερα

Εισαγωγή στους Υπολογιστές

Εισαγωγή στους Υπολογιστές Εισαγωγή στους Υπολογιστές Εργαστήριο 2 Καθηγητές: Αβούρης Νικόλαος, Παλιουράς Βασίλης, Κουκιάς Μιχαήλ, Σγάρμπας Κυριάκος Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Άσκηση 2 ου εργαστηρίου

Διαβάστε περισσότερα

ΟΙΚΟΝΟΜΕΤΡΙΑ. Ενότητα 3: Πολλαπλή Παλινδρόμηση. Αναπλ. Καθηγητής Νικόλαος Σαριαννίδης Τμήμα Διοίκησης Επιχειρήσεων (Γρεβενά)

ΟΙΚΟΝΟΜΕΤΡΙΑ. Ενότητα 3: Πολλαπλή Παλινδρόμηση. Αναπλ. Καθηγητής Νικόλαος Σαριαννίδης Τμήμα Διοίκησης Επιχειρήσεων (Γρεβενά) ΟΙΚΟΝΟΜΕΤΡΙΑ Ενότητα 3: Πολλαπλή Παλινδρόμηση. Αναπλ. Καθηγητής Νικόλαος Σαριαννίδης Τμήμα Διοίκησης Επιχειρήσεων (Γρεβενά) Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative

Διαβάστε περισσότερα

Εκκλησιαστικό Δίκαιο

Εκκλησιαστικό Δίκαιο ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 8η: Ο νέος αντιρατσιστικός νόμος και ο ν.4301/2014 Κυριάκος Κυριαζόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται

Διαβάστε περισσότερα

ΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 4: Συναρτήσεις

ΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 4: Συναρτήσεις ΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 4: Συναρτήσεις Μιχάλης Δρακόπουλος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών ΠΛΗΡΟΦΟΡΙΚΗ Ι Σημειώσεις MATLAB Ενότητα 4 ΠΛΗΡΟΦΟΡΙΚΗ Ι (MATLAB) Ενότητα 4 Σημειώσεις βασισμένες στο

Διαβάστε περισσότερα

Ιστορία της μετάφρασης

Ιστορία της μετάφρασης ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 6: Μεταφραστές και πρωτότυπα. Ελένη Κασάπη ΤΜΗΜΑ ΑΓΓΛΙΚΗΣ ΓΛΩΣΣΑΣ ΚΑΙ ΦΙΛΟΛΟΓΙΑΣ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

Εκκλησιαστικό Δίκαιο

Εκκλησιαστικό Δίκαιο ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 11η: Οργανισμοί της Εκκλησίας της Ελλάδος Κυριάκος Κυριαζόπουλος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες

Διαβάστε περισσότερα

Μηχανολογικό Σχέδιο Ι

Μηχανολογικό Σχέδιο Ι ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Ενότητα # 2: Όψεις Όνομα Καθηγητή: Παρασκευοπούλου Ροδούλα Α.Π.Θ Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Εισαγωγή στην Διοίκηση Επιχειρήσεων Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 4: Στρατηγικοί προσανατολισμοί Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης

Διαβάστε περισσότερα

Κβαντική Επεξεργασία Πληροφορίας

Κβαντική Επεξεργασία Πληροφορίας Κβαντική Επεξεργασία Πληροφορίας Ενότητα 12: Ιδιοτιμές και Ιδιοδιανύσματα Σγάρμπας Κυριάκος Πολυτεχνική Σχολή Τμήμα Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών Σκοποί ενότητας Ιδιοτιμές και Ιδιοδιανύσματα

Διαβάστε περισσότερα

Δομημένος Προγραμματισμός

Δομημένος Προγραμματισμός Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Δομημένος Προγραμματισμός Ενότητα 8: Δείκτες Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά Το έργο

Διαβάστε περισσότερα

Θέματα υπολογισμού στον πολιτισμό

Θέματα υπολογισμού στον πολιτισμό Θέματα υπολογισμού στον πολιτισμό Ενότητα 6: Μοντελοποίηση υπολογισμού: Κανονικές εκφράσεις Εύη Παπαϊωάννου Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διαχείρισης Πολιτισμικού Περιβάλλοντος και Νέων

Διαβάστε περισσότερα

Διαχείριση Πολιτισμικών Δεδομένων

Διαχείριση Πολιτισμικών Δεδομένων Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διαχείριση Πολιτισμικών Δεδομένων Ενότητα 6: Εισαγωγή στις Βάσεις Δεδομένων Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και

Διαβάστε περισσότερα

Διοικητική Λογιστική

Διοικητική Λογιστική Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Διοικητική Λογιστική Ενότητα 6: Μέθοδοι ς Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά Το έργο

Διαβάστε περισσότερα

Πληροφορική ΙΙ Θεματική Ενότητα 5

Πληροφορική ΙΙ Θεματική Ενότητα 5 Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ιονίων Νήσων Πληροφορική ΙΙ Θεματική Ενότητα 5 Λογικοί Τελεστές Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά

Διαβάστε περισσότερα

Υπολογιστική άλγεβρα Ενότητα 1: Πολυωνυμικές σχέσεις και ταυτότητες, μέρος Ι

Υπολογιστική άλγεβρα Ενότητα 1: Πολυωνυμικές σχέσεις και ταυτότητες, μέρος Ι Υπολογιστική άλγεβρα Ενότητα 1: Πολυωνυμικές σχέσεις και ταυτότητες, μέρος Ι Ράπτης Ευάγγελος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών Μέρος I Εναρξη μαθήματος 5 7 Υπολογιστική Άλγεβρα (439) ) Ευάγγελος

Διαβάστε περισσότερα

Θέματα Εφαρμοσμένης. Ενότητα 14.2: Η ψήφος στα πρόσωπα. Θεόδωρος Χατζηπαντελής Τμήμα Πολιτικών Επιστημών ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Θέματα Εφαρμοσμένης. Ενότητα 14.2: Η ψήφος στα πρόσωπα. Θεόδωρος Χατζηπαντελής Τμήμα Πολιτικών Επιστημών ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Θέματα Εφαρμοσμένης Πολιτικής Ανάλυσης Ενότητα 14.2: Η ψήφος στα πρόσωπα. Θεόδωρος Χατζηπαντελής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό

Διαβάστε περισσότερα

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Εισαγωγή στην Διοίκηση Επιχειρήσεων Εισαγωγή στην Διοίκηση Επιχειρήσεων Ενότητα 6: ΜΕΓΕΘΟΣ ΕΠΙΧΕΙΡΗΣΗΣ Μαυρίδης Δημήτριος Τμήμα Λογιστικής και Χρηματοοικονομικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative

Διαβάστε περισσότερα

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Δομές δεδομένων Άσκηση αυτοαξιολόγησης Παναγιώτα Φατούρου Τμήμα Επιστήμης Υπολογιστών ΗΥ2, Ενότητα : Ασκήσεις και Λύσεις Άσκηση 1 Ενότητα : Υλοποίηση Λεξικών µε

Διαβάστε περισσότερα

ΛΟΓΙΚΟ-ΜΑΘΗΜΑΤΙΚΕΣ ΣΧΕΣΕΙΣ & ΑΡΙΘΜΗΤΙΚΕΣ ΕΝΝΟΙΕΣ ΣΤΗΝ ΠΡΟΣΧΟΛΙΚΗ ΕΚΠΑΙΔΕΥΣΗ

ΛΟΓΙΚΟ-ΜΑΘΗΜΑΤΙΚΕΣ ΣΧΕΣΕΙΣ & ΑΡΙΘΜΗΤΙΚΕΣ ΕΝΝΟΙΕΣ ΣΤΗΝ ΠΡΟΣΧΟΛΙΚΗ ΕΚΠΑΙΔΕΥΣΗ ΛΟΓΙΚΟ-ΜΑΘΗΜΑΤΙΚΕΣ ΣΧΕΣΕΙΣ & ΑΡΙΘΜΗΤΙΚΕΣ ΕΝΝΟΙΕΣ ΣΤΗΝ ΠΡΟΣΧΟΛΙΚΗ ΕΚΠΑΙΔΕΥΣΗ Ενότητα 6: Δημήτρης Χασάπης Τμήμα Εκπαίδευσης και Αγωγής στην Προσχολική Ηλικία Περιγραφική στατιστική ΕΡΩΤΗΜΑ ΑΠΑΝΤΗΣΗ Όλες

Διαβάστε περισσότερα

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός 1/8 Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Γ. Ολοκληρωτικός Λογισμός Κεφάλαιο Γ.05: Ολοκλήρωση Ρητών Συναρτήσεων Όνομα Καθηγητή: Γεώργιος Ν. Μπροδήμας Τμήμα Φυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

Γενικά Μαθηματικά Ι. Ενότητα 15: Ολοκληρώματα Με Ρητές Και Τριγωνομετρικές Συναρτήσεις Λουκάς Βλάχος Τμήμα Φυσικής

Γενικά Μαθηματικά Ι. Ενότητα 15: Ολοκληρώματα Με Ρητές Και Τριγωνομετρικές Συναρτήσεις Λουκάς Βλάχος Τμήμα Φυσικής ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 5: Ολοκληρώματα Με Ρητές Και Τριγωνομετρικές Συναρτήσεις Λουκάς Βλάχος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε

Διαβάστε περισσότερα