| Lehrbeauftragter: | Prof. Dr. Jürgen Dassow |
| Semester: | Hauptstudium |
| Wochenstunden: | 4+0+0 |
| Zuhörerkreis: | IF, DKM |
| Voraussetzungen: | Grundvorlesung zur Theoretischen Informatik |
| Prüfung bzw. Scheinerwerb: | jeweils durch eine mündliche Prüfung von 20 - 30 Minuten |