Theoretische Informatik II
Die Übungsblätter (als pdf-Dateien)
Jeweils dienstags während der Vorlesung werden Übungsblätter verteilt und Lösungen eingesammelt (Abgabetermin: siehe Übungsblatt).
Blatt 1
Blatt 2
Blatt 3
Blatt 4
,
Kurztest Aussagenlogik
Blatt 5
Blatt 6
Blatt 7
Blatt 8
Blatt 9
Blatt 10
Blatt 11
,
Kurztest Prädikatenlogik