Endliche Modelltheorie

Dieses Buch basiert auf dem Skript zu einer Vorlesung ber endliche Modelltheorie an der Freien Universitt Berlin und dient als eine kurze Einfhrung in das Thema. Vorausgesetzt wird dabei eine gewisse Vertrautheit mit mathematischer Notation und grundlegenden Konzepten, wie zum Beispiel Mengen, die man in einer einfhrenden Mathematikvorlesung fr Studierende der Mathematik, Informatik oder der Naturwissenschaften erwirbt. Ausdrcklich nicht vorausgesetzt werden Kenntnisse in mathematischer Logik. Die Produktfamilie WissensExpress bietet Ihnen Lehr- und Lernbcher in kompakter Form. Die Bcher liefern schnell und verstndlich fundiertes Wissen.