Σχέσεις και Συναρτήσεις
  • Κατανόηση της έννοιας της υπολογισιμότητας.
  • Εισαγωγή στη θεωρία τυπικών γλωσσών.
  • Κατανόηση των βασικών εργαλείων προσδιορισμού γλωσσών.