Finite-Model Theory and Its Applications
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
- Duits
- Hardcover
- 9783540004288
- 24 april 2007
- 437 pagina's
Samenvatting
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.
The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and tree-width, arise naturally in the application of finite model theory to database theory and AI. 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.
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our attention. It isthis aspect oflogicwhichis mostprominentin model theory,“thebranchof mathematical logic which deals with the relation between a formal language and its interpretations”. No wonder, then, that mathematical logic, and ?nite model theory in particular, should ?nd manifold applications in computer science: from specifying programs to querying databases, computer science is rife with phenomena whose understanding requires close attention to the interaction between language and structure. This volume gives a broadoverviewof some central themes of ?nite model theory: expressive power, descriptive complexity, and zero–one laws, together with selected applications to database theory and arti?cial intelligence, es- cially constraint databases and constraint satisfaction problems. The ?nal chapter provides a concise modern introduction to modal logic,which emp- sizes the continuity in spirit and technique with ?nite model theory.
Productspecificaties
Inhoud
- Taal
- de
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 24 april 2007
- Aantal pagina's
- 437
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Moshe Y. Vardi
- Tweede Auteur
- Phokion G. Kolaitis
- Co Auteur
- Leonid Libkin
- Hoofduitgeverij
- Springer-Verlag Gmbh
Vertaling
- Originele titel
- Finite-Model Theory and Its Applications
Overige kenmerken
- Editie
- 2007 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 159 mm
- Product hoogte
- 19 mm
- Product lengte
- 241 mm
- Studieboek
- Ja
- Verpakking breedte
- 159 mm
- Verpakking hoogte
- 19 mm
- Verpakking lengte
- 241 mm
- Verpakkingsgewicht
- 744 g
EAN
- EAN
- 9783540004288
Je vindt dit artikel in
- Categorieën
- Taal
- Duits
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.