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

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

Από το βιβλίο του 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).

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

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

ΚΔΚ