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


Hilfe und Kontakt


Letzte Änderung: 17.06.2015


Dieser Hinweis erscheint nur für Textbrowser und nicht konforme graphische Browser: unsere Webseiten basieren auf dem W3C-Standard und sind weitgehend barrierefrei. Hinweise zur Barrierefreiheit finden Sie in unserem Hinweis zur Barrierefreiheit.