Prof. Dr. Ulrich Hertrampf

Prof. Dr. Ulrich Hertrampf
Informatik
Uni Stuttgart

Lehrveranstaltungen von Prof. Dr. Ulrich Hertrampf

Veranstaltung Umfang Beschreibung Bewertungen
Automaten und formale Sprachen
Vorlesung + Übung/Tutorium
4 SWS
6 CP
- 5
Formale Semantik
Vorlesung + Übung/Tutorium
3 SWS - 1
Theoretische Informatik 3
Vorlesung + Übung/Tutorium
5 SWS
12 CP
- 3