Kurzbeschreibung GThI

Grundlagen der Theoretischen Informatik
Kurzbeschreibung

Aufbauend auf der Vorlesung "Einführung in die Diskrete Mathematik" werden mathematisch-strukturelle Grundlagen der Theoretischen Informatik vermittelt. Zugleich wird eine kurze Einführung in die Hauptgebiete der Theoretischen Informatik gegeben.

Inhalte sind insbesondere:

Signaturen und Algebren
Terme und strukturelle Induktion
Prädikatenlogik erster Stufe, einschließlich eines Logikkalküls
Graphen und Zustandsübergangsdiagramme
Grundbegriffe aus der Theorie formaler Sprachen und der Berechenbarkeitstheorie