ΕΠΛ 412: Λογική στην Πληροφορική
What΄s New?



Αυγ 30

Καλωσορίσατε στην ιστοσελίδα του ΕΠΛ412, Χειμερινό Εξάμηνο 2019!

Για περισσότερες πληροφορίες σχετικά με το μάθημα, μπορείτε να επισκεφθείτε τις ιστοσελίδες του μαθήματος περασμένων εξαμήνων: Fall 2017, Fall 2018.

Αυγ 30 Μια επιστολή από τον Αριστοτέλη στον Πλάτωνα όπως την επινόησε ο Καθηγητής Luca Aceto.
Αυγ 30

Την Τετάρτη 4/9 θα υπάρξει διάλεξη την ώρα του φροντιστηρίου

Σεπ 11

Δείγμα ενδιάμεσης εξέτασης: download

Δείγμα άσκησης σε LTL: download

Σεπ 11

Οι κανόνες του Προτασιακού Λογισμού: download

Οκτ 29

Η ενδιάμεση εξέταση της 1/11/2019 θα διεξαχθεί στις αίθουσες ΘΕΕ01-146 και ΘΕΕ01-148.

Οκτ 29

Οι κανόνες που θα σας δοθούν στην ενδιάμεση εξέταση: download

Νοε 7

Παρακαλώ να συμπληρώσετε και να μου παραδώσετε το έντυπο που αφορά τη Σειρά Ασκήσεων 5 όχι αργότερα από τη Δευτέρα 11/11. download

Νοε 21

Στον σύνδεσμο που ακολουθεί μπορείτε να βρείτε το πρόγραμμα παρουσιάσεων που θα πραγματοποιηθούν την Τετάρτη 4/12. download

Δεκ 03

Στον σύνδεσμο που ακολουθεί μπορείτε να βρείτε το έντυπο με κανόνες που θα σας δοθεί στην τελική εξέταση. download

Δεκ 04

Στους πιο κάτω συνδέσμους μπορείτε να βρείτε ασκήσεις επανάληψης για το μάθημα: Ασκήσεις Επανάληψης, Λύσεις Ασκήσεων Επανάληψης, Ασκήσεις από παλιές εξετάσεις (χωρίς λύσεις)




EPL412
Class Notes
Solutions
Course Schedule
Tutorials
Class Contract
Assignments
Related Links


Άννα Φιλίππου, Φθινόπωρο 2019