Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraïssé games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory.
This book can be used both as an introduction to the subject, suitable for a one- or two-semester graduate course, or as reference for researchers who apply techniques from logic in computer science.
Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.
De prijs van dit product is 100 euro en 99 cent.100
99
2 - 3 weken
Levertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol
Texts in Theoretical Computer Science. An EATCS Series- Elements of Finite Model Theory
{"pdpTaxonomyObj":{"pageInfo":{"pageType":"PDP","language":"nl","website":"bol.com"},"userInfo":{},"productInfo":[{"productId":"1001004002377606","ean":"9783540212027","title":"Texts in Theoretical Computer Science. An EATCS Series- Elements of Finite Model Theory","price":"100.99","categoryTreeList":[{"tree":["Boeken","Wetenschap \u0026 Natuur"]},{"tree":["Boeken","Computers \u0026 Informatica"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie"]},{"tree":["Boeken","Computers \u0026 Informatica","Databases"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren"]},{"tree":["Boeken","Wetenschap \u0026 Natuur","Wiskunde"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie","Wiskunde voor computerwetenschappers"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren","Algoritmes \u0026 datastructuren"]},{"tree":["Boeken","Wetenschap \u0026 Natuur","Wiskunde","Grondslagen van de wiskunde"]},{"tree":["Boeken","Wetenschap \u0026 Natuur","Wiskunde","Grondslagen van de wiskunde","Wiskundige logica"]},{"tree":["Boeken"]}],"brick":"10000926","chunk":"80007266","publisher":"Springer-Verlag Berlin and Heidelberg GmbH \u0026 Co. K","author":"Leonid Libkin","averageReviewRating":"0.0","seriesList":[],"sellerName":"bol.com","uniqueProductAttribute":"BINDING-Hardcover"}]}}
{"pdpAnalyticsObj":{"pageInfo":{"pageType":"PDP","country":"NL","shoppingChannelContextTypeAndDeviceType":"www.bol.com,SEO_AGENT","canonicalUrl":"https://www.bol.com/nl/nl/f/elements-of-finite-model-theory/38140405/","shortURL":"/p/texts-in-theoretical-computer-science-an-eatcs-series-elements-of-finite-model-theory/1001004002377606/","countryLanguage":"nl-nl","external":true,"subscriptionInfo":{"selectMembership":false},"shouldSendUserProps":false,"renderedInApp":false},"product":{"productId":"1001004002377606","title":"Texts in Theoretical Computer Science. An EATCS Series- Elements of Finite Model Theory","category":"Boeken/Wetenschap \u0026 Natuur","brand":"","brick":"10000926","seller":"0_","price":100.99,"discount":0.0,"categoryNumbersFlattened":["8299","23952"],"categories":["Boeken","Wetenschap \u0026 Natuur","Wiskunde","Grondslagen van de wiskunde","Wiskundige logica"],"orderable":"available","quantity":1}}}