Ανακοινώσεις μαθήματος Λογική για Υπολογιστές

Αποτελέσματα εξέτασης στη "Λογική για Υπολογιστές"

Tue, 14 Mar 2017 23:10:45 +0300

Αυριο, 15 Μαρτίου 2017, θα γίνει μία εκδήλωση του Παν/μιου στο επάνω κτίριο της Σχολής. Επειδή μάλλον θα τελειώσει μετά τις 15:00, όποιος θέλει να δεί το γραπτό του άς έλθει μετά τις 15:30 στο γραφείο.

ΚΔΚ

Αποτελέσματα εξέτασης στη "Λογική για Υπολογιστές"

Wed, 08 Mar 2017 17:57:32 +0300

Έλαβα πολλά μηνύματα από φοιτητές που θέλουν να δούν το γραπτό τους, προφανώς επειδή έχουν απορία για τον βαθμό που έλαβαν.

Για να μην απαντω στον καθένα ξεχωριστά, όποιος θέλει να δεί το γραπτό του, να έλθει στο γραφείο την επόμενη Τετάρτη (15 Μαρτίου), 17:00-19:00.

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

ΚΔΚ

Εξέταση του μαθήματος

Mon, 26 Dec 2016 20:43:47 +0300

Οδηγός μελέτης του μαθήματος

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

Από το βιβλίο του Herbert Enderton «Μία μαθηματική εισαγωγή στη λογική», τα κεφάλαια:

1.0, 1.1, 1.2, 1.5 και 1.7
2.0, 2.1, 2.2 (πλην Ομομορφισμών, σ. 108-114), 2.4 και 2.5 (χωρίς τις αποδείξεις)

Για την Modal Logic, να δείτε τις σημειώσεις στο:

http://ai.stanford.edu/~epacuit/classes/phil151-w09/ml-notes.pdf

(πλην bisimulation, στην οποία δεν αναφερθήκαμε).

Θα ήταν καλό να δείτε ασκήσεις από το παρακάτω κείμενο:

http://disi.unitn.it/~ldkr/ml2013/MLexercises.pdf

Για οποιαδήποτε απορία, να στείλετε email (ckoutras@uop.gr).

Γράφετε χωρίς βιβλία και σημειώσεις.

Καλή Πρωτοχρονιά, Καλή Χρονιά και Καλή μελέτη!

ΚΔΚ

Καλές Γιορτές!

Tue, 20 Dec 2016 14:01:48 +0300

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

Καλές Γιορτές σε όλες και όλους σας!

ΚΔΚ

Αξιολόγηση Μαθήματος

Wed, 30 Nov 2016 19:24:55 +0300

H ηλεκτρονική αξιολόγηση όλων των μαθημάτων των Προπτυχιακών και Μεταπτυχιακών Προγραμμάτων Σπουδών για το χειμερινό εξάμηνο του ακαδημαϊκού έτους 2016-2017 πραγματοποιείται από 24.11.2016 έως και 9.12.2016.

Η αξιολόγηση των μαθημάτων γίνεται μέσω του ολοκληρωμένου Πληροφοριακού Συστήματος της Μονάδας Διασφάλισης Ποιότητας του Πανεπιστημίου Πελοποννήσου. Το σύστημα αυτό είναι ολοκληρωμένο με το ηλεκτρονικό σύστημα γραμματειών του Πανεπιστημίου Πελοποννήσου (https://e-secretary.uop.gr) και κάθε φοιτητής θα μπορεί να αξιολογήσει από οποιονδήποτε υπολογιστή τα μαθήματα που έχει δηλώσει, με διατήρηση της ανωνυμίας του.

H γνώμη των φοιτητών είναι πολύ σημαντική για το Πανεπιστήμιο και τα αποτελέσματα της αξιολόγησης λαμβάνονται σοβαρά υπ’ όψιν από τα Τμήματα, τη ΜΟ.ΔΙ.Π. και τα όργανα διοίκησης του ιδρύματος για τον σχεδιασμό και την υλοποίηση μέτρων βελτίωσης της ποιότητας των σπουδών και των υπηρεσιών.

Παρακαλώ για τη συμμετοχή σας.

Μάθημα Τετάρτης 9 Νοεμβρίου 2016

Tue, 08 Nov 2016 15:26:01 +0300

Το αυριανό (Τετάρτη 9 Νοεμβρίου) μάθημα δεν θα γίνει. Θα αναπληρωθεί σε συνεννόηση με τους φοιτητές. Το μάθημα της Πέμπτης θα γίνει κανονικά.

ΚΔΚ

Οδηγός μελέτης του μαθήματος

Wed, 06 Jan 2016 00:00:00 +0300

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

Από το βιβλίο του Herbert Enderton «Μία μαθηματική εισαγωγή στη λογική», τα κεφάλαια:

1.0, 1.1, 1.2, 1.5 και 1.7
2.0, 2.1, 2.2 (πλην Ομομορφισμών, σ. 108-114), 2.4 και 2.5 (χωρίς τις αποδείξεις)

Για την Modal Logic, να δείτε τις σημειώσεις στο:

http://ai.stanford.edu/~epacuit/classes/phil151-w09/ml-notes.pdf

(πλην bisimulation, στην οποία δεν αναφερθήκαμε).

Θα ήταν καλό να δείτε ασκήσεις από το link που σας είχα στείλει και σε προηγούμενη ανακοίνωση:

http://disi.unitn.it/~ldkr/ml2013/MLexercises.pdf

Για οποιαδήποτε απορία, να στείλετε email (ckoutras@uop.gr).

Γράφετε χωρίς βιβλία και σημειώσεις.

Καλή Χρονιά και Καλή μελέτη!

Συμπληρωματικό υλικό

Sun, 06 Dec 2015 00:00:00 +0300

Στο παρακάτω κείμενο θα βρείτε πολλές χρήσιμες ασκήσεις για διάφορα πράγματα που έχουμε κάνει (και θα κάνουμε) στο μάθημα.

http://disi.unitn.it/~ldkr/ml2013/MLexercises.pdf

ΚΔΚ.

Διάλεξη Πέμπτης 29 Οκτωβρίου 2015

Wed, 28 Oct 2015 00:00:00 +0300

Η διάλεξη της Πέμπτης 29 Οκτωβρίου δεν θα πραγματοποιηθεί. Θα αναπληρωθεί μετά από συνεννόηση με τους φοιτητές.

ΚΔΚ