| TVH-TVN | | Theoretische Grundlagen der Programmierung |
| TVH | | Gesamtdarstellungen und allgemeine Einzelfragen |
| TVI* | | Algorithmentheorie |
| TVIC | | Theorie der Berechenbarkeit. Rekursive Funktionen |
| TVIE | | Komplexitätstheorie |
| TVIG | | Algorithmen (Analyse, Komplexität, Effizienz) |
| TVJ | | Automatentheorie |
| TVL | | Theorie der formalen Sprachen und ihrer Automaten |
| TVM* | | Programmierung. Nebenläufige Prozesse |
| TVMC | | Theorie der Programmierung (Semantik, Verfikation, Schemata). Algebraische Spezifikation |
| TVME | | Theorie der nebenläufige Prozesse (Petrinetze, Produktnetze, ...) |
| TVMG | | Datenstrukturen (Algorithmen, ...) |
| TVN | | Sonstiges |