Μαθηματική Λογική και Εφαρμογές της: Δίνει έμφαση στις βασικές έννοιες της Λογικής και στις μαθηματικές τους ιδιότητες. Απευθύνεται σε φοιτητές με σχετικά καλή γνώση μαθημάτων του τομέα ΕΘΕΥ όπως Θεωρία Γραφημάτων, Θεωρία Υπολογισμού κοκ. Το μάθημα θα αρχίσει την Παρασκευή 21 Φεβρουαρίου.
Σημασιολογία στην Επιστήμη των Υπολογιστών: Εστιάζει σε προβλήματα νοηματικής ανάλυσης, και σε υπολογιστικές προσεγγίσεις που χρησιμοποιούν τεχνικές της Μαθηματικής Λογικής. Προηγούμενη γνώση βασικής Λογικής θεωρείται χρήσιμη αλλά όχι απαραίτητη. Το μάθημα θα αρχίσει την Τετάρτη 26 Φεβρουαρίου.
Σ. Κοσμαδάκης