Σημειώσεις:
Οι σημειώσεις είναι διαθέσιμες σε μορφή PDF (χρειάζεστε το πρόγραμμα Adobe Acrobat Reader για να τις διαβάσετε)
Υπάρχουν δύο εκδοχές της κάθε δέσμης σημειώσεων, "1 σελίδα σε 1" και "2 σελίδες σε 1".
Οι σημειώσεις ετοιμάζονται κατά τη διάρκεια των διαλέξεων και θα τις "παραλαμβάνετε" σε δέσμες.

Δέσμη 1: Σύνολα – Σχέσεις – Συναρτήσεις – Αλγόριθμοι – Γλώσσες ("1 σελίδα σε 1", "2 σελίδες σε 1")
Δέσμη 2: Πεπερασμένα Αυτόματα: Ορισμοί, Ιδιότητες, Αντιστοιχία με τις Κανονικές Γλώσσες ("1 σελίδα σε 1", "2 σελίδες σε 1")
Δέσμη 3: Γλώσσες Χωρίς Συμφραζόμενα & Αυτόματα Στοίβας: Ορισμοί, Ιδιότητες, Αντιστοιχία, Αλγόριθμοι Δυναμικού Προγραμματισμού ("1 σελίδα σε 1", "2 σελίδες σε 1")
Δέσμη 4: Μηχανές Turing: Ορισμοί, Ιδιότητες, Υπολογισμοί, Συναρτήσεις, Γλώσσες ("1 σελίδα σε 1", "2 σελίδες σε 1")