|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Finite Model Theory and Its Applications
ISBN-13:
9783540688044
Veröffentl:
2007
Seiten:
440
Autor:
Erich Grädel
Serie:
Texts in Theoretical Computer Science. An EATCS Series
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics.
Unifying Themes in Finite Model Theory.- On the Expressive Power of Logics on Finite Models.- Finite Model Theory and Descriptive Complexity.- Logic and Random Structures.- Embedded Finite Models and Constraint Databases.- A Logical Approach to Constraint Satisfaction.- Local Variations on a Loose Theme: Modal Logic and Decidability.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
