Elements of Finite Model Theory, Fachbücher von Leonid Libkin
"Elements of Finite Model Theory" ist ein Fachbuch, das sich mit der mathematischen Logik im Kontext der Informatik beschäfti... Mehr erfahren
Finde die besten Angebote
Bester Preis48 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer