Libkin, Leonid Elements of Finite Model Theory

'Elements of Finite Model Theory' von Leonid Libkin ist ein grundlegendes Werk, das sich mit der Modelltheorie im Kontext endlicher Strukturen auseinandersetzt. Das Buch bietet eine umfassende Einführung in die Prinzipien und Methoden der Modelltheorie, speziell angewandt auf endliche Modelle, die besonders in der Informatik relevant sind. Libkin beginnt mit einer Einführung in die grundlegenden Konzepte der Logik und Modelltheorie und führt den Leser dann durch spezifische Themen wie definierbare Eigenschaften, Komplexitätstheorien und Algorithmen. Er untersucht verschiedene logische Sprachen, darunter klassische Logiken wie Prädikatenlogik erster Ordnung sowie erweiterte Systeme wie Fixpunkt-Logiken. Ein zentrales Thema des Buches ist die Untersuchung der Ausdruckskraft verschiedener logischer Systeme auf endlichen Strukturen und deren Anwendung in Bereichen wie Datenbanken und formaler Verifikation. Libkin legt besonderen Wert auf den Zusammenhang zwischen logischen Formalismen und ihrer Berechenbarkeit sowie ihrer Effizienz bei der Lösung von Problemen. Das Buch richtet sich an fortgeschrittene Studenten, Forscher und Fachleute aus den Bereichen Informatik, Mathematik und Logik, die ein tiefgehendes Verständnis für die theoretischen Grundlagen benötigen, um praktische Probleme im Bereich der Computerwissenschaften zu lösen.