Universitätsbibliothek Hagen


Fachsystematik
Informatik und Datenverarbeitung

TVATheoretische Informatik (Gesamtdarstellungen. Allgemeine Einzelfragen). Mathematische Grundlagen der Informatik. Formale Logik. Mathematik für Informatiker
TVCAbstrakte Rechnerstrukturen. Rechnen mit abstrakten Computern und Bauelementen. (Mathematische Rechnermodelle. Komplexitätsklassen. Rechenmodi). Diskrete Mathematik und Informatik
TVIAnwendungen 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
TVLLogik und Bedeutung von Programmen (Programmierlogik). Theorie der Programmierung (Spezifizierung und Verifizierung von Programmen. Semantik der Programmiersprachen. Programmaufbau)
TVMTheorie der Automaten und der formalen Sprachen (Algebraische Theorie der formalen Sprachen und Grammatiken. Grammatiktypen. Rückschreibsysteme)
TVPCodierungstheorie

Fachliche Betreuung: Martin Roos



Letzte Änderung: 09.02.2022