Universitätsbibliothek Hagen

Fachsystematik
Informatik und Datenverarbeitung

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

Fachliche Betreuung: Martin Roos