Kurzbeschreibung
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
