Finite Model Theory (Perspectives in Mathematical Logic)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
Das Buch "Finite Model Theory" von Jörg Flum, das Teil der Reihe "Perspectives in Mathematical Logic" ist, bietet eine umfassende Einführung in die Modelltheorie mit einem besonderen Fokus auf endliche Strukturen. Es untersucht die Unterschiede und Gemeinsamkeiten zwischen klassischer Modelltheorie und ihrer endlichen Variante. Die Autoren behandeln grundlegende Konzepte wie Logiken und deren Ausdrucksstärken, Algorithmen für Entscheidungsprobleme sowie Anwendungen in der Informatik, insbesondere im Bereich der Datenbanken und Komplexitätstheorie. Das Buch richtet sich an fortgeschrittene Studierende und Forschende in Mathematik und theoretischer Informatik, die ein tieferes Verständnis für die logischen Grundlagen endlicher Modelle erlangen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
