Hier sind einige, sonst nicht explizit in den Lehrunterlagen (Skript bzw. Vorlesungsmitschriften) zu findende, Beispiele aus den Übungen aufgelistet.

Übung 2

Induktive Definition der Eigenschaft: Die Aussagenvariable q kommt vor im Ausdruck H.

Für das allgemeine Schema induktiver Mengendefinitionen und für Beweise über induktiv erzeugte Mengen siehe

Übung 3

Induktive Definition der Menge (Sprache) aller Ausdrücke in Alternativer NormalForm

Übung 4

optimale Normalformen und Folgern

Übung 5

Klauseln und ihre verschiedenen Darstellungen

Übung 6

Systematische Berechnung des Cut-Abschlusses

Übung 7

Was ist ein Logikkalkül?

Partiell rekursive Funktionen (Darstellung in Mathematica)

Übung 8

Turingmaschinen und verwandte Modelle für Berechenbarkeit

Übung 9

Syntax und Semantik des PK

Übung 10

Eine Klausuraufgabe zum Klassenkalkül

Übung 11

Erfüllbarkeit und (Allgemein-)Gültigkeit im Prädikatenkalkül

Aussagenlogische Erfüllbarkeit und Allgemeingültigkeit

Übung 12

Muster-Lösung der UA Serien 9 und 10!

Welche Begriffe und Zusammenhänge sollte ich können,
um die Übungsaufgaben (z.B. vor einer Prüfungskommission) erklären zu können?