Inhaltsverzeichnis
4 Beziehungen: Herbrand-Expansion, Prädikatenlogik, Rekursiv aufzählbare Menge, Satz von Herbrand.
Herbrand-Expansion
Die Herbrand-Expansion stellt eine Menge von prädikatenlogischen Formeln dar, die aus einer gegebenen Formel F durch eine spezielle Art der Substitution abgeleitet werden können.
Sehen Algorithmus von Gilmore und Herbrand-Expansion
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Sehen Algorithmus von Gilmore und Prädikatenlogik
Rekursiv aufzählbare Menge
Als rekursiv aufzählbare Menge (auch semi-entscheidbare Menge, positiv semi-entscheidbare Menge, halb-entscheidbare Menge, berechenbar aufzählbare Menge, kurz r.e., c.e.) wird in der Berechenbarkeitstheorie eine Menge von natürlichen Zahlen bezeichnet, wenn es einen Algorithmus gibt, der die Elemente dieser Menge aufzählt.
Sehen Algorithmus von Gilmore und Rekursiv aufzählbare Menge
Satz von Herbrand
Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom französischen Logiker Jacques Herbrand publiziert wurde.
Sehen Algorithmus von Gilmore und Satz von Herbrand
Auch bekannt als Gilmore-Algorithmus.