:: Logische Complexiteit
Vak gegeven door kerndocent CKI.
Officiële website
Vak over computationele theorie. Aan de orde komen onder andere Automaten (NFA, DFA), Context-free Grammar/Language, Turing Machine Computability, Complexiteit (P, NP, PSPACE, EXPTIME)