Ειδικά Θέματα Υπολογιστικής Λογικής

Το μάθημα απευθύνεται σε φοιτητές

που έχουν ήδη αρκετές γνώσεις Μαθηματικής Λογικής,

αντίστοιχες με το  "Σημασιολογία και Ορθότητα Προγραμμάτων".

Οι ενδιαφερόμενοι να επικοινωνήσουν μαζύ μου.

Σ. Κοσμαδάκης