Λογική για Υπολογιστές

Κατ’ αρχάς, Χρόνια Πολλά σε όλες και όλους σας! Εύχομαι καλή Πρωτοχρονιά και Καλή Χρονιά σε σας και τις οικογένειες σας και όλους τους δικούς σας ανθρώπους! Σε σχέση με το μάθημα μας και τις ασκήσεις που θα ήθελα να μελετήσετε: θα έχουμε συνολικά 3 σειρές ασκήσεων και η σκέψη μου είναι να αποτελέσουν το 25% του τελικού σας βαθμού. Φυσικά, θα πρέπει οπωσδήποτε να πάρετε προβιβάσιμο βαθμό στην γραπτή τελική εξέταση του μαθήματος. Η Πρώτη Σειρά Ασκήσεων αποτελεί μία καλή επανάληψη στην Προτασιακή Λογική. Θα απαντήσετε τις ασκήσεις 5 (σελ. 33), 8 (σελ. 34), 26 (σελ. 36) και 21 (σελ. 36) από τις σημειώσεις του Κ. Δημητρακόπουλου και την exercise 3.1.1 (1,2,3 μόνον) από το βιβλίο του M. Fitting (όπου είδαμε για semantic tableaux). Παράδοση: μέχρι το πρώτο μάθημα του Ιανουαρίου. Η Δεύτερη Σειρά Ασκήσεων αφορά στην Πρωτοβάθμια Λογική. Θα απαντήσετε τις ασκήσεις 28 (σελ. 73), 32 (σελ. 74), και 34 (σελ. 74) από τις σημειώσεις του Κ. Δημητρακόπουλου. Παράδοση: μέχρι το δεύτερο μάθημα του Ιανουαρίου. Η Τρίτη Σειρά αφορά στην Prolog, για την οποία θα έχουμε την ευκαιρία να μιλήσουμε ξανά. Θα πρέπει να απαντήσετε σε αυτά που ζητάμε στο ανηρτημένο αρχείο (eclass/έγγραφα/Prolog January 2012). Θα μου παρουσιάσετε τα προγράμματα στον υπολογιστή και να είστε σε θέση να μου εξηγήσετε τις λεπτομέρειές τους. Παράδοση: μέχρι το τρίτο μάθημα του Ιανουαρίου Οι απαντήσεις στις δύο πρώτες σειρές μπορούν να γραφούν ηλεκτρονικά και να τις στείλετε με email. Αν για κάποιο λόγο δυσκολεύεστε, γράψτε τις με το χέρι παρότι θα προτιμούσα την ηλεκτρονική επικοινωνία για να μπορέσω να σας στείλω ευκολότερα, σχόλια και διορθώσεις. Ερωτήσεις και απορίες, στο email μου, ευπρόσδεκτες. Καλή Πρωτοχρονιά και Καλή Χρονιά σε όλους μας!