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

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

να προχωρήσουν σε ερευνητικά θέματα στη Λογική

και έχουν ήδη αρκετές βασικές γνώσεις στο αντικείμενο.

Οι φοιτητές που ενδιαφέρονται για ένα γενικό μάθημα Λογικής

μπορούν να παρακολουθήσουν το "Σημασιολογία και Ορθότητα Προγραμμάτων"

αυτό το εξάμηνο.

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