Voraussetzungen für die Teilnahme / Prüfung
Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:
Inhaltlich werden fundierte (wenngleich nicht alle) Kenntnisse aus den Modulen
- Formale Sprachen und Automaten
- Diskrete Strukturen
- Berechenbarkeit und Komplexität
- Logik
- Reaktive Systeme
des Bachelor Informatik der TU Berlin vorausgesetzt.
Kenntnisse aus den Mastermodulen des FG MTV sind vorteilhaft, je nach Forschungsgegenstand.
Gute Englisch-Kenntnisse sind absolut notwendig.
Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:
Dieses Modul hat keine Prüfungsvoraussetzungen.