Benutzer:Mikegr/TI

Kalkül

Aussagenlogik

• De Morgansche Gesetze
• Disjunktive Normalform
• Konjunktive Normalform
• Implikation
• Erfüllbarkeit
  • Erfüllbarkeitsproblem der Aussagenlogik

Prädikatenlogik

Literal

Unifikation (Logik)

Resolution (Logik)

Klausel

Horn-Klausel

Abzählbarkeit

Rekursive Aufzählbarkeit

Entscheidbarkeit

Terminiertheit

Berechenbarkeitstheorie

Primitiv-rekursive Funktion