Mehr zum Buch
Finite model theory is a branch of mathematical logic closely linked to computer science, particularly in computational complexity and database theory. A key insight of mathematical logic is that our understanding of mathematical phenomena improves when we treat the languages used to describe mathematical structures as objects of study. Mathematics, as the science of patterns, requires attention to both the media through which we discern these patterns and the structures involved. This focus is central to model theory, which examines the relationship between formal languages and their interpretations. Consequently, finite model theory has numerous applications in computer science, from program specification to database querying, highlighting the interaction between language and structure. This volume provides a comprehensive overview of essential themes in finite model theory, including expressive power, descriptive complexity, and zero-one laws, along with selected applications in database theory and artificial intelligence, particularly concerning constraint databases and satisfaction problems. The final chapter offers a modern introduction to modal logic, showcasing the continuity in spirit and technique with finite model theory.
Buchkauf
Finite model theory and its applications, Erich Gra del
- Sprache
- Erscheinungsdatum
- 2007
- product-detail.submit-box.info.binding
- (Hardcover)
Lieferung
Zahlungsmethoden
Hier könnte deine Bwertung stehen.