Elements of Finite Model Theory, Fachbücher von Leonid Libkin
96,29 €
"Elements of Finite Model Theory" ist ein Fachbuch, das sich mit der mathematischen Logik im Kontext der Informatik beschäftigt. Es behandelt die Grundlagen und Entwicklungen der endlichen Modelltheorie, die aus Anwendungen in der Datenbanktheorie, der Berechnungskomplexität und formalen Sprachen hervorgegangen ist. Das Buch beleuchtet die historischen Wurzeln der endlichen Modelltheorie, beginnend mit Trakhtenbrots Ergebnis von 1950, das die Nicht-Rekursivität der Gültigkeit über endlichen Modellen aufzeigt. Es wird auch auf die bedeutenden Beiträge von Fagin, Immerman und Vardi eingegangen, die wichtige Ergebnisse zur Charakterisierung von Komplexitätsklassen wie NP und PTIME geliefert haben. Darüber hinaus wird die Verbindung zwischen endlicher Modelltheorie und relationalen Datenbanken thematisiert, die in den späten 1970er Jahren an Bedeutung gewannen. Dieses Buch ist eine wertvolle Ressource für Studierende und Fachleute, die sich mit den theoretischen Grundlagen und praktischen Anwendungen der endlichen Modelltheorie auseinandersetzen möchten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
