Enzyklopädie > S > Satz von Herbrand
Satz von Herbrand
Der nach Jacques Herbrand, einem französischer Logiker, benannte Satz von Herbrand (Herbrand's theorem) in der Prädikatenlogik lautet:
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)