Finite Model Theory and Its Applications

• Κύριοι συγγραφείς: Grädel, Erich (Συγγραφέας), Kolaitis, Phokion G. (Συγγραφέας), Libkin, Leonid (Συγγραφέας), Marx, Maarten (Συγγραφέας), Spencer, Joel (Συγγραφέας), Vardi, Moshe Y. (Συγγραφέας), Venema, Yde (Συγγραφέας), Weinstein, Scott (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Texts in Theoretical Computer Science an EATCS Series,
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Mathematical logic.; Database management.; Computer Science.; Theory of Computation.; Mathematical Logic and Formal Languages.; Software Engineering.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Database Management.

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 ch...

Πίνακας περιεχομένων:

• 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.