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
| Autor: | Grädel, Erich Kolaitis, Phokion G. Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y. Venema, Yde Weinstein, Scott |
|---|---|
| Themengebiete: | Programmieren (EDV) / Constraint Programming |
| Veröffentlichungsdatum: | 24.04.2007 |
| EAN: | 9783540004288 |
| Sprache: | Englisch |
| Seitenzahl: | 456 |
| Produktart: | Gebunden |
| Verlag: | Springer Springer-Verlag GmbH Springer Vieweg |
Produktinformationen "Finite Model Theory and Its Applications"
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. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen