Για το μάθημα “Ειδικά Θέματα Υπολογιστικής Λογικής”,
θεωρείται προαπαιτούμενο το “Μαθηματική Λογική και Εφαρμογές της”, ή άλλο ισοδύναμο μάθημα.
Οι φοιτητές που ενδιαφέρονται, να επικοινωνήσουν με τον διδάσκοντα.
Αν υπάρξει ενδιαφέρον, το πρώτο μάθημα θα γίνει την Τρίτη 9 Οκτωβρίου.
Σ. Κοσμαδάκης