Μαθηματική Λογική και Λογικός Προγραμματισμός

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

Download "Μαθηματική Λογική και Λογικός Προγραμματισμός"

Transcript

1 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός

2 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Page 2 Σχεσιακή Λογική Ή Κατηγορηματική Λογική ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

3 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Προτασιακή Λογική Page 3 Οι σταθερές αναφέρονται σε ατομικές προτάσεις βρεχει χιονίζει υγρο Σύνθετες προτάσεις δηλώνουν σχέσεις μεταξύ των σταθερών (προτάσεων) βρεχει χιονίζει υγρο Γεώργιος Βούρος

4 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Σχεσιακή Λογική Page 4 Οι σταθερές αναφέρονται σε αντικείμενα και σε σχέσεις μεταξύ αυτών νικος, μαιρη, γιωργος, αγαπαει, ευτυχισμενος Απλές προτάσεις εκφράζουν σχέσεις μεταξύ αντικειμένων αγαπαει(νικος, μαιρη) Σύνθετες προτάσεις δηλώνουν σχέσεις μεταξύ σχέσεων αγαπαει(χ,ψ) αγαπαει(ψ,χ) αγαπαει(χ,ψ) αγαπαει(ψ,χ) ευτυχισμενος(χ) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

5 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Δομή της Παρουσίασης Page 5 Συντακτικό και Άτυπη Σημασιολογία της Σχεσιακής Λογικής Τυπική Σημασιολογία Μεθοδος Herbrand Αποδεικτική μέθοδος Εννοποίηση Σχεσιακή μέθοδος της Επίλυσης Εφαρμογές Στρατηγικές Γεώργιος Βούρος

6 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Λέξεις Page 6 Οι μεταβλητές ξεκινούν πάντοτε με κεφαλαίο γράμμα Α,Β,Υ,Χ,Ψ,Ζ Οι σταθερές ξεκινούν με ψηφία ή με χαρακτήρες που αντιστοιχουν σε πεζα γράμματα α,β,γ,μαιρη, γιωργος,1,2,3... ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

7 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Σταθερές Page 7 Σταθερές οντοτήτων αναφέρονται σε οντότητες του «σύμπαντος» Συναρτησιακές σταθερές παριστούν συναρτήσεις πατερας1, μητερα1, ηλικια1, συν2, επι2 Σχεσιακές σταθερές παριστούν σχέσεις μεταξυ οντοτητων προσωπο1, ευτυχισμενος1, γονεας2, αγαπαει2 Δεν υπάρχει συντακτική διάκριση μεταξύ σταθερών οντοτήτων, συναρτησιακών σταθερών και σχεσιακών σταθερών. Ο τύπος κάθε τέτοιας λέξης καθορίζεται από τα συμφραζόμενα. Γεώργιος Βούρος

8 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Οροι Page 8 Ενας όρος είναι είτε μεταβλητή, είτε σταθερά οντοτήτων, ή συναρτησιακός όρος. Οι όροι αναφέρονται σε στοιχεία του «σύμπαντος» Οι όροι είναι ανάλογοι με τις ονοματικές φράσεις στη φυσική γλώσσα. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

9 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Συναρτησιακοί όροι Ένας συναρτησιακός όρος είναι μια έκφραση που σχηματίζεται από μια συναρτησιακή σταθερά βαθμού ν και ν όρους που περιέχονται σε παρενθέσεις και χωρίζονται με κόμα. πατερας(γιωργος) πατερας(νικος) συν(χ,2) Page 9 Συναρτησιακοί όροι είναι όροι, και ως τέτοιοι μπορούν να εμφωλιάζονται σε άλλους συναρτησιακούς όρους συν( ηλικια(πατερας(γιωργος)) ηλικια(μητερας(νικος))) Γεώργιος Βούρος

10 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Λογικές Προτάσεις Οι λογικές προτάσεις στη σχεσιακή λογική είναι ανάλογες αυτών στην προτασιακή λογική. Page 10 αγαπαει(νικος, μαρια) (αγαπαει(νικος, μπεττυ) αγαπαει(μπεττυ,νικος)) (αγαπαει(νικος, μπεττυ) αγαπαει(μπεττυ,νικος)) αγαπαει(χ,ψ) αγαπαει(ψ,χ) αγαπαει(χ,ψ) αγαπαει(ψ,χ) Οι κανόνες σε ότι αφορά τις παρενθέσεις είναι οι ίδιοι με την προτασιακή λογική. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

11 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Προτάσεις στη Σχεσιακή Λογική Μια πρόταση στη σχεσιακή λογική είναι μια έκφραση που σχηματίζεται από σχεσιακή σταθερά βαθμού ν και ν όρους που περιέχονται σε παρενθέσεις και χωρίζοντα από κόμα. Page 11 ευτυχισμενος(νικος) αγαπαει(νικος, μαρια) Οι προτάσεις δεν είναι όροι και επομένως δεν μπορούν να εμφωλιάζονται σε άλλες προτάσεις. Γεώργιος Βούρος

12 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Ποσοτικά προσδιορισμένες προτάσεις Page 12 Οι ποσοτικά προσδιορισμένες προτάσεις (αυτές που περιέχουν ποσοδείκτες και ) μπορούν να συνδυαστούν με άλλες προτάσεις Χ. μηλο(χ) Χ. βερυκοκο(χ) Χ. Ψ. αγαπαει(χ,ψ) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

13 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Συντακτικός Έλεγχος Σταθερές οντοτήτων: νικος, μαρια, τασος, 1,2,... Page 13 Συναρτησιακές σταθερές: πατερας1, μητερα1, ηλικια1, συν2, επι2 Σχεσιακές σταθερές: προσωπο1, ευτυχισμένος1, γονεας2, αγαπαει2, αβ2 αβ(πατερας(νικος), μητερα(νικος)) συν(πατερας(τασος), μαρια) ευτυχισμενος(πατερας(μαρια)) αγαπαει(χ,ψ) αγαπαει(ψ,χ) Γεώργιος Βούρος

14 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Συντακτικό σε ενθεματική μορφή συν(2,3) 2+3 Page 14 πλην(3,2) 3-2 επι(2,3) 2Χ3 ενωση(σ,τ) σ τ τομη(σ,τ) σ τ μελος(α,β) α β... ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

15 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Προτεραιότητα τελεστών + - = < > Page 15 Γεώργιος Βούρος

16 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Μανιτάρια Σχεσιακές σταθερές: μανιtαρι, μπλε, δηλητηριωδες Page 16 Τα μπλε μανιταρια ειναι δηλητηριωδη Αν κατι ειναι μπλε μανιταρι, τοτε ειναι δηλητηριωδες Αν κατι ειναι μανιταρι και μπλε, τότε είναι δηλητηριώδες Χ. (μανιταρι(χ) μπλε(χ) δηλητηριωδες(χ)) Κανένα μπλε μανιταρι δεν ειναι δηλητηριώδες Δεν υπάρχει κάτι που να είναι μπλε και μανιταρι και δηλητηριωδες Χ. (μανιταρι(χ) μπλε(χ) δηλητηριωδες(χ)) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

17 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Περισσότερα... Μανιτάρια Σχεσιακές σταθερές: μανιταρι, μπλε, δηλητηριωδες Page 17 Ένα μανιταρι ειναι δηλητηριωδες μόνο αν είναι μπλε Αν κατι ειναι μανιταρι, είναι δηλητηριωδες, μόνο αν ειναι μπλε Αν κατι ειναι μανιταρι, και είναι δηλητηριωδες, τότε ειναι μπλε Χ. (μανιταρι(χ) δηλητηριωδες(χ) μπλε(χ)) Ένα μανιταρι δεν ειναι δηλητηριωδες εκτός αν είναι μπλε Αν κατι ειναι μανιταρι, δεν είναι δηλητηριωδες, αν δεν ειναι μπλε Αν κατι ειναι μανιταρι, και είναι δηλητηριωδες, τότε ειναι μπλε Χ. (μανιταρι(χ) δηλητηριωδες(χ) μπλε(χ)) Γεώργιος Βούρος

18 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Διαπροσωπικές Σχέσεις Σταθερές οντοτήτων : μιχαλης, μαρια Page 18 Σχεσιακη σταθερά: αγαπαει Όλοι αγαπούν τη Μαρια Χ. αγαπαει(χ,μαρια) Η Μαρια αγαπάει οποιονδήποτε την αγαπάει Χ. αγαπαει(χ,μαρια) αγαπαει(μαρια,χ) Κανένας δεν αγαπάει τη Μαρία Χ. αγαπαει(χ,μαρια) ή Χ. αγαπαει(χ,μαρια) Κανένας που αγαπάει τη Μαρία δεν αγαπάει το Μιχάλη Χ. (αγαπαει(χ,μαρια) αγαπαει(χ, μιχαλης)) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

19 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Περισσότερες... Διαπροσωπικές Σχέσεις Σταθερές οντοτήτων : μιχαλης, μαρια Page 19 Σχεσιακη σταθερά: αγαπαει Όλοι αγαπούν κάποιον Χ. Ψ. αγαπαει(χ,ψ) Υπάρχει κάποιος που όλοι τον αγαπούν Ψ. Χ. αγαπαει(χ,ψ) Γεώργιος Βούρος

20 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Δυαδικά Δέντρα Αναπαράσταση ως όρος Page 20 ζευγος(ζευγος(α,β)), ζευγος(γ,δ)) α β γ δ Αξιώματα περιεχει(χ,χ) περιεχει(χ,υ) περιεχει(χ,ζ) περεχει(χ, ζευγος(υ,ζ)) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

21 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Παράδειγμα [α,β,γ,δ] Λίστες Μεταβλητού Μήκους Page 21 Αναπαράσταση ως όρος.(α,.(β,.(γ,.(δ,nil)))) Γλώσσα Σταθερά οντοτήτων nil Συναρτησιακή Σταθερά.2 Σχεσιακή Σταθερά μελος Αξιώματα μελος(χ,.(χ,υ)) μελος(χ,ζ) μελος(χ,.(υ,ζ)) Γεώργιος Βούρος

22 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Ειδικές Περιπτώσεις Σχεσιακής Λογικής Καθορισμένη Λογική Οχι μεταβλητές, οχι συναρτήσεις, οχι ποσοδείκτες Page 22 Καθολική Λογική Οχι συναρτήσεις, οχι ποσοδείκτες Οι ελεύθερες μεταβλητές θεωρούνται έμμεσα καθορισμένες με καθολικούς ποσοδείκτες Υπαρξιακή Λογική Οχι συναρτήσεις Συναστησιακή Λογική Οχι ποσοδείκτες. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

23 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Περιορισμοί της Καθορισμένης Λογικής Ο καθένας τους αγαπάει όλους αγαπαει(νικος,μαρια), αγαπαει(νικος,μπεττυ), αγαπαει(γιαννης,μαρια), αγαπαει(γιαννης,μπεττυ), αγαπαει(μπεττυ,μαρια),... Το άθροισμα δυο φυσικων αριθμών είναι μεγαλύτερος από τον καθένα από τους δύο 1+1>1 1+2>1 1+2>2... Τι γίνεται αν πρόκειται για τους πραγματικούς αριθμούς; Page 23 Γεώργιος Βούρος

24 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Περιορισμοί της Καθολικής Λογικής Page 24 Για κάθε αριθμό υπάρχει ένας αριθμός που είναι μεγαλύτερος από αυτόν. Καθολική Λογική Χ<Ψ ΟΧΙ (εκφράζει ότι για κάθε Χ και Ψ ισχύει η σχέση)! Χ<α ΟΧΙ (εκφράζει ότι για κάθε Χ και μια σεθερά α ισχύει η σχέση)! Υπαρξιακή Λογική Χ. Ψ. Χ<Υ Συναρτησιακή Λογική Χ < f(χ) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

25 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Υπαρξιακοί και Καθολικοί Ποσοδείκτες Page 25 Έστω ότι Χ.π(Χ) είναι αληθές.αυτό ισχύει, Ανν π(χ) είναι αληθές για κάποιο Χ Ανν π(χ) είναι ψευδές για κάποιο Χ Ανν π(χ) είναι δεν είναι αληθές για κάποιο Χ Ανν δεν είναι αληθές ότι το π(χ) είναι αληθές για όλα τα Χ Ανν Χ. π(χ) δεν είναι αληθές Ανν Χ. π(χ) είναι ψευδές Ανν Χ. π(χ) είναι αληθές Γενικά Χ.φ είναι ισοδύναμο με Χ. φ Γεώργιος Βούρος

26 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Ανάγκη για Ποσοδείκτες Αφού το Χ.φ(Χ) είναι ισοδύναμο με το Χ. φ(χ) και φ(χ) στη καθολική λογική είναι ισοδύναμο με το Χ. φ(χ), γιατί να μη μπορούμε να δηλώσουμε την ύπαρξη οντοτήτων στην καθολική λογική μέσω της άρνησης; Παράδειγμα: Πως μπορούμε να πούμε ότι κάποιος αγαπάει το Μιχάλη μισει(χ,υ) αγαπαει(χ,υ) μισει(χ, Μιχαλη) Page 26 Τι θέλουμενα πούμε: Χ. μισει(χ, Μιχαλης) Τι έχουμε δηλώσει: Χ. μισει(χ, Μιχαλης) Αυτό λέει ότι κανένας δεν μισεί το Μιχάλη, δηλαδή ότι όλοι τον αγαπούν. Στην Καθολική Λογική οι ποσοδείκτες δεν δίνονται άμεσα και επομένως σε αυτούς δεν μπορούμε να εφαρμόσουμε την άρνηση. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

27 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Υπαρξιακοί Ποσοδείκτες και Συναρτήσεις Οι συναρτήσεις μπορούν να αντικατασταθούν από υπαρξιακούς ποσοδείκτες Page 27 αγαπαει(χ, f(x)) Υ. αγαπαει(χ,υ) Οι υπαρξιακοί ποσοδείκτες μπορούν να αντικατασταθούν από συναρτήσεις Υ. αγαπαει(χ,υ) αγαπαει(χ, f(x)) Θεώρημα: Μια υπαρξιακή πρόταση είναι ικανοποιήσιμη αν και μόνο αν η αντίστοιχη συναρτησιακή πρόταση είναι ικανοποιήσιμη. Γεώργιος Βούρος

28 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Page 28 Σημασιολογία στη Σχεσιακή Λογική ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

29 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Σημασιολογία στη Προτασιακή Λογική Page 29 Μια πρόταση είναι ταυτολογία αν και μόνο αν ικανοποιείται υπό οποιαδήποτε ερμηνεία. Μια πρόταση είναι ικανοποιήσιμη αν και μόνο αν υπάρχει ερμηνεία που την ικανοποιεί. Μια πρόταση είναι μη-ικανοποιήσιμη αν και μόνο αν δεν υπάρχει ερμηνεία που να την ικανοποιεί. Από ενα σύνολο υποθέσεων Δ συνεπάγεται λογικά το συμπέρασμα φ αν και μόνο αν κάθε ερμηνεία που ικανοποιεί τις υποθέσεις ικανοποιεί και το συμπέρασμα. Μια επμηνεία στην προτασιακή λογική είναι μια απεικόνιση από προτασιακές σταθερές στις τιμές αληθείας Τ, F. Γεώργιος Βούρος

30 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Σημασιολογία στη Σχεσιακή Λογική Μια πρόταση είναι ταυτολογία αν και μόνο αν ικανοποιείται υπό οποιαδήποτε ερμηνεία. Μια πρόταση είναι ικανοποιήσιμη αν και μόνο αν υπάρχει ερμηνεία που την ικανοποιεί. Μια πρόταση είναι μη-ικανοποιήσιμη αν και μόνο αν δεν υπάρχει ερμηνεία που να την ικανοποιεί. Page 30 Από ενα σύνολο υποθέσεων Δ συνεπάγεται λογικά το συμπέρασμα φ αν και μόνο αν κάθε ερμηνεία που ικανοποιεί τις υποθέσεις ικανοποιεί και το συμπέρασμα. Ερώτηση: Τι είναι ερμηνεία στη σχεσιακή λογική; Δεν υπάρχουν προτασιακές σταθερές, αλλά σταθερές οντοτήτων, σχεσιακές σταθερές και συναρτησιακές σταθερές. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

31 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Δομή της Παρουσίασης Page 31 Εννοιολογική μορφοποίηση του σύμπαντος Μοντελοποίηση του σύμπαντος με βάση τα αντικείμενα και τις σχέσεις Μοντελοποίηση του σύμπαντος με τη μορφή γραφήματος Μοντελοποίηση του κόσμου με τη μορφή βάσης δεδομένων Σημασιολογία της Σχεσιακής Λογικής Ατομικές προτάσεις Λογικές-Σύνθετες προτάσεις Προτάσεις με ποσοδείκτες Γενικά σχόλια Οντολογικά θέματα Ο ρόλος της λογικής Γεώργιος Βούρος

32 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Σύμπαν Page 32 Το σύμπαν είναι το σύνολο των αντικειμένων για τα οποία θέλουμενα δηλώσουμε κάτι. Πρωταρχικά αντικείμενα quark Σύνθετα αντικείμενα μηχανή, αυτοκίνητο Πραγματικά αντικείμενα Φανταστικά αντικείμενα ήλιος, Μιχάλης Sherlock Holmes Φυσικά αντικειμενα γή, ωκεανός Αφηρειμενα εντικείμενα δικαιοσύνη ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

33 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Κόσμος των κύβων Page 33 Γεώργιος Βούρος

34 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Σύμπαν Page 34 ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

35 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Κύβοι Άλλα Σύμπαντα Page 35 Στοίβες Κομάτια Γεώργιος Βούρος

36 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Σχέσεις Σχέση είναι ένα σύνολο από αντικείμενα ή σύνολο ν-άδων αντικειμένων που δηλώνουν μια συγκεκριμένη ιδιότητα ή συσχέτιση. Page 36 Παραδείγματα: Καθαρό αληθεύει αν ενας κύβος δεν έχει κανένα κύβο από επάνω του Τραπέζι αληθεύει αν ένας κύβος ακουμπάει στο τραπέζι Επάνω αληθεύει για δύο κύβους όπου ένας κύβος είναι πάνω στον άλλο Απο_επάνω αληθεύει για δυο κύβους, αν ο ένας είναι κάπου πάνω από τον άλλο Απο_κάτω - αληθεύει για δυο κύβους, αν ο ένας είναι κάπου κάτω από τον άλλο Στοίβα αληθεύει για τρεις κύβους αν σχηματίζουν μια στοίβα. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

37 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Εννοιολογική μορφοποίηση με τη μορφή γραφημάτων Page 37 α δ β ε γ Γεώργιος Βούρος

38 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Εννοιολογική μορφοποίηση με τη μορφή γραφημάτων Page 38 α επάνω επάνω β επάνω δ ε γ ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

39 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Εννοιολογική μορφοποίηση με τη μορφή γραφημάτων Page 39 καθαρό α καθαρό δ επάνω επάνω β στοίβα τραπέζι επάνω ε τραπέζι γ Γεώργιος Βούρος

40 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Εννοιολογική μορφοποίηση ως βάση δεδομένων Page 40 Μια βάση δεδομένων είναι ένα σύνολο από καλά καθορισμένες, ατομικές προτάσεις όπου όλα τα ορίσματα είναι σταθερές. {καθαρο(α), καθαρό(δ), τραπέζι(ε), τραπέζι(γ), επάνω(α,β), επάνω(β,γ), επάνω(δ,γ), στοίβα(α,δ,γ)} ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

41 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Εννοιολογική μορφοποίηση ως βάση δεδομένων Μια βάση δεδομένων μπορεί να παρασταθεί και ως γράφημα, όπου κάθε πρόταση αντιστοιχεί και σε μια ακμή του γραφήματος. Page 41 καθαρό επάνω επάνω α β στοίβα καθαρό τραπέζι επάνω δ ε τραπέζι γ {καθαρο(α), καθαρο(δ), τραπεζι(ε), τραπεζι(γ), επανω(α,β), επανω(β,γ), επανω(δ,γ), στοιβα(α,δ,γ)} Γεώργιος Βούρος

42 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Δομή της Παρουσίασης Page 42 Εννοιολογική μορφοποίηση του σύμπαντος Μοντελοποίηση του σύμπαντος με βάση τα αντικείμενα και τις σχέσεις Μοντελοποίηση του σύμπαντος με τη μορφή γραφήματος Μοντελοποίηση του κόσμου με τη μορφή βάσης δεδομένων Σημασιολογία της Σχεσιακής Λογικής Ατομικές προτάσεις Λογικές προτάσεις Προτάσεις με ποσοδείκτες Γενικά σχόλια Οντολογικά θέματα Ο ρόλος της λογικής ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

43 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Γραφήματα/βάσεις δεδομένων ως Ερμηνείες Page 43 Ορίζουμε μια ερμηνεία ως ένα γράφημα με εττικέτες, ή ως μια βάση δεδομένων που αντιστοιχεί στο γράφημα αυτό. Για πολλούς είναι ευκολότερο να θεωρούν την ερμηνεία ως γράφημα. Η σημασιολογία είναι απλούστερη όταν ορίζεται ως μια βάση δεδομένων Πάντως και οι δύο θεωρήσεις είναι ισοδύναμες. Γεώργιος Βούρος

44 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Στιγμιότυπα Στιγμιότυπο μιας πρότασης που δεν περιέχει συναρτήσεις, σε σχέση με μια ερμηνεία, είναι μια πρόταση που προκύπτει από τη συνεπή αντικατάσταση κάθε ελεύθερης μεταβλητής με την εττικέτα ενός κόμβου του γραφήματος. Page 44 π(α,β) τ(α,β,γ) π(α,α) τ(α,β,γ) Σημειώστε ότι δεν αντικαθιστούμε μεταβλητές που είναι προσδιορισμένες. Α. Β. Π(Χ,Α,Β) Α. Β. Π(α,Α,Β) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

45 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Ατομικές Προτάσεις Page 45 Μια καθορισμένη ατομική πρόταση είναι αληθής υπό μια ερμηνεία αν και μόνο αν η πρόταση αυτή είναι μέλος της βάσης δεδομένων. Ερμηνεία/βάση δεδομένων {καθαρο(α), καθαρο(δ), τραπεζι(ε), τραπεζι(γ), επανω(α,β), επανω(β,γ), επανω(δ,γ), στοιβα(α,δ,γ)} Αληθές Ψευδες Καθαρο(α) καθαρό(β) Καθαρό(δ) καθαρό(γ) καθαρό(ε) Γεώργιος Βούρος

46 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Λογικές προτάσεις Page 46 Μια άρνηση είναι αληθής αν και μόνο αν ο στόχος της άρνησης είναι ψευδής Μια σύζευξη είναι αληθής αν και μόνο αν κάθε όρος της σύζευξης είναι αληθής Μια διάζευξη είναι αληθής αν και μόνο αν κάποιος όρος της διάζευξης είναι αληθής. Μια συνεπαγωγή είναι αληθής αν και μόνο αν η υπόθεση είναι ψευδής ή το συμπέρασμα είναι αληθές. Μια ισοδυναμία είναι αληθής αν και μόνο αν και οι δύο όροι της ισοδυναμίας έχουν την ίδια τιμή αληθείας. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

47 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Προτάσεις με ποσοδείκτες Μια καθολικά προσδιορισμένη πρόταση είναι αληθής αν και μόνο αν κάθε στιγμιότυπό της είναι αληθές. Μια υπαρξιακά προσδιορισμένη πρόταση είναι αληθής αν και μόνο αν υπάρχει ένα στιγμιότυπο της που είναι αληθές. Page 47 Ερμηνεία/βάση δεδομένων {καθαρο(α), καθαρο(δ), τραπεζι(ε), τραπεζι(γ), επανω(α,β), επανω(β,γ), επανω(δ,γ), στοιβα(α,δ,γ)} Αληθές Ψευδές Χ. (επάνω(χ,υ) επάνω(υ,χ)) Χ επάνω(χ,υ) Χ. καθαρό(χ) Χ. τραπέζι(χ) καθαρό(χ) Γεώργιος Βούρος

48 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Ανοικτές Προτάσεις Οι παραπάνω ορισμοί εφαρμόζονται σε κλειστές προτάσεις (δηλαδή σε προτάσεις δίχως ελεύθερες μεταβλητές) Page 48 Μια ερμηνεία αποτελεί μοντέλο μιας ανοικτής πρότασης αν και μόνο αν κάθε στιγμιότυπο της πρότασης αυτής ικανοποιείται σε σχέση με αυτή την ερμηνεία. Αληθές Ψευδές (επάνω(χ,υ) επάνω(υ,χ)) επάνω(χ,υ) Το παραπάνω απλώς δηλώνει ότι οι ελεύθερες μεταβλητές είναι προσδιορισμένες καθολικά ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

49 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Προσέξτε τα παρακάτω: Page x.p(x) p(x) H πρόταση αυτή είναι Ταυτολογία. Είναι στιγμιότυπο του αξιώματος UI 2. p(x) x.p(x) H πρόταση αυτή είναι Ικανοποιήσιμη. Αυτό ίσως να σας ξαφνιάσει. Θυμηθείτε ότι για να είναι μια πρόταση ταυτολογία θα πρέπει να είναι αληθής υπό οποιαδήποτε ερμηνεία (όλες οι ερμηνείες είναι μοντέλα): Έστω το σύμπαν {0, 1} και μια ερμηνεία για το p τέτοια ώστε μόνο το p(0) να είναι αληθές. Τότε για x = 0 η συνθήκη είναι αληθής αλλά το συμπέρασμα της συνεπαγωγής ψευδές. Γεώργιος Βούρος

50 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Συναρτήσεις Page 50 Μια συνάρτηση βαθμού ν θεωρείται ως μια (συνολοθεωρητική) σχέση που συσχετίζει κάθε συνδιασμό (ν-1)-αντικειμένων στο σύμπαν (καλούνται ορίσματα) με ένα αντικειμένο (καλείται η τιμή της συνάρτησης) Αριθμητικά παραδείγματα: Μοναδιαίες: sqrt, log Διμελείς: +,-,*,/ Άλλα Παραδείγματα Μοναδιαίες: πατέρας, μητέρα ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

51 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Συναρτήσεις Page 51 Οι συναρτήσεις μπορεί να είναι ολικές και μονότιμες μία και μόνο μια τιμή για κάθε συνδυασμό ορισμάτων Επιμέρους δεν ορίζονται για κάποιους συνδυασμούς ορισμάτων Πλειότιμες περισσότερες της μιας τιμής για κάθε συνδυασμό ορισμάτων Μιλάμε μόνο για ολικές και μονότιμες. Γεώργιος Βούρος

52 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Συναρτήσεις και Βάσεις Δεδομένων Page 52 Μια συνάρτηση παρίσταται ως μια οποιαδήποτε άλλη σχέση. {αφεντικό( γιωργος, γιωργος), αφεντικο(νίκος, γιώργος)} Όμως για να φαίνεται ότι μιλάμε για συναρτήσεις, τις γράφουμε με τη μορφή ισότητας. {αφεντικό( γιωργος)= γιωργος, αφεντικο(νίκος)= γιώργος } ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

53 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Στιγμιότυπα (τελική έκδοση) Page 53 Το στιγμιότυπο μιας πρότασης υπό μια ερμηνεία είναι μια πρόταση που προκύπτει αν (α) αντικαταστήσουμε κάθε ελεύθερη μεταβλητή με την εττικέτα ενός κόμβου από το γράφημα (την ερμηνεία) με συνέπεια (β) αντικαταστήσουμε κάθε καθορισμένο συναρτησιακό όρο με την τιμή του υπό την ερμηνεία αυτή. Ερμηνεία {αφεντικό( γιωργος)= γιωργος, αφεντικο(νίκος)= γιώργος } Παράδειγμα π(χ,αφεντικό(χ)) π(νικος, αφεντικό(νικος)) π(νικος, γιωργος) Γεώργιος Βούρος

54 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Σημείωση Page 54 Ο ορισμός μιας ερμηνείας που δίνεται εδώ δεν είναι ίδιος με αυτόν που δίνεται σε βιβλία λογικής. Όμως είναι ισοδύναμος σε σχέση με τα αποτελέσματα που παράγει. Επίσης, είναι σημαντικά απλούστερος από αυτούς τους ορισμούς και περισσότερο διαισθητικός για ανθρώπους που ενδιαφέρονται να δημιουργήσουν υπολογιστικά συστήματα. ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

55 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Δομή της Παρουσίασης Εννοιολογική μορφοποίηση του σύμπαντος Μοντελοποίηση του σύμπαντος με βάση τα αντικείμενα και τις σχέσεις Μοντελοποίηση του σύμπαντος με τη μορφή γραφήματος Μοντελοποίηση του κόσμου με τη μορφή βάσης δεδομένων Page 55 Σημασιολογία της Σχεσιακής Λογικής Ατομικές προτάσεις Λογικές προτάσεις Προτάσεις με ποσοδείκτες Γενικά σχόλια Οντολογικά θέματα Ο ρόλος της λογικής Γεώργιος Βούρος

56 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Κύβοι Οντολογικά θέματα Page 56 Στοίβες Κομάτια ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

57 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Εννοιολογική Μορφοποίηση Page 57 κόκκινο επάνω µπλέ επάνω α β κόκκινο πράσινο επάνω δ ε πράσινο γ Γεώργιος Βούρος

58 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Αναγωγή Page 58 α χρώµα κόκκινο χρώµα δ επάνω β χρώµα µπλέ επάνω επάνω γ χρώµα πράσινο χρώµα ε ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

59 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Αναγωγή Page 59 επανω(α,β) επανω(α,β) επανω(β,γ) επανω(β,γ) επανω(δ,ε) επανω(δ,ε) κοκκινο(α) χρώμα(α,κοκκινο) κοκκινο(δ) χρώμα(δ,κοκκινο) μπλε(β) χρώμα(β,μπλε) πρασινο(γ) χρώμα(γ,πρασινο) πρασινο(ε) χρώμα(ε,πρασινο) Γεώργιος Βούρος

60 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων Αναγωγή Page 60 επανω(α,β) ιδιότητα(επανω, α,β) επανω(β,γ) ιδιότητα(επανω, β,γ) επανω(δ,ε) ιδιότητα(επανω, δ,ε) κοκκινο(α) ιδιότητα( χρώμα, α,κοκκινο) κοκκινο(δ) ιδιότητα( χρώμα, δ,κοκκινο) μπλε(β) ιδιότητα( χρώμα, β,μπλε) πρασινο(γ) ιδιότητα( χρώμα, γ,πρασινο) πρασινο(ε) ιδιότητα( χρώμα, ε,πρασινο) ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Γεώργιος Βούρος

61 Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων 2007 Ρόλος της Λογικής Μη πλήρης Πληροφορία Ο κύβος α είναι πάνω στον κύβο β ή πάνω από τον κύβο γ Ο κύβος α δεν είναι πάνω στο κύβο β Page 61 Ακεραιότητα Ένας κύβος δεν είναι πάνω από τον εαυτό του Ενας κύβος μπορεί να είναι πάνω από ένα άλλο κύβο το πολύ Ορισμοί Ενας κύβος είναι κάτω από κάποιον άλλο αν ο δεύτερος είναι πάνω στον πρώτο Ένας κύβος είναι καθαρός αν δεν υπάρχει άλλος κύβος από πάνω του Ένας κύβος βρίσκεται πανω από το τραπέζι αν δεν υπάρχει άλλος κύβος κάτω από αυτόν. Γεώργιος Βούρος

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

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

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

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

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)

Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης

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

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

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

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

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

Στοιχεία Προτασιακής Λογικής

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

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

Στοιχεία Προτασιακής Λογικής

Στοιχεία Προτασιακής Λογικής Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

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

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

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

Στοιχεία Κατηγορηματικής Λογικής

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

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

Στοιχεία Προτασιακής Λογικής

Στοιχεία Προτασιακής Λογικής Στοιχεία Προτασιακής Λογικής ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Μαθηματικές Προτάσεις (Μαθηματική)

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

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Ικανοποιητική βαθμολογική εικόνα

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

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική)

ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) ΠΛΗ 20, 3 η ΟΣΣ (Κατηγορηματική Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 2 η Εργασία: Γενική Εικόνα Αρκετά καλή βαθμολογική εικόνα (

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

Υποθετικές προτάσεις και λογική αλήθεια

Υποθετικές προτάσεις και λογική αλήθεια Υποθετικές προτάσεις και λογική αλήθεια Δρ. Παναγιώτης Λ. Θεοδωρόπουλος Σχολικός Σύμβουλος κλάδου ΠΕ03 www.p-theodoropoulos.gr Περίληψη Στην εργασία αυτή επιχειρείται μια ερμηνεία της λογικής αλήθειας

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

Μαθηματική Λογική και Λογικός Προγραμματισμός

Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών

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

ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά

ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση: Έστω ότι έχουμε τους παίκτες Χ και Υ. Ο κάθε παίκτης, σε κάθε κίνηση που κάνει, προσπαθεί να μεγιστοποιήσει την πιθανότητά του να κερδίσει. Ο Χ σε κάθε κίνηση που κάνει

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

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q

p p 0 1 1 0 p q p q p q 0 0 0 0 1 0 1 0 0 1 1 1 p q Σημειώσεις του Μαθήματος Μ2422 Λογική Κώστας Σκανδάλης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2010 Εισαγωγή Η Λογική ασχολείται με τους νόμους ορθού συλλογισμού και μελετά τους κανόνες βάσει των οποίων

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

Καθηγητής Γεώργιος Βούρος. Μαθηµατική Λογική και Λογικός Προγραµµατισµός

Καθηγητής Γεώργιος Βούρος. Μαθηµατική Λογική και Λογικός Προγραµµατισµός Καθηγητής Γεώργιος Βούρος Μαθηµατική Λογική και Λογικός Προγραµµατισµός Page 2 ΕΙΣΑΓΩΓΗ ΑΝΘΡΩΠΙΝΗ ΛΟΓΙΚΗ ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ 2011 Τµήµατα Πληροφορίας Ο κόκκινος κύβος

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

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

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

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Μαθηματική Λογική Τελική εξέταση Ιούλιος 2014 α Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

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

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................

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

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Μαθηματική Λογική Εξέταση Σεπτέμβριος 2014 α Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

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

Εφαρμογές της Λογικής στην Πληροφορική

Εφαρμογές της Λογικής στην Πληροφορική Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Εθνικό Μετσόβιο Πολυτεχνείο Εφαρμογές της Λογικής στην Πληροφορική Ενότητα 2 Πέτρος Στεφανέας, Γεώργιος Κολέτσος Άδεια Χρήσης Το παρόν εκπαιδευτικό

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης. 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus)

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης. 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus) ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 5ο μέρος σημειώσεων: Κατηγορηματικός Λογισμός (Predicate Calculus) Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό

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

ΑΡΙΘΜΗΤΙΚΗ ΟΡΙΣΙΜΟΤΗΤΑ

ΑΡΙΘΜΗΤΙΚΗ ΟΡΙΣΙΜΟΤΗΤΑ ΑΡΙΘΜΗΤΙΚΗ ΟΡΙΣΙΜΟΤΗΤΑ Έστω L, η γλώσσα της αριθµητικής και Ν η στάνταρτ ερµηνεία της. Για µια πρόταση της L αντί να λέµε 'αληθής' στην στάνταρτ ερµηνεία θα λέµε για συντοµία ότι η πρόταση είναι ορθή.

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

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι Για τον προτασιακό λογισμό παρουσιάσαμε την αποδεικτική θεωρία (natural deduction/λογικό συμπέρασμα) τη σύνταξη (ορίζεται με γραμματική χωρίς συμφραζόμενα και εκφράζεται με συντακτικά

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

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Μαθηματική Λογική Εξέταση Σεπτεμβρίου 2016 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

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

Πρόταση. Αληθείς Προτάσεις

Πρόταση. Αληθείς Προτάσεις Βασικές έννοιες της Λογικής 1 Πρόταση Στην καθημερινή μας ομιλία χρησιμοποιούμε εκφράσεις όπως: P1: «Καλή σταδιοδρομία» P2: «Ο Όλυμπος είναι το ψηλότερο βουνό της Ελλάδας» P3: «Η Θάσος είναι το μεγαλύτερο

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

Κανονικές μορφές - Ορισμοί

Κανονικές μορφές - Ορισμοί HY-180 Περιεχόμενα Κανονικές μορφές (Normal Forms) Αλγόριθμος μετατροπής σε CNF-DNF Άρνηση (Negation) Βασικές Ισοδυναμίες με άρνηση Νόμος De Morgan Πίνακες Αληθείας Κανονικές μορφές - Ορισμοί Ορισμός:

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

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF

Λογική. Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Φροντιστήριο 3: Συνεπαγωγή/Ισοδυναμία, Ταυτολογίες/Αντινομίες, Πλήρης Αλγόριθμος Μετατροπής σε CNF Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες

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

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017

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

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα Αλγόριθμοι πολυωνυμικού χρόνου Ένας αλγόριθμος πολυωνυμικού χρόνου έχει χρόνο εκτέλεσης όπου είναι μία (θετική) σταθερά Κλάση πολυπλοκότητας : περιλαμβάνει τα προβλήματα που επιδέχονται λύση σε πολυωνυμικό

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

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

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

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

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Μαθηματική Λογική A Ενδιάμεση εξέταση Μάρτιος 2014 Σελ. 1 από 6 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

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

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά Τρίτη, 21/02/2017 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 2/21/2017

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

τα βιβλία των επιτυχιών

τα βιβλία των επιτυχιών Τα βιβλία των Εκδόσεων Πουκαμισάς συμπυκνώνουν την πολύχρονη διδακτική εμπειρία των συγγραφέων μας και αποτελούν το βασικό εκπαιδευτικό υλικό που χρησιμοποιούν οι μαθητές των φροντιστηρίων μας. Μέσα από

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

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

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

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

Mαθηματική Λογική και Λογικός Προγραμματισμός

Mαθηματική Λογική και Λογικός Προγραμματισμός ΕΠΙΚΟΙΝΩΝΙΑΚΩΝ ΣΥΤΗΜΑΤΩΝ ΦΕΒΡΟΥΑΡΙΟΥ 2004 Θέμα 1 ο : Αποδείξτε με τον κανόνα της επίλυσης τα ακόλουθα Α. Η πρόταση (Α (Β C)) & (A B) & (A C) είναι μη επαληθεύσιμη Β. Η Β είναι αποδείξιμη από το Δ={ (Β

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ Περιεχόμενα : Α) Προτάσεις-Σύνθεση προτάσεων Β)Απόδειξη μιας πρότασης Α 1 ) Τι είναι πρόταση Β 1 ) Βασικές έννοιες Α ) Συνεπαγωγή Β ) Βασικές μέθοδοι απόδειξης Α 3 ) Ισοδυναμία

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

Εισαγωγή στις Αρχές της επιστήμης των ΗΥ

Εισαγωγή στις Αρχές της επιστήμης των ΗΥ Εισαγωγή στις Αρχές της επιστήμης των ΗΥ Ερωτήσεις και ασκήσεις για επανάληψη 1. Τι είναι πρόβλημα (σελ 14) 2. Ποιες είναι οι κατηγορίες προβλημάτων με βάση την επίλυση; Δώστε τον ορισμό για κάθε μια κατηγορία.

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

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ 118 ερωτήσεις θεωρίας με απάντηση 34 416 ασκήσεις για λύση ερωτήσεις κατανόησης λυμένα παραδείγματα 0 συνδυαστικά θέματα εξετάσεων Π Ε Ρ Ι Ε Χ Ο Μ Ε Ν Α Εισαγωγική ενότητα Το λεξιλόγιο

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

Αναπαράσταση Γνώσης και Συλλογιστικές

Αναπαράσταση Γνώσης και Συλλογιστικές ναπαράσταση Γνώσης και Συλλογιστικές! Γενικά Προτασιακή λογική Λογική πρώτης τάξης Λογικός προγραµµατισµός Επεκτάσεις της Λογικής Πρώτης Τάξης Συστήµατα Κανόνων Επίλογος ναπαράσταση γνώσης " ναπαράσταση

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

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 5η Προτασιακή Λογική

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 5η Προτασιακή Λογική ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 5η Προτασιακή Λογική Σκοπός της παρούσας εργασίας είναι η εξοικείωση µε τις έννοιες της Προτασιακής Λογικής. Η εργασία πρέπει να γραφεί ηλεκτρονικά

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

HY118- ιακριτά Μαθηµατικά

HY118- ιακριτά Μαθηµατικά HY118- ιακριτά Μαθηµατικά (Τσικνο)Πέµπτη, 12/02/2015 Το υλικό των Αντώνης διαφανειών Α. Αργυρός έχει βασιστεί σε διαφάνειες του e-mail: Kees argyros@csd.uoc.gr van Deemter, από το University of Aberdeen

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

Δώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων.

Δώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων. Εισαγωγή στη Λογική Α Τάξης Σ. Κοσμαδάκης Συντακτικό τύπων Α τάξης Α Θεωρούμε δεδομένο ένα λεξιλόγιο Λ, αποτελούμενο από (1) ένα σύνολο συμβόλων για σχέσεις, { R, S,... } (2) ένα σύνολο συμβόλων για συναρτήσεις,

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

ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική)

ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική) ΠΛΗ 20, 2 η ΟΣΣ (Προτασιακή Λογική) Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 1 η Εργασία: Γενική Εικόνα Πολύ καλή εικόνα με εξαιρετική βαθμολογία

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

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

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

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

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

Κατηγορηµατική Λογική Προβλήµατα της Προτασιακής Λογικής Γιατί δεν µας αρκεί η Προτασιακή Λογική; Εστω ότι ισχύουν τα P και Q: P : «Ο Σωκράτης είναι άνθρωπος» Q : «Κάθε άνθρωπος είναι ϑνητός» R : «Ο Σωκράτης είναι ϑνητός» Μπορούµε

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

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

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

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

ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PASCAL

ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PASCAL 8.1. Εισαγωγή ΚΕΦΑΛΑΙΟ 8 Η ΓΛΩΣΣΑ PACAL Πως προέκυψε η γλώσσα προγραμματισμού Pascal και ποια είναι τα γενικά της χαρακτηριστικά; Σχεδιάστηκε από τον Ελβετό επιστήμονα της Πληροφορικής Nicklaus Wirth to

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

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

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

1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών

1 Συνοπτική ϑεωρία. 1.1 Νόµοι του Προτασιακού Λογισµού. p p p. p p. ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-180: Λογική Εαρινό Εξάµηνο 2016 Κ. Βάρσος Πρώτο Φροντιστήριο 1 Συνοπτική ϑεωρία 1.1 Νόµοι του Προτασιακού Λογισµού 1. Νόµος ταυτότητας : 2. Νόµοι αυτοπάθειας

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

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

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

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

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΙΛΟΓΗΣ 1) Ποιοι είναι οι τελεστές σύγκρισης και

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

Τεχνητή Νοημοσύνη. 9η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 9η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 9η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται εν μέρει στο βιβλίο Artificial Intelligence A Modern Approach των

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

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

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

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε

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

HY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6

HY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6 HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο 2015-2016 Φροντιστήριο 6 Α) ΘΕΩΡΙΑ Μέθοδος Επίλυσης (Resolution) Στη μέθοδο της επίλυσης αποδεικνύουμε την ικανοποιησιμότητα ενός συνόλου προτάσεων,

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

Λογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο

Λογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο Λογική Πρώτης Τάξης Γιώργος Κορφιάτης Εθνικό Μετσόβιο Πολυτεχνείο Νοέµβριος 2008 Σύνταξη Ορισµός (Σύνταξη της λογικής πρώτης τάξης) Λεξιλόγιο Σ = (Φ, Π, r) Συναρτήσεις f Φ Σχέσεις R Π r( ) η πληθικότητα

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

Τεχνητή Νοημοσύνη. 10η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 10η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 10η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Τι θα ακούσετε σήμερα Σημασιολογία πρωτοβάθμιας κατηγορηματικής λογικής. Υπενθύμιση: συντακτικό ΠΚΛ τύπος ατομικός_τύπος

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

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017

HY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017 HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University

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

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη) Εισαγωγή στις βασικές έννοιες των Μαθηματικών 5 ο Μάθημα Μαθηματική Λογική (επανάληψη) Προτάσεις Η πρόταση είναι μια γλωσσική ενότητα, η οποία εκφράζει κάποιο νόημα. Παραδείγματα: Η Μαρία σχεδιάζει ένα

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

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Φυλλάδιο 1: Προτασιακή Λογική ΟΚΤΩΒΡΙΟΣ 2006 1. Ικανοποιησιμότητα Αποφασίστε αν οι παρακάτω προτάσεις είναι ταυτολογίες, ικανοποιήσιμες ή μη-ικανοποιήσιμες

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

Ανδρέας Παπαζώης. Τμ. Διοίκησης Επιχειρήσεων

Ανδρέας Παπαζώης. Τμ. Διοίκησης Επιχειρήσεων Ανδρέας Παπαζώης Τμ. Διοίκησης Επιχειρήσεων Περιεχόμενα Εργ. Μαθήματος Εισαγωγή στην Τεχνητή Νοημοσύνη και τα Ευφυή Συστήματα Γνώση και αναπαράσταση γνώσης Παραδείγματα μετατροπής φυσικής γλώσσας 2/14

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

Σημειώσεις Μαθηματικής Λογικής. Χειμερινό Εξάμηνο Δ. Ζώρος, Ν. Καρβέλας Σύμφωνα με παραδόσεις του Λ. Κυρούση

Σημειώσεις Μαθηματικής Λογικής. Χειμερινό Εξάμηνο Δ. Ζώρος, Ν. Καρβέλας Σύμφωνα με παραδόσεις του Λ. Κυρούση Σημειώσεις Μαθηματικής Λογικής Χειμερινό Εξάμηνο 2011-2012 Δ. Ζώρος, Ν. Καρβέλας Σύμφωνα με παραδόσεις του Λ. Κυρούση Περιεχόμενα 1 Εισαγωγή 1 2 Προτασιακή Λογική 3 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές

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

Εντολές της LOGO (MicroWorlds Pro)

Εντολές της LOGO (MicroWorlds Pro) Εντολές της LOGO (MicroWorlds Pro) Εντολές εμφάνισης (εξόδου) και αριθμητικές πράξεις δείξε Εμφανίζει στην οθόνη έναν αριθμό, το αποτέλεσμα πράξεων, μια λέξη ή μια λίστα (ομάδα) λέξεων. δείξε 200 200 δείξε

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

Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού

Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή Γνώση γλώσσας από τη σκοπιά Του συντακτικού (syntax) Περιγραφή με γραμματικές

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

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2 A. ΠΡΟΤΑΣΕΙΣ Στα Μαθηµατικά χρησιµοποιούµε προτάσεις οι οποίες µπορούν να χαρακτηριστούν ως αληθείς (α) ή ψευδείς (ψ). Τις προτάσεις συµβολίζουµε µε τα τελευταία µικρά γράµµατα του Λατινικού αλφαβήτου:

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

Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος Κων/νος Φλώρος

Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος Κων/νος Φλώρος Βασικοί τύποι δεδομένων (Pascal) ΕΠΑ.Λ Αλίμου Γ Πληροφορική Δομημένος Προγραμματισμός (Ε) Σχολ. Ετος 2012-13 Κων/νος Φλώρος Απλοί τύποι δεδομένων Οι τύποι δεδομένων προσδιορίζουν τον τρόπο παράστασης των

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

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

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

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

ΑΣΚΗΣΕΙΣ ΣΤΗ ΛΟΓΙΚΗ Α Ψ Α Ψ viii) 9. Α Ψ ix) Α Ψ xi) Α Ψ xii) 0 0. Α Ψ xiii) Α Ψ xiv) Α Ψ xv)

ΑΣΚΗΣΕΙΣ ΣΤΗ ΛΟΓΙΚΗ Α Ψ Α Ψ viii) 9. Α Ψ ix) Α Ψ xi) Α Ψ xii) 0 0. Α Ψ xiii) Α Ψ xiv) Α Ψ xv) ΑΣΚΗΣΕΙΣ ΣΤΗ ΛΟΓΙΚΗ 1. Σε κάθε μία από τις παρακάτω προτάσεις να κυκλώσετε το γράμμα Α, αν θεωρείτε ότι ο ισχυρισμός που διατυπώνετε είναι αληθής, ενώ αν θεωρείτε ότι είναι ψευδής να κυκλώσετε το Ψ. Οι

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

Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών

Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και

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

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

ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ ΜΕΡΟΣ ΙΙ ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ 36 ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΔΙΑΚΡΙΤΩΝ ΕΝΑΛΛΑΚΤΙΚΩΝ ΣΕ ΠΡΟΒΛΗΜΑΤΑ ΣΧΕΔΙΑΣΜΟΥ ΚΑΙ ΣΥΝΘΕΣΗΣ ΔΙΕΡΓΑΣΙΩΝ Πολλές από τις αποφάσεις

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

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

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

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

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Ορισμός της δίτιμης άλγεβρας Boole Περιεχόμενα 1 Ορισμός της

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

Τεχνητή Νοημοσύνη. 7η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Τεχνητή Νοημοσύνη. 7η διάλεξη ( ) Ίων Ανδρουτσόπουλος. Τεχνητή Νοημοσύνη 7η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel

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

ΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ ΔΕΔΟΜΕΝΩΝ

ΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ ΔΕΔΟΜΕΝΩΝ ΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ ΔΕΔΟΜΕΝΩΝ Στόχοι Η παρούσα ενότητα αναφέρεται σε ν-μελείς σχέσεις, παρουσιάζει το σχεσιακό μοντέλο δεδομένων και παραδείγματα τελεστών για τον χειρισμό των δεδομένων σε μια σχεσιακή βάση

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

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ 1. ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στόχος Να γνωρίζουν οι μαθητές: να αξιοποιούν το σύμβολο της συνεπαγωγής και της ισοδυναμίας να αξιοποιούν τους συνδέσμους «ή», «και» ΕΙΣΑΓΩΓΗ Η συννενόηση μεταξύ των ανθρώπων

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

2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΘΕΩΡΙΑ 2 ΟΥ και 7 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΑΛΓΟΡΙΘΜΩΝ και ΔΟΜΗ ΑΚΟΛΟΥΘΙΑΣ 2.1 Να δοθεί ο ορισμός

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

ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ. ΜΑΘΗΜΑ 2 ο. ΑΛΓΕΒΡΑ Boole ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ

ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ. ΜΑΘΗΜΑ 2 ο. ΑΛΓΕΒΡΑ Boole ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ ΜΑΘΗΜΑ 2 ο ΑΛΓΕΒΡΑ Boole ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ 2009-10 ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ 1 Άλγεβρα Βοοle η θεωρητική βάση των λογικών κυκλωμάτων Η άλγεβρα Βοοle ορίζεται επάνω στο σύνολο

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

1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ

1. ΕΙΣΑΓΩΓΗ ΣΤΗ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ MYY204 Διακριτά Μαθηματικά Μθ άii Προτασιακή Λογική ιδακτικές Σημειώσεις EPP : Παράγραφοι 1.1 1.2 Rosen: Παράγραφοι 1.1 1.3 1 η +2 η Εβδομάδα Άνοιξη 2015 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Παν. Ιωαννίνων

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

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

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

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

Ασκήσεις Επανάληψης Λύσεις

Ασκήσεις Επανάληψης Λύσεις Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)

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

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ20, ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗ ΕΞΕΤΑΣΗ ΙΟΥΛΙΟΥ 203, Α ΜΕΡΟΣ ΣΥΜΠΛΗΡΩΣΤΕ ΤΑ ΣΤΟΙΧΕΙΑ ΣΑΣ ΚΑΙ ΜΗΝ ΑΝΟΙΞΕΤΕ ΤΑ ΕΡΩΤΗΜΑΤΑ ΑΝ ΔΕΝ ΣΑΣ ΠΕΙ Ο ΕΠΙΤΗΡΗΤΗΣ ΕΠΩΝΥΜΟ ΟΝΟΜΑ... ΠΑΤΡΩΝΥΜΟ...ΤΜΗΜΑ..

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

Ευχαριστίες. Τέλος θα ήθελα να ευχαριστήσω όλους όσους ήταν δίπλα μου όλα αυτά τα χρόνια και με βοήθησαν να πραγματοποιήσω τους στόχους μου.

Ευχαριστίες. Τέλος θα ήθελα να ευχαριστήσω όλους όσους ήταν δίπλα μου όλα αυτά τα χρόνια και με βοήθησαν να πραγματοποιήσω τους στόχους μου. Ευχαριστίες Θα ήθελα να ευχαριστήσω τον καθηγητή μου, Δρ Γιάννη Δημόπουλο, ο οποίος ήταν ο επιβλέπον καθηγητής της διπλωματικής αυτής εργασίας και με βοήθησε ώστε να ολοκληρωθεί με επιτυχία. Επίσης θα

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

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ

2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΣΚΗΣΕΙΣ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΙΛΟΓΗΣ ΕΡΩΤΗΣΕΙΣ ΣΩΣΤΟ ΛΑΘΟΣ Σημειώστε αν είναι

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

ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου)

ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου) ΔΟΜΗΜΕΝΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ Κεφάλαιο 8 : H γλώσσα προγραµµατισµού Pascal 1 ο Μέρος σηµειώσεων (Ενότητες 8.1 & 8.2 σχολικού βιβλίου) 1. Εισαγωγή Χαρακτηριστικά της γλώσσας Τύποι δεδοµένων Γλώσσα προγραµµατισµού

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

Αλγόριθμοι Αναπαράσταση αλγορίθμων Η αναπαράσταση των αλγορίθμων μπορεί να πραγματοποιηθεί με:

Αλγόριθμοι Αναπαράσταση αλγορίθμων Η αναπαράσταση των αλγορίθμων μπορεί να πραγματοποιηθεί με: Αλγόριθμοι 2.2.1. Ορισμός: Αλγόριθμος είναι μια πεπερασμένη σειρά εντολών, αυστηρά καθορισμένων και εκτελέσιμων σε πεπερασμένο χρόνο, που στοχεύουν στην επίλυση ενός προβλήματος. Τα κυριότερα χρησιμοποιούμενα

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

Βασικές έννοιες προγραμματισμού

Βασικές έννοιες προγραμματισμού Βασικές έννοιες προγραμματισμού Αλφάβητο Γράμματα Κεφαλαία Ελληνικά ( Α Ω ) Πεζά Ελληνικά ( α ω ) Κεφαλαία Λατινικά ( A Z ) Πεζά Ελληνικά ( a z) Ψηφία 0-9 Ειδικοί χαρακτήρες ( +, -, *,/, =,.,,!, κενό )

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

ΤΕΙ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε.

ΤΕΙ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε. ΤΕΙ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ Τ.Ε. Θέματα Εξετάσεων Εξεταστικής Σεπτεμβρίου στο μάθημα «ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ» ΔΙΔΑΣΚΩΝ: Δρ. Ηλ. Μηχ. & Τ.Υ. Αριστομένης Θανόπουλος Ημερομηνία: 12 / 2 / 2015

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