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

Αναρτήθηκε από scosmada. Τρίτη, Φεβρουάριος 11, 2014 - 12:35
Κατηγορία: 

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