| |
TVA | Theoretische Informatik (Gesamtdarstellungen. Allgemeine Einzelfragen). Mathematische Grundlagen der Informatik. Formale Logik. Mathematik für Informatiker |
TVC | Abstrakte Rechnerstrukturen. Rechnen mit abstrakten Computern und Bauelementen. (Mathematische Rechnermodelle. Komplexitätsklassen. Rechenmodi). Diskrete Mathematik und Informatik |
TVI | Anwendungen der formalen Logik (Theorie der Berechenbarkeit, Lambda-Kalkül, Automatisches Beweisen, Rekursive Funktionen). Entwurf und Analyse von Algorithmen (Numerische Probleme und Algorithmen. Nichtnumerische Probleme und Algorithmen. Komplexitätstheorie). Mathematische Grundlagen der Rechnerarithmetik. Symbolische mathematische Berechnungen |
TVL | Logik und Bedeutung von Programmen (Programmierlogik). Theorie der Programmierung (Spezifizierung und Verifizierung von Programmen. Semantik der Programmiersprachen. Programmaufbau) |
TVM | Theorie der Automaten und der formalen Sprachen (Algebraische Theorie der formalen Sprachen und Grammatiken. Grammatiktypen. Rückschreibsysteme) |
TVP | Codierungstheorie |