Description 
1 online resource (xi, 437 pages) : illustrations 
Series 
Texts in Theoretical Computer Science an EATCS Series, 18624499 

Texts in theoretical computer science. 18624499

Contents 
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 
Summary 
"This book gives a broad overview of central topics of finite model theory  expressive power, descriptive complexity, and zeroone laws  together with selected applications relating to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory." "Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the applications of logic to computer science."Jacket 
Bibliography 
Includes bibliographical references and index 
Notes 
Print version record 
Subject 
Finite model theory.


Computational complexity.


Constraint databases.


Computational complexity.


Constraint databases.


Finite model theory.


Informatique.


Computational complexity.


Constraint databases.


Finite model theory.


Modeltheorie.

Form 
Electronic book

Author 
Grädel, Erich, 1958

LC no. 
2007923182 
ISBN 
9783540688044 

3540688048 

9783540004288 

3540004289 
