Benutzer:Mikegr/TI

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Kalkül

Aussagenlogik

Prädikatenlogik

Literal

Unifikation (Logik)

Resolution (Logik)

Klausel

Horn-Klausel

Abzählbarkeit

Rekursive Aufzählbarkeit

Entscheidbarkeit

Terminiertheit

Berechenbarkeitstheorie

Primitiv-rekursive Funktion

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Benutzer:Mikegr/TI&oldid=18855304“