Requirements for participation and examination
Desirable prerequisites for participation in the courses:
Competencies and knowledge from the following modules (or equivalents thereof)
- Formal Languages and Automata,
- Discrete Structures,
- Computability and Complexity,
- Logics,
- Reactive Systems,
which are offered in the B.Sc. "Informatik" at TU Berlin, are very helpful.
Mandatory requirements for the module test application:
This module has no requirements.