Επίλυση Resolution. Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: H Μέθοδος της Επίλυσης στον Λογικό Προγραμματισμό
|
|
- Ἰοκάστη Γιαννακόπουλος
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Επίλυση Resolution Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: H Μέθοδος της Επίλυσης στον Λογικό Προγραμματισμό ΕΠΛ 412 Λογική στην Πληροφορική 5-1
2 Λογικός Προγραμματισμός Εξαγωγή συμπερασμάτων από ένα σύνολο λογικών εκφράσεων. Χρησιμοποιεί μια περιορισμένη γλώσσα λογικής η οποία επιτρέπει την αποδοτική απόδειξη θεωρημάτων μέσω της μεθόδου της επίλυσης. Η λογική αυτή περιέχει προτάσεις της μορφής: x 1 x k (B 1 B n Α) οι οποίες μπορούν να γραφτούν ως διαζεύξεις με μόνο ένα θετικό όρο x 1 x k ( B 1 B n Α) και έχουν προτασιακή μορφή { B 1,, B n, Α} Μια τέτοια πρόταση στον λογικό προγραμματισμό γράφεται ως x 1 x k (Α B 1,,B n ) και μπορεί να ερμηνευθεί ως η διαδικασία: για να υπολογίσεις το A υπολόγισε τα B 1,,B n. ΕΠΛ 412 Λογική στην Πληροφορική 5-2
3 Παράδειγμα Αξιώματα για συμβολοσειρές 1. x substr(x,x) 2. x y z (substr(x,z) (suffix(y,z) substr(x,y)) 3. x y suffix(x,yx) 4. x y z (substr(x,z) (prefix(y,z) substr(x,y)) 5. x y prefix(x,xy) Μπορούν να τύχουν ερμηνείας ως: 1. Κάθε συμβολοσειρά είναι υποσυμβολοσειρά του εαυτού της 2. Για να αποφασίσουμε αν το x είναι υποσυμβολοσειρά του z τότε εντοπίζουμε συμβολοσειρά y τέτοια ώστε η y να είναι επίθημα της z και η x υποσυμβολοσειρά της y. 3. Η x είναι επίθημα της yx 4. Για να αποφασίσουμε αν το x είναι υποσυμβολοσειρά του z τότε εντοπίζουμε συμβολοσειρά y τέτοια ώστε η y να είναι πρόθημα της z και η x υποσυμβολοσειρά της y. 5. Η x είναι πρόθημα της xy ΕΠΛ 412 Λογική στην Πληροφορική 5-3
4 Βασική Ιδέα Πιθανά ερωτήματα (στόχοι): substr(ααβ,γβαβααγβααββ) ; x (substr(x,αβγααγ) suffix (δαβ, x)) ; Βασική Ιδέα Διαδικασίας Επίλυσης στον ΛΠ Θεώρησε την άρνηση του στόχου, π.χ. x (substr(x,αβγααγ) suffix (δαβ, x)) Μετάτρεψε σε προτασιακή μορφή: {{ substr(x,αβγααγ), suffix (δαβ, x)}} Εφάρμοσε επίλυση στο σύνολο των αξιωμάτων που απαρτίζουν το πρόγραμμα και την προτασιακή μορφή του ερωτήματος. ΕΠΛ 412 Λογική στην Πληροφορική 5-4
5 Ροή Προγράμματος Μη ντετερμινισμός: Δυνατόν να υπάρχουν πολλά αξιώματα τα οποία μπορούν να συνδεθούν με τον στόχο του προγράμματος. Ποιο από αυτά θα επιλεχθεί σε κάθε βήμα; Ροή Προγράμματος: Στον διαδικαστικό προγραμματισμό η ροή του προγράμματος καθορίζεται πλήρως από τον προγραμματιστή μέσω της σειράς παράταξης των εντολών που το απαρτίζουν. Στον Λογικό Προγραμματισμό ο προγραμματιστής γράφει δηλώσεις που συλλαμβάνουν τη σχέση που έχουν οι οντότητες του προγράμματος. Εναπόκειται στον compiler να επιλύσει τον μη ντετερμινισμό που εμπεριέχεται στο πρόγραμμα. Κανόνας Υπολογισμού: Επιλογή στοιχείου της πρότασης-στόχος στο οποίο θα εφαρμοστεί επίλυση. Κανόνας Εύρεσης: Επιλογή αξιώματος στo οποίο να εφαρμοστεί επίλυση έναντι του στοιχείου της πρόταση-στόχος που έχουμε επιλέξει. ΕΠΛ 412 Λογική στην Πληροφορική 5-5
6 Ορισμοί Σε μια πρόταση Α B 1,,B n (όρος Horn) ονομάζουμε Τον θετικό όρο Α κεφαλή (head) και Τους αρνητικούς όρους B 1,,B n κορμό (body). Αν n = 0, τότε δεν υπάρχει κορμός και η πρόταση έχει τη μορφή Α και ονομάζεται γεγονός (fact). Αν η πρόταση δεν έχει κεφαλή, B 1,,B n, ονομάζεται στόχος (goal). Ένα σύνολο από όρους Horn που δεν αποτελούν στόχους και των οποίων η κεφαλή χρησιμοποιεί το ίδιο κατηγορηματικό σύμβολο ονομάζεται διαδικασία (procedure). Μία διαδικασία η οποία δεν περιέχει μεταβλητές ονομάζεται βάση δεδομένων (database). Ένα σύνολο από διαδικασίες ονομάζεται λογικό πρόγραμμα. ΕΠΛ 412 Λογική στην Πληροφορική 5-6
7 Παράδειγμα Το πιο κάτω πρόγραμμα περιέχει δύο διαδικασίες, μία από τις οποίες αποτελεί βάση δεδομένων. 1. q(x,y) p(x,y) 2. q(x,y) p(x,z),q(z,y) 3. p(b,a) 7. p(f,b) 4. p(c,a) 8. p(h,g) 5. p(d,b) 9. p(i,h) 6. p(e,b) 10. p(j,h) ΕΠΛ 412 Λογική στην Πληροφορική 5-7
8 Αντικαταστάσεις ορθής απάντησης Έστω P ένα πρόγραμμα και G ένας στόχος. Μία αντικατάσταση θ ονομάζεται αντικατάσταση ορθής απάντησης αν P ( Gθ) όπου ο ποσοδείκτης συμβολίζει την εφαρμογή του καθολικού ποσοδείκτη σε όλες τις μεταβλητές που εμφανίζονται ελεύθερες στην G. Παράδειγμα: Έστω Ρ το σύνολο των αξιωμάτων της αριθμητικής. Έστω G η πρόταση (6+y=13). G είναι η πρόταση 6+y=13 και αντικατάσταση ορθής απάντησης για τη G αποτελεί η θ = {7/y}. Έστω G η πρόταση (x = y+13). Αντικατάσταση ορθής απάντησης για τη G αποτελεί η θ = {x 13/y}. ΕΠΛ 412 Λογική στην Πληροφορική 5-8
9 Παράδειγμα ancestor(χ,υ) parent(x,y) ancestor(χ,υ) parent(χ,ζ), ancestor(ζ,y) parent(bob,alan) parent(fred,dave) parent(catherine,alan) parent(harry,george) parent(dave,bob) parent(ida,harry) parent(ellen,bob) parent(john,harry) Ο στόχος ancestor(y, bob), ancestor(bob,z) θα επιφέρει το αποτέλεσμα true και θα επιστρέψει την αντικατάσταση ορθής απάντησης Υ = dave, Z = alan ΕΠΛ 412 Λογική στην Πληροφορική 5-9
10 Επίλυση SLD Η απόδειξη ενός στόχου γίνεται με τη χρήση του κανόνα SLD- Επίλυση ο οποίος αποτελεί ειδική περίπτωση της μεθόδου της επίλυσης εφόσον αναφέρεται σε ζεύγη προτάσεων που περιέχουν μόνο ένα θετικό όρο. Α 1,,Α i-1, A i, A i+1,, A n, A B 1,,B k, A i θ i = Aθ i (Α 1,,Α i-1, B 1,,B k, A i+1,, A n ) θ i Αιτιολόγηση Κανόνα: { Α 1,, Α i-1, A i, A i+1,, A n } {A, B 1,, B k } Επιλύουσα θ i Αν Ai θ i = Aθ i { Α 1,, Α i-1, B 1,, B k, A i+1,, A n } θ i ΕΠΛ 412 Λογική στην Πληροφορική 5-10
11 Παράδειγμα Θεωρήστε το πρόγραμμα Ρ από τη διαφάνεια 5-7. Θέλουμε να αποδείξουμε ότι η πρόταση y z (q(y,b) q(b,z)) προκύπτει ως λογικό επακόλουθο του προγράμματος. Τότε, αφού ( y z (q(y,b) q(b,z))) = y z (q(y,b) q(b,z)) = y z ( q(y,b) q(b,z)) = y z (q(y,b) q(b,z) False) ο στόχος της απόδειξης είναι ο q(y,b), q(b,z) Έχουμε ότι: Από το (1) και το q(y,b), p(y,b), q(b,z) Από το (5) και το p(y,b), q(b,z) μέσω της αντικατάστασης {d/y} Από το (1) και το q(b,z), p(b,z) Και τέλος, από το (3) και το p(b,z), μέσω της αντικατάστασης {a/z} Μπορούμε να επιβεβαιώσουμε ότι πράγματι η {d/y, a/z} είναι αντικατάσταση ορθής απάντησης της πρότασης. ΕΠΛ 412 Λογική στην Πληροφορική 5-11
12 Ορθότητα και Πληρότητα Θεώρημα (Ορθότητα): Έστω P ένα σύνολο προτάσεων προγράμματος, και G ένας στόχος. Έστω η ύπαρξη μιας SLD-διάψευσης του G. Αν θ = θ 1 θ 2 θ n η ακολουθία των ενοποιητών που χρησιμοποιήθηκαν στη διάψευση και σ ο περιορισμός του θ στις μεταβλητές του G, τότε σ είναι μια αντικατάσταση ορθής απάντησης για τον στόχο G. Θεώρημα (Πληρότητα): Έστω P ένα σύνολο προτάσεων προγράμματος, και G ένας στόχος. Έστω σ μια αντικατάσταση ορθής απάντησης για τον στόχο G. Τότε υπάρχει μια SLD-διάψευση του G από το P τέτοια ώστε σ είναι ο περιορισμός της ακολουθίας των ενοποιητών που χρησιμοποιήθηκαν στη διάψευση θ = θ 1 θ 2 θ n στις μεταβλητές του G. ΕΠΛ 412 Λογική στην Πληροφορική 5-12
13 SLD-Επίλυση και μη-ντετερμινισμος (1) Θεωρήστε ξανά το πρόγραμμα Ρ από τη διαφάνεια 5-7, την πρόταση y z (q(y,b) q(b,z)) και τον σχετικό στόχο q(y,b), q(b,z) Έχουμε επίσης ότι: Από το (1) και το q(y,b), p(y,b), q(b,z) Από το (6) και το p(e,b), q(b,z) μέσω της αντικατάστασης {e/y} Από το (1) και το q(b,z), p(b,z) Και τέλος, από το (3) και το p(b,z), μέσω της αντικατάστασης {a/z} Επομένως και η {e/y, a/z} είναι αντικατάσταση ορθής απάντησης της πρότασης: μπορεί ο ίδιος στόχος να διαθέτει περισσότερες από μια αντικαταστάσεις ορθής απάντησης. ΕΠΛ 412 Λογική στην Πληροφορική 5-13
14 SLD-Επίλυση και μη-ντετερμινισμος (2) Αν, για το ίδιο πρόγραμμα, χρησιμοποιήσουμε ως κανόνα υπολογισμού τον: Να διαλέγεις πάντα το τελευταίο στοιχείο του στόχου. και ως κανόνα εύρεσης τον: Να διαλέγεις πάντα το τελευταίο συμβατό αξίωμα του προγράμματος. τότε θα είχαμε: q(y,b), q(b,z) q(y,b), p(b,z ), q(z,z) q(y,b), p(b,z ), p(z,z ), q(z,z ) Αυτό δείχνει ότι υπάρχουν μέθοδοι υπολογισμού οι οποίοι δεν μας οδηγούν στην κατασκευή διάψευσης ακόμη και αν υπάρχουν διαψεύσεις. ΕΠΛ 412 Λογική στην Πληροφορική 5-14
15 SLD-Επίλυση και μη-ντετερμινισμος (3) Αν, για το ίδιο πρόγραμμα, χρησιμοποιήσουμε ως κανόνα υπολογισμού τον: Να διαλέγεις πάντα το πρώτο στοιχείο του στόχου τότε θα είχαμε: q(y,b), q(b,z) p(y,z ), q(z,b), q(b,z) (Από το (2)) q(b,b), q(b,z) (Από το (5) μέσω της αντικατάστασης {d/y,b/z }) p(b,b), q(b,z) (Από το (1)) Από τώρα και στο εξής, κανένας όρος δεν ενοποιείται με τον p(b,b). Επομένως, ενώ υπάρχει διάψευση στο πρόγραμμα, η εκτέλεση τερματίζει χωρίς να την εντοπίσει. ΕΠΛ 412 Λογική στην Πληροφορική 5-15
16 Δένδρα SLD Η διαδικασία της Επίλυσης μπορεί να αναπαρασταθεί μέσω δένδρων τα οποία έχουν την πρόταση υπό μελέτη ως ρίζα και ακμές ανάμεσα σε δύο κόμβους υπάρχουν αν υπάρχει εφαρμογή του κανόνα SLDεπίλυση που οδηγά από τον κόμβο-πατέρα προς τον κόμβο παιδί. Μια κατά πλάτος διερεύνηση σε ένα δένδρο SLD οδηγεί πάντα σε εύρεση διάψευσης αν υπάρχει ενώ η κατά βάθος διερεύνηση δεν συνοδεύεται από τέτοιες εγγυήσεις. Εντούτοις, το μέγεθος του δένδρο αυξάνεται εκθετικά από το ένα επίπεδο του δένδρο στο επόμενο και έτσι αποτελεί δαπανηρή διαδικασία. ΕΠΛ 412 Λογική στην Πληροφορική 5-16
17 Εργασία (α) Θεωρήστε το πιο κάτω πρόγραμμα λογικού προγραμματισμού και χρησιμοποιήστε τη μέθοδο της SLD επίλυσης για να φθάσετε σε διάψευση του στόχου. add(x, 0, X) add(x, succ(y), succ(z)) add(x,y,z) add(succ(succ(0)), succ(succ(0)), U) (β) Θεωρήστε το πιο κάτω πρόγραμμα λογικού προγραμματισμού και επιδείξτε τις δυνατές εκτελέσεις του μέσω ενός SLD-δένδρου. add(x, 0, X) add(x, succ(y), succ(z)) add(x,y,z) add(u, V, succ(succ(succ(0)))) ΕΠΛ 412 Λογική στην Πληροφορική 5-17
18 PROgramming in LOGic Prolog Γενικά Prolog: Alain Colmerauer 1973, R. Kowaksi Αρχή Επίλυσης Prolog compiler: David Warren, 1977 Δηλωτική Γλώσσα: διάκριση μεταξύ λογικής και ελέγχου Εξίσωση Kowalski Πρόγραμμα = Λογική + Έλεγχος Κανόνας Υπολογισμού Prolog: Επέλεξε το αριστερότερο στοιχείο από τον στόχο Κανόνας Εύρεσης Prolog: Επέλεξε τον πρώτο κατάλληλο κανόνα διασχίζοντας το πρόγραμμα από την αρχή και προχωρώντας προς το τέλος. ΕΠΛ 412 Λογική στην Πληροφορική 5-18
19 Prolog Οντότητες Ένα πρόγραμμα στην Prolog αφορά οντότητες του προβλήματος με το οποίο ασχολείται, τις ιδιότητές τους και τις σχέσεις τους. Μπορεί να περιλαμβάνει Γεγονότα: παριστάνουν ιδιότητες και σχέσεις που έχουν αντικείμενα του προβλήματος μεταξύ τους τα δεδομένα του προβλήματος Κανόνες: παριστάνουν γενικευμένες σχέσεις που συνδέουν τα αντικείμενα του προβλήματος οι συλλογισμοί μέσω των οποίων μπορούμε να καταλήξουμε σε καινούρια συμπεράσματα/γεγονότα Ερωτήματα: παριστάνουν τα ζητούμενα από το πρόγραμμα Σχόλια Ο συμβολισμός της Prolog διαφέρει από αυτόν που χρησιμοποιούμε μέχρι τώρα: Οι μεταβλητές ξεκινούν με κεφαλαία γράμματα Τα σύμβολα και οι σταθερές ξεκινούν με μικρά γράμματα Το σύμβολο :- χρησιμοποιείται αντί του ΕΠΛ 412 Λογική στην Πληροφορική 5-19
20 Παράδειγμα ancestor(χ,υ) :- parent(x,y) ancestor(χ,υ) :- parent(χ,ζ), ancestor(ζ,y) parent(bob,alan) p(catherine,alan) p(dave,bob) p(ellen,bob) p(fred,dave) p(harry,george) p(ida,harry) p(john,harry) Ο στόχος :- ancestor(y, bob), ancestor(bob,z) Θα επιφέρει το αποτέλεσμα true και θα επιστρέψει την αντικατάσταση ορθής απάντησης Υ = dave, Z = alan ΕΠΛ 412 Λογική στην Πληροφορική 5-20
21 Εκτέλεση Προγράμματος Η αναζήτηση διάψευσης για την επίτευξη ενός στόχου μέσω των κανόνων υπολογισμού και εύρεσης της Prolog πιθανόν να οδηγήσει σε μη τερματισμό ακόμη και αν υπάρχει λύση. Επαφίεται στον προγραμματιστή να διατάξει τους κανόνες του προγράμματος με τέτοιο τρόπο έτσι ώστε να αποφευχθεί ο μη τερματισμός. Αποδοτική μέθοδος εύρεσης όρων προς ενοποίηση. Περιορισμένος αριθμός δομών δεδομένων προς διατήρηση Ανάγκη για οπισθοδρόμηση ΕΠΛ 412 Λογική στην Πληροφορική 5-21
22 Παράδειγμα Θεωρήστε το πρόγραμμα με τα 4 γεγονότα και τον στόχο που εμφανίζονται πιο κάτω: p(a) p(b) p(c) q(c) :- p(x), q(x) To δένδρο που θα κτιστεί κατά τη διαδικασία επίλυσης είναι το :- p(x), q(x) :- q(a) :- q(b) :- q(c) ΕΠΛ 412 Λογική στην Πληροφορική 5-22
23 Μη λογικά Κατηγορήματα H Prolog περιέχει μη-λογικά κατηγορήματα τα οποία διευρύνουν την εκφραστικότητα και αποδοτικότητα της γλώσσας όπως: Κατηγορήματα για Input/output: get, put Αριθμητικές Εκφράσεις και σχετικές διαδικασίες υπολογισμού Result is Expression Παράδειγμα selling_price(item, Price) :- list_price(item, List), discount_percent(item, Discount), Price is List List*Discount/100 Η τιμή της έκφρασης List List*Discount/100 θα τύχει υπολογισμού και θα ενοποιηθεί με τη μεταβλητή Price Από τη στιγμή που μια μεταβλητή πάρει κάποια τιμή μέσω μιας εντολής is οποιαδήποτε επιπρόσθετη προσπάθεια να ενοποιηθεί με μια άλλη τιμή θα οδηγήσει σε λάθος. ΕΠΛ 412 Λογική στην Πληροφορική 5-23
24 Cuts Μια αποκοπή (cut) αποτελεί μια σήμανση για διακοπή της μεθόδου της επίλυσης σε συγκεκριμένο σημείο. Θεωρήστε το πιο κάτω πρόγραμμα για υπολογισμό παραγοντικών αριθμών (fact) και έλεγχο κατά πόσο ο Ν-ιοστός παραγοντικός αριθμός είναι άρτιος. fact(0,1). check(n):- fact(n,f), fact(n,f) :- even(f). N1 is N-1, fact(n1,f1), F is N*F1. Έστω το ερώτημα check(0). Αφού fact(0,1) και όχι even(1), η διαδικασία της επίλυσης θα οπισθοδρομήσει και θα επιχειρήσει να χρησιμοποιήσει τον δεύτερο κανόνα fact. Και η κλήση fact(-1,1) θα ξεκινήσει ένα ατέρμονο υπολογισμό. ΕΠΛ 412 Λογική στην Πληροφορική 5-24
25 Cuts Αυτό μπορεί να αποφευχθεί μέσω μιας αποκοπής. Γράφουμε fact(0,1):-!. απαγορεύοντας οπισθοδρόμηση μετά από αυτό το σημείο στη διαδικασία. Οι αποκοπές επεμβαίνουν στη φιλοσοφία του Λογικού Προγραμματισμού και είναι καλύτερο να αποφεύγονται. Στο παράδειγμα θα μπορούσαμε να γράψουμε fact(n,f) :- Ν > 0, N1 is N-1, fact(n1,f1), F is N*F1. ΕΠΛ 412 Λογική στην Πληροφορική 5-25
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Σκελετοί Λύσεων Ημερομηνία : Σάββατο, 27 Οκτωβρίου 2012 Διάρκεια : 11:00 13:00 Διδάσκουσα : Άννα Φιλίππου Άσκηση
Διαβάστε περισσότεραΚατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5)
Κατηγορηματικός Λογισμός (ΗR Κεφάλαιο 2.1-2.5) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στον Κατηγορηματικό Λογισμό Σύνταξη Κανόνες Συμπερασμού Σημασιολογία ΕΠΛ 412 Λογική στην
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Πέμπτη, 30 Οκτωβρίου 2014 Διάρκεια : 10:30 12.00 Διδάσκουσα : Άννα Φιλίππου ΠΡΟΤΥΠΕΣ ΛΥΣΕΙΣ Οδηγίες:
Διαβάστε περισσότεραΦροντιστήριο 7 Λύσεις Ασκήσεων
Φροντιστήριο 7 Λύσεις Ασκήσεων Άσκηση 1 (α) Αριθμούμε τις γραμμές του προγράμματος. 1. French(Jean) 2. French(Jacques) 3. British(Peter) 4. likewine(x, Y ) French(X), wine(y ) 5. likewine(x, Bordeaux)
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Δευτέρα 2 Νοεμβρίου 2015 Διάρκεια : 10:30 12:00 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: Αριθμός
Διαβάστε περισσότεραΕΠΛ 412 Λογική στην Πληροφορική 4-1
Επίλυση Resolution Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: H Μέθοδος της Επίλυσης στον Προτασιακό Λογισμό στον Κατηγορηματικό Λογισμό ΕΠΛ 412 Λογική στην Πληροφορική 4-1 Το όνειρο του
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Ενδιάμεση Εξέταση Ημερομηνία : Τετάρτη 24 Οκτωβρίου, 2018 Διάρκεια : 12:00 13:30 Διδάσκουσα : Άννα Φιλίππου Ονοματεπώνυμο: ΠΡΟΧΕΙΡΕΣ
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 412: Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Λύσεις Άσκηση 1 [30 μονάδες] Να αποδείξετε τα πιο κάτω λογικά επακόλουθα χρησιμοποιώντας τα συστήματα
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4)
Ανάλυση της Ορθότητας Προγραμμάτων (HR Κεφάλαιο 4) Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να υπολογίσετε την προτασιακή μορφή των πιο κάτω προτάσεων. (α) xyz [(P(x,y) Q(y,z)) Q(x,y)] x P(x,f(x)) Βήμα 1: Μετατροπή σε Κανονική Μορφή Prenex: xyz [(P(x,y) Q(y,z))
Διαβάστε περισσότεραΠροτασιακός Λογισμός (HR Κεφάλαιο 1)
Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ : Λογική στην Πληροφορική Δείγμα Ενδιάμεσης Εξέτασης Σκελετοί Λύσεων Άσκηση [0 μονάδες] α Να αναφέρετε τρεις μεθόδους μέσω των οποίων μπορούμε να αποφασίσουμε
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Πέμπτη, 15/02/2018 Το υλικό των διαφανειών έχει βασιστεί σε Αντώνης διαφάνειες Α. Αργυρός του Kees van e-mail: argyros@csd.uoc.gr Deemter, από το University of Aberdeen 15-Feb-18
Διαβάστε περισσότεραΚεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική
Κεφάλαιο 2 Λογικός προγραμματισμός Υπολογισμός με λογική Σύνοψη Το κεφάλαιο αυτό χωρίζεται σε δύο ενότητες. Στην πρώτη ενότητα επιχειρείται μια ιστορική αναδρομή στη λογική και τον λογικό προγραμματισμό,
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων
Ανάλυση της Ορθότητας Προγραμμάτων Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων ΚανόνεςΑπόδειξηςΜερικήςΟρθότητας
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 2ο μέρος σημειώσεων: Συστήματα Αποδείξεων για τον ΠΛ, Μορφολογική Παραγωγή, Κατασκευή Μοντέλων Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης
Διαβάστε περισσότεραΑνάλυση της Ορθότητας Προγραμμάτων
Ανάλυση της Ορθότητας Προγραμμάτων Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Η διαδικαστική γλώσσα προγραμματισμού WHILE Τριάδες Hoare Μερική και Ολική Ορθότητα Προγραμμάτων Κανόνες Απόδειξης Μερικής
Διαβάστε περισσότερα4.3 Ορθότητα και Πληρότητα
4.3 Ορθότητα και Πληρότητα Συστήματα αποδείξεων όπως η μορφολογική παραγωγή και η κατασκευή μοντέλων χρησιμοποιούνται για να δείξουμε την εγκυρότητα εξαγωγών συμπερασμάτων. Ένα σύστημα αποδείξεων μπορεί
Διαβάστε περισσότεραΛογικός Προγραμματισμός
Λογικός Προγραμματισμός Αναπαράσταση γνώσης: Λογικό Σύστημα. Μηχανισμός επεξεργασίας γνώσης: εξαγωγή συμπεράσματος. Υπολογισμός: Απόδειξη θεωρήματος (το συμπέρασμα ενδιαφέροντος) από αξιώματα (γνώση).
Διαβάστε περισσότεραΠληρότητα της μεθόδου επίλυσης
Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει ένα αρνητικό γράμμα, τότε το σύνολο είναι ικανοποιήσιμο. Άρα για να είναι μη-ικανοποιήσιμο, θα πρέπει να περιέχει τουλάχιστον
Διαβάστε περισσότεραΗΥ180: Λογική Διδάσκων: Δημήτρης Πλεξουσάκης. Φροντιστήριο 8 Επίλυση για Horn Clauses Λογικός Προγραμματισμός Τετάρτη 9 Μαΐου 2012
ΗΥ180: Λογική Διδάσκων: Δημήτρης Πλεξουσάκης Φροντιστήριο 8 Επίλυση για Horn Clauses Λογικός Προγραμματισμός Τετάρτη 9 Μαΐου 2012 Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων
K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Τρίτη, 20/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 20-Feb-18
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 3ο μέρος σημειώσεων: Μέθοδος της Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια
Διαβάστε περισσότεραΠεριεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) { G,k η G είναι μια ασυμφραστική γραμματική η οποία παράγει κάποια λέξη 1 n όπου n k } (β) { Μ,k η Μ είναι
Διαβάστε περισσότεραΚεφάλαιο 1. Εισαγωγή
Κεφάλαιο 1 Εισαγωγή Η λέξη Prolog προκύπτει ως συντομογραφία από τις γαλλικές λέξεις «PROgrammation en LOGique» ή κατ αντιστοιχία στην Αγγλική «PROgramming in LOGic» που σημαίνει «προγραμματισμός σε λογική».
Διαβάστε περισσότεραΕισαγωγή στις Βάσεις Δεδομζνων II
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ Εισαγωγή στις Βάσεις Δεδομζνων II Ενότητα: Λογική και Θεωρία Συνόλων Διδάσκων: Πηγουνάκης Κωστής ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΣΧΟΛΗ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ Άδειες Χρήσης
Διαβάστε περισσότεραHY Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο. Φροντιστήριο 6
HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Εαρινό Εξάμηνο 2015-2016 Φροντιστήριο 6 Α) ΘΕΩΡΙΑ Μέθοδος Επίλυσης (Resolution) Στη μέθοδο της επίλυσης αποδεικνύουμε την ικανοποιησιμότητα ενός συνόλου προτάσεων,
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 5
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 5 Να υπολογίσετε τις ασθενέστερες προσυνθήκες έτσι ώστε οι πιο κάτω προδιαγραφές να είναι ορθές σύμφωνα (i) με την έννοια της μερικής ορθότητας και (ii) με την έννοια της
Διαβάστε περισσότεραHY118-Διακριτά Μαθηματικά
HY118-Διακριτά Μαθηματικά Παρασκευή, 16/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 17-Feb-18
Διαβάστε περισσότεραHY Λογική Διδάσκων: Δ. Πλεξουσάκης
HY-180 - Λογική Διδάσκων: Δ. Πλεξουσάκης Πληρότητα της μεθόδου επίλυσης Λήμμα: Αν κάθε μέλος ενός συνόλου όρων περιέχει ένα αρνητικό γράμμα, τότε το σύνολο είναι ικανοποιήσιμο. Άρα για να είναι μη-ικανοποιήσιμο,
Διαβάστε περισσότεραΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ
ΤΕΙ Δυτικής Μακεδονίας ΤΜΗΜΑ ΔΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ 2015-2016 Τεχνητή Νοημοσύνη Λογικοί Πράκτορες Διδάσκων: Τσίπουρας Μάρκος Εκπαιδευτικό Υλικό: Τσίπουρας Μάρκος http://ai.uom.gr/aima/ 2 Πράκτορες βασισμένοι
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 2:Στοιχεία Μαθηματικής Λογικής Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,
Διαβάστε περισσότεραΛογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών
Λογική Δημήτρης Πλεξουσάκης Φροντιστήριο 6: Προτασιακός Λογισμός: Μέθοδος Επίλυσης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons και
Διαβάστε περισσότεραΑπό το Γυμνάσιο στο Λύκειο Δειγματικός χώρος Ενδεχόμενα Εύρεση δειγματικού χώρου... 46
ΠEΡΙΕΧΟΜΕΝΑ Από το Γυμνάσιο στο Λύκειο................................................ 7 1. Το Λεξιλόγιο της Λογικής.............................................. 11 2. Σύνολα..............................................................
Διαβάστε περισσότεραΑπό το Γυμνάσιο στο Λύκειο... 7. 3. Δειγματικός χώρος Ενδεχόμενα... 42 Εύρεση δειγματικού χώρου... 46
ΠEΡΙΕΧΟΜΕΝΑ Από το Γυμνάσιο στο Λύκειο................................................ 7 1. Το Λεξιλόγιο της Λογικής.............................................. 11. Σύνολα..............................................................
Διαβάστε περισσότεραΘεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος
Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος
Διαβάστε περισσότεραΘεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr
Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας
Διαβάστε περισσότεραPROLOG Εισαγωγή (PROgramming in LOGic)
PROLOG Εισαγωγή (PROgramming in LOGic) Γλώσσα Λογικού Προγραμματισμού Βασίζεται στο Προτασιακό Λογισμό 1 ης τάξης Χρησιμοποιεί προτάσεις Horn αλγόριθμος = λογική + έλεγχος Μέσω της Prolog δίνουμε βάρος
Διαβάστε περισσότεραΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ Π ΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ Π ΕΡΙΒΑΛΛΟΝ
ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙΔΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΠΑΙΔΑΓΩΓΙΚΟ ΙΝΣΤΙΤΟΥΤΟ ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ Π ΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ Π ΕΡΙΒΑΛΛΟΝ Κ Υ Κ Λ Ο Υ Π Λ Η Ρ Ο Φ Ο Ρ Ι Κ Η Σ Κ Α Ι Υ Π Η Ρ Ε Σ Ι Ω Ν Τ Ε Χ Ν Ο Λ Ο Γ Ι Κ Η
Διαβάστε περισσότεραΠροτασιακός Λογισμός (HR Κεφάλαιο 1)
Προτασιακός Λογισμός (HR Κεφάλαιο 1) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνταξη Λογικός Συμπερασμός Σημασιολογία Ορθότητα και Πληρότητα Κανονικές Μορφές Προτάσεις Horn ΕΠΛ 412 Λογική
Διαβάστε περισσότεραΗΥ Λογική. Διδάσκων: Δημήτρης Πλεξουσάκης Καθηγητής
ΗΥ 180 - Λογική Διδάσκων: Καθηγητής E-mail: dp@csd.uoc.gr Ώρες διδασκαλίας: Δευτέρα, Τετάρτη 4-6 μμ, Αμφ. Β Ώρες φροντιστηρίου: Πέμπτη 4-6 μμ, Αμφ. Β Ώρες γραφείου: Δευτέρα, Τετάρτη 2-4 μμ, Κ.307 Web site:
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2)
Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Αυτόματα Στοίβας (2.2) Τυπικός Ορισμός Παραδείγματα Ισοδυναμία με Ασυμφραστικές
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ME ΠΟΛΛΕΣ ΚΑΙ ΕΓΚΑΡΔΙΕΣ ΕΥΧΕΣ ΓΙΑ ΚΑΛΕΣ ΓΙΟΡΤΕΣ, ΥΓΕΙΑ ΚΑΙ ΠΡΟΟΔΟ ΣΕ ΕΣΑΣ ΚΑΙ ΤΙΣ ΟΙΚΟΓΕΝΕΙΕΣ ΣΑΣ Φυλλάδιο 2: Σχεσιακή Λογική ΔΕΚΕΜΒΡΙΟΣ 2006 ΠΑΡΑΔΟΣΗ: 12/11/2006
Διαβάστε περισσότεραΚεφάλαιο 5 Αξιωματική Σημασιολογία και Απόδειξη Ορθότητας Προγραμμάτων
Κεφάλαιο 5 Αξιωματική Σημασιολογία και Απόδειξη Ορθότητας Προγραμμάτων Προπτυχιακό μάθημα Αρχές Γλωσσών Προγραμματισμού Π. Ροντογιάννης 1 Εισαγωγή Τα προγράμματα μιας (κλασικής) γλώσσας προγραμματισμού
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 5
Άσκηση 1 (α) {x = 12 y = 7} skip {y = 7} Λύσεις Σειράς Ασκήσεων 5 Η προδιαγραφή αυτή είναι ορθή τόσο με την έννοια της μερικής ορθότητας όσο και με την έννοια της ολικής ορθότητας. Αυτό οφείλεται στο γεγονός
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Ενότητα 1: Εισαγωγή. Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Ενότητα 1: Εισαγωγή Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται στην άδεια χρήσης Creative Commons
Διαβάστε περισσότεραΚεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων
Κεφάλαιο 8 Σημασιολογία λογικών προγραμμάτων Σύνοψη Στο κεφάλαιο αυτό παρουσιάζεται η μοντελοθεωρητική σημασιολογία του λογικού προγραμματισμού, δηλαδή αυτή που βασίζεται σε ερμηνείες και μοντέλα, με τελικό
Διαβάστε περισσότεραΕρώτημα 1. Μας δίνεται μια συλλογή από k ακολοθίες, k >=2 και αναζητούμε το πρότυπο Ρ, μεγέθους n.
Πρώτο Σύνολο Ασκήσεων 2014-2015 Κατερίνα Ποντζόλκοβα, 5405 Αθανασία Ζαχαριά, 5295 Ερώτημα 1 Μας δίνεται μια συλλογή από k ακολοθίες, k >=2 και αναζητούμε το πρότυπο Ρ, μεγέθους n. Ο αλγόριθμος εύρεσης
Διαβάστε περισσότεραΜηχανισμός Εξαγωγής Συμπερασμάτων
Μηχανισμός Εξαγωγής Συμπερασμάτων Μηχανισμός Εξαγωγής Συμπερασμάτων Ο βασικός μηχανισμός εξαγωγής συμπερασμάτων στην κατηγορηματική λογική είναι η απόδειξη. Υπάρχει ένα πλήθος κανόνων συμπερασμού. Αυτοί
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Να δείξετε ότι οι πιο κάτω γλώσσες είναι διαγνώσιμες. (α) ({ G η G είναι μια ασυμφραστική γραμματική που δεν παράγει καμιά λέξη με μήκος μικρότερο του 2 } (β) { Μ,w
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Λύσεις
Σειρά Προβλημάτων 3 Λύσεις Άσκηση 1 Να δώσετε ασυμφραστικές γραμματικές που να παράγουν τις πιο κάτω γλώσσες: (α) {0 n 1 n n > 0} {0 n 1 2n n > 0} (β) {w {a,b} * η w ξεκινά και τελειώνει με το ίδιο σύμβολο
Διαβάστε περισσότεραΠεριεχόμενα Πρόλογος 1. Εισαγωγή 2. Τα Βασικά Μέρη ενός Προγράμματος Prolog
Περιεχόμενα Πρόλογος... xxv 1. Εισαγωγή... 1 1.1. Ιστορική Εξέλιξη της Prolog.... 2 1.2. Προστακτικός και Δηλωτικός Προγραμματισμός.... 2 1.3. Δηλωτική και διαδικαστική έννοια ενός προγράμματος Prolog....
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Λογική Δημήτρης Πλεξουσάκης 4ο μέρος σημειώσεων: Ακολουθίες Επίλυσης, Επίλυση για όρους Horn, Λογικός Προγραμματισμός Τμήμα Επιστήμης Υπολογιστών Άδειες Χρήσης Το
Διαβάστε περισσότεραΑσκήσεις Επανάληψης Λύσεις
Άσκηση 1 Ασκήσεις Επανάληψης Λύσεις (α) Το επακόλουθο (A (B C)) ((A C) (A B)) είναι ψευδές. Αυτό φαίνεται στην ανάθεση τιμών [Α] = Τ, [Β] = F, [C] = T. (β) Ακολουθεί η απόδειξη του επακόλουθου. 1. x(p(x)
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Λύσεις Σειράς Ασκήσεων 3 Άσκηση 1 Να εφαρμόσετε τη διαδικασία της επίλυσης στα πιο κάτω προτασιακά σύνολα. (α) { P(a,f(f(x))) }, { P(y,z), P(y, f(f(z))) }, {P(x,b), Q(x)}, {P(x,b),Q(x)} Η Μέθοδος της Επίλυσης
Διαβάστε περισσότεραΑριθμητική Ανάλυση & Εφαρμογές
Αριθμητική Ανάλυση & Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 2017-2018 Υπολογισμοί και Σφάλματα Παράσταση Πραγματικών Αριθμών Συστήματα Αριθμών Παράσταση Ακέραιου
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Νόµοι ισοδυναµίας. Κατηγορηµατικός Λογισµός. ιακριτά Μαθηµατικά, Εαρινό εξάµηνο Παρασκευή, 24/02/2017
HY118- ιακριτά Μαθηµατικά Παρασκευή, 24/02/2017 Κατηγορηµατικός Λογισµός Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΝα υπολογίζουμε τη λύση ή ρίζα ενός πολυωνύμου της μορφής. Να υπολογίζουμε τη ν-οστή ρίζα ενός μη αρνητικού αριθμού.
Ενότητα 3 Ρίζες Πραγματικών Αριθμών Στην ενότητα αυτή θα μάθουμε: Να υπολογίζουμε τη λύση ή ρίζα ενός πολυωνύμου της μορφής Ρ x x ν α. Να υπολογίζουμε τη ν-οστή ρίζα ενός μη αρνητικού αριθμού. Τις ιδιότητες
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότερα2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ
ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΕΠΙΜΕΛΕΙΑ: ΜΑΡΙΑ Σ. ΖΙΩΓΑ ΚΑΘΗΓΗΤΡΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΑΣΚΗΣΕΙΣ 2 ΟΥ και 8 ΟΥ ΚΕΦΑΛΑΙΟΥ ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΔΟΜΗ ΕΠΙΛΟΓΗΣ ΕΡΩΤΗΣΕΙΣ ΣΩΣΤΟ ΛΑΘΟΣ Σημειώστε αν είναι
Διαβάστε περισσότεραΑνδρέας Παπαζώης. Τμ. Διοίκησης Επιχειρήσεων
Ανδρέας Παπαζώης Τμ. Διοίκησης Επιχειρήσεων Περιεχόμενα Εργ. Μαθήματος Ενοποίηση όρων μίας πρότασης μέσω αντικατάστασης Η έννοια της επιλύουσας προτάσεων Διαδικασία απόδειξης και εξαγωγής συμπερασμάτων
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
ΕΠΛ: Θεωρία Υπολογισμού και Πολυπλοκότητα Σειρά Προβλημάτων Λύσεις Άσκηση Θεωρείστε τις γλώσσες Α = { n n } και Β = {w η w είναι λέξη επί του αλφαβήτου {,} τ.ώ. w }. (α) Για κάθε μια από τις πιο κάτω γλώσσες
Διαβάστε περισσότεραΠληροφορική 2. Γλώσσες Προγραμματισμού
Πληροφορική 2 Γλώσσες Προγραμματισμού 1 2 Γλώσσες προγραμματσιμού Επιτρέπουν την κωδικοποίηση των αλγορίθμων Η εκτέλεση ενός προγράμματος θα πρέπει να δίνει τα ίδια αποτελέσματα με την νοητική εκτέλεση
Διαβάστε περισσότεραΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ
ΑΡΧΗ 1ης ΣΕΛΙ ΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΣΕΠΤΕΜΒΡΙΟΥ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ : 7 ΘΕΜΑ Α :
Διαβάστε περισσότεραΕΠΑΛΗΘΕΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ Ι
ΕΠΑΛΗΘΕΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ Ι Η τυπική επαλήθευση βάση μοντέλου είναι κατάλληλη για συστήματα επικοινωνούντων διεργασιών (π.χ. κατανεμημένα συστήματα) όπου το βασικό πρόβλημα είναι ο έλεγχος αλλά γενικά δεν
Διαβάστε περισσότεραΓνώση. Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος.
Γνώση Η γνώση είναι διαφορετική από τα δεδομένα Γνώση (knowledge) είναι ο κοινός παράγοντας (π.χ. κανόνες) που περιγράφει συνοπτικά τις συσχετίσεις μεταξύ των δεδομένων ενός προβλήματος. Η γνώση για κάποιο
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 5 Λύσεις Πιο κάτω υπάρχει ένα σχεδιάγραμμα που τοποθετεί τις κλάσεις των κανονικών, ασυμφραστικών, διαγνώσιμων και αναγνωρίσιμων γλωσσών μέσα στο σύνολο όλων των γλωσσών. Ακολουθούν
Διαβάστε περισσότεραΛογικοί πράκτορες. Πράκτορες βασισµένοι στη γνώση
Λογικοί πράκτορες Πράκτορες βασισµένοι στη γνώση Βάση γνώσης (knowledge base: Σύνολο προτάσεων (sentences Γλώσσα αναπαράστασης της γνώσης Γνωστικό υπόβαθρο: «Αµετάβλητο» µέρος της ΒΓ Βασικές εργασίες:
Διαβάστε περισσότεραΣειρά Προβλημάτων 5 Λύσεις
Άσκηση 1 (15 μονάδες) Σειρά Προβλημάτων 5 Λύσεις Να δώσετε προδιαγραφές (τριάδες Hoare) για τα πιο κάτω προγράμματα: (α) Ένα πρόγραμμα το οποίο παίρνει ως δεδομένο εισόδου δύο πίνακες Α και Β και ελέγχει
Διαβάστε περισσότεραΑΡΧΗ 1ης ΣΕΛΙΔΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ
ΑΡΧΗ 1ης ΣΕΛΙΔΑΣ ΕΞΕΤΑΖΟΜΕΝΟ ΜΑΘΗΜΑ : ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΤΑΞΗ : Γ ΛΥΚΕΙΟΥ ΣΠΟΥΔΕΣ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ΔΙΑΓΩΝΙΣΜΑ ΠΕΡΙΟΔΟΥ : ΣΕΠΤΕΜΒΡΙΟΥ 2015 ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ : 6 ΘΕΜΑ
Διαβάστε περισσότεραΛύσεις Σειράς Ασκήσεων 3
Άσκηση 1 Λύσεις Σειράς Ασκήσεων 3 Να εφαρμόσετε τον αλγόριθμο ενοποίησης (Διαφάνεια 4-23) για κάθε ένα από τα πιο κάτω ζεύγη όρων. Να δείξετε όλα τα ενδιάμεσα στάδια της εκτέλεσης του αλγόριθμου και καταλήγοντας
Διαβάστε περισσότεραΑλγοριθμική & Δομές Δεδομένων- Γλώσσα Προγραμματισμού Ι (PASCAL) (PASCAL ) Μεταβλητές- Τύποι- Τελεστές
Αλγοριθμική & Δομές Δεδομένων- Γλώσσα Προγραμματισμού Ι (PASCAL) (PASCAL ) Μεταβλητές- Τύποι- Τελεστές Μεταβλητές 2 Δήλωση μεταβλητών Η δήλωση (declaration) πληροφορεί το μεταγλωττιστή για το όνομα και
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή
Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή raniah@hua.gr 1 Λογική Αποσαφήνιση και τυποποίηση της διαδικασίας της ανθρώπινης σκέψης Η μαθηματική
Διαβάστε περισσότεραΗΥ118 - Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2013
ΗΥ118 - Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2013 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [2 μονάδες] Έστω μεταβλητές και σταθερές στο σύνολο των ανθρώπων και η προτασιακή μορφή Ρ(x, y) με το νόημα "o x αγαπά
Διαβάστε περισσότεραΤίτλος Μαθήματος. Ενότητα 4: Επεκτάσεις, υλοποίηση, παραλληλία
Τίτλος Μαθήματος Ενότητα 4: Παναγιώτης Σταματόπουλος Σχολή Θετικών Επιστημών Τμήμα Πληροφορικής και Τηλεπικοινωνιών Περιγραφή ενότητας Αναλυτική παρουσίαση μίας επέκτασης του λογικού προγραμματισμού, αυτής
Διαβάστε περισσότεραΠανεπιστήμιο Θεσσαλίας Τμήμα Πληροφορικής
Πανεπιστήμιο Θεσσαλίας Τμήμα Πληροφορικής Δεύτερη Σειρά Ασκήσεων 22 Νοεμβρίου 2016 (χειρόγραφη και ηλεκτρονική παράδοση 9 Δεκεμβρίου) Άσκηση 1: Θεωρήστε τη γραμματική με κανόνες: Α B a A a c B B b A b
Διαβάστε περισσότεραΕΠΛ 434: Λογικός Προγραμματισμός
ΕΠΛ 434: Λογικός Προγραμματισμός και Τεχνητή Νοημοσύνη Επισκ. Λέκτορας Λοΐζος Μιχαήλ Τμήμα Πληροφορικής ρ Πανεπιστήμιο Κύπρου (Χειμερινό Εξάμηνο 2008 2009) Προγράμματα στην Prolog Αλγόριθμος = Λογική +
Διαβάστε περισσότεραΓενικά Μαθηματικά ΙΙ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 6 η : Μερική Παράγωγος ΙΙ Λουκάς Βλάχος Καθηγητής Αστροφυσικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης
Διαβάστε περισσότεραΣειρά Προβλημάτων 4 Λύσεις
Άσκηση 1 Σειρά Προβλημάτων 4 Λύσεις (α) Να διατυπώσετε την τυπική περιγραφή μιας μηχανής Turing (αυθεντικός ορισμός) η οποία να διαγιγνώσκει τη γλώσσα { ww w {a,b}* }. (β) Να διατυπώσετε την τυπική περιγραφή
Διαβάστε περισσότεραΗΥ118 Διακριτά Μαθηματικά. Εαρινό Εξάμηνο 2017
ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο 2017 2 η Σειρά Ασκήσεων Λύσεις Άσκηση 2.1 [1 μονάδα] Έστω F(x,y) = «Το αυτοκίνητο x έχει μέγιστη ταχύτητα μεγαλύτερη από αυτή του αυτοκινήτου y», με Π.Ο. των x,y
Διαβάστε περισσότεραΑυτοματοποιημένη Επαλήθευση
Αυτοματοποιημένη Επαλήθευση Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Έλεγχος Μοντέλου Αλγόριθμοι γράφων Αλγόριθμοι αυτομάτων Αυτόματα ως προδιαγραφές ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 4-1
Διαβάστε περισσότεραΛογική. Προτασιακή Λογική. Λογική Πρώτης Τάξης
Λογική Προτασιακή Λογική Λογική Πρώτης Τάξης Λογική (Logic) Αναλογίες διαδικασίας επίλυσης προβλημάτων υπολογισμού και προβλημάτων νοημοσύνης: Πρόβλημα υπολογισμού 1. Επινόηση του αλγορίθμου 2. Επιλογή
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 8η διάλεξη ( ) Ίων Ανδρουτσόπουλος.
Τεχνητή Νοημοσύνη 8η διάλεξη (2016-17) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στο βιβλίο Artificial Intelligence A Modern Approach των S. Russel
Διαβάστε περισσότεραΣειρά Προβλημάτων 1 Λύσεις
Σειρά Προβλημάτων 1 Λύσεις Άσκηση 1 Να διατυπώσετε τον πιο κάτω συλλογισμό στον Προτασιακό Λογισμό και να τον αποδείξετε χρησιμοποιώντας τη Μέθοδο της Επίλυσης. Δηλαδή, να δείξετε ότι αν ισχύουν οι πέντε
Διαβάστε περισσότεραΚατ οίκον Εργασία 2 Λύσεις
Κατ οίκον Εργασία 2 Λύσεις Άσκηση 1 Ακολουθεί η διατύπωση των προτάσεων στον προτασιακό λογισμό. (α) Κάθε ενεργός χρήστης είναι είτε διαχειριστής είτε κανονικός χρήστης του συστήματος. x [Ενεργός (x) Διαχειριστής(x)
Διαβάστε περισσότεραTO ΥΠΟΠΡΟΓΡΑΜΜΑ ΣΥΝΑΡΤΗΣΗ
Μάθημα 7 - Υποπρογράμματα Εργαστήριο 11 Ο TO ΥΠΟΠΡΟΓΡΑΜΜΑ ΣΥΝΑΡΤΗΣΗ Βασικές Έννοιες: Υποπρόγραμμα, Ανάλυση προβλήματος, top down σχεδίαση, Συνάρτηση, Διαδικασία, Παράμετρος, Κλήση συνάρτησης, Μετάβαση
Διαβάστε περισσότεραΔΙΑΓΩΝΙΣΜΑ-4. (1) Να λύςετε την εξίςωςη Α=0. (Μονάδεσ 7) (2) Να υπολογίςετε την αριθμητική τιμή τησ Β για x=-4. (Μονάδεσ 7)
ΘΕΜΑ Ο ΔΙΑΓΩΝΙΣΜΑ-4 Δίνονται οι αλγεβρικέσ παραςτάςεισ: Α = 4x x +3 και B = x +6x +9. () Να λύςετε την εξίςωςη Α=0. () Να υπολογίςετε την αριθμητική τιμή τησ Β για x=-4. (3) Να κάνετε τισ πράξεισ και τισ
Διαβάστε περισσότεραΘΕΜΑ Α ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ
ΘΕΜΑ Α ΑΡΧΗ 1ΗΣ ΣΕΛΙΔΑΣ ΑΝΑΚΕΦΑΛΑΙΩΤΙΚΟ ΔΙΑΓΩΝΙΣΜΑ Γ' ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΠΕΜΠΤΗ 26 ΑΠΡΙΛΙΟΥ 2012 ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ ΣΕ ΠΡΟΓΡΑΜΜΑΤΙΣΤΙΚΟ ΠΕΡΙΒΑΛΛΟΝ ΛΥΣΕΙΣ ΣΥΝΟΛΟ ΣΕΛΙΔΩΝ: 7 Α1. Κάθε σωστή απάντηση
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότεραΕργαστήριο 9 Συναρτήσεις στη PASCAL. Η έννοια του κατακερματισμού. Συναρτήσεις. Σκοπός
Εργαστήριο 9 Συναρτήσεις στη PASCAL Η έννοια του κατακερματισμού. Συναρτήσεις. Σκοπός 7.1 ΕΠΙΔΙΩΞΗ ΤΗΣ ΕΡΓΑΣΙΑΣ Η έννοια της συνάρτησης ως υποπρογράμματος είναι τόσο βασική σε όλες τις γλώσσες προγραμματισμού,
Διαβάστε περισσότεραΥπολογισμός στο Λογικό Προγραμματισμό. Πώς υπολογίζεται η έξοδος ενός Λογικού Προγράμματος;
Υπολογισμός στο Λογικό Προγραμματισμό Πώς υπολογίζεται η έξοδος ενός Λογικού Προγράμματος; Herbrand Universe H L Είναι τα δεδομένα που μεταχειρίζεται ένα Λογικό Πρόγραμμα, προκειμένου να απαντήσει μια
Διαβάστε περισσότεραΜαθηματική Λογική και Λογικός Προγραμματισμός
Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων- Σημειώσεις έτους 2007-2008 Καθηγητής Γεώργιος Βούρος Μαθηματική Λογική και Λογικός Προγραμματισμός Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών
Διαβάστε περισσότερα(a) = lim. f y (a, b) = lim. (b) = lim. f y (x, y) = lim. g g(a + h) g(a) h g(b + h) g(b)
1 ΑΝΑΛΥΣΗ ΙΙ Μερική Παράγωγος Μερικές Παράγωγοι Ορισμός 1: a) Εστω f(x y) : U R R μία συνάρτηση δύο μεταβλητών και (a b) ένα σημείο του U. Θεωρούμε ότι μεταβάλλεται μόνο το x ένω το y παραμένει σταθερό
Διαβάστε περισσότεραΣτοιχεία Προτασιακής Λογικής
Μαθηματικές Προτάσεις Στοιχεία Προτασιακής Λογικής Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο
Διαβάστε περισσότερα