Φεβ
11
2014
By scosmada
Το "Ειδικά θέματα Υπολογιστικής Λογικής" θα απευθύνεται από φέτος
σε φοιτητές που έχουν ήδη αρκετή γνώση Λογικής και θα εξετάζει ερευνητικά προβλήματα.
Φοιτητές που ενδιαφέρονται για ένα γενικό μάθημα μπορούν να επιλέξουν
το "Σημασιολογία και Ορθότητα Προγραμμάτων" αυτό το εξάμηνο.