Enzyklopädie > E > Ehrenfeucht-Fraïssé-Spiele
Ehrenfeucht-Fraïssé-Spiele
Ehrenfeucht-Fraïssé-Spiele (EF-Spiele) sind eine Beweistechnik der Modelltheorie. Durch ein EF-Spiel lässt sich die Äquivalenz zweier Strukturen zeigen bzw.
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)