Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Independence-Friendly Logic - Merlijn Sevenster,Allen L. Mann,Gabriel Sandu

inglise keel
2011-05-05
111,34 € 185,57 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strateg ... Täielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.

Lisateave

Autor Merlijn Sevenster, Allen L. Mann, Gabriel Sandu
Kirjastaja Cambridge University Press
Väljalaskeaasta 2011
Kaanetüüp Pehme kaanega
EAN 9780521149341
Kirjuta oma arvustus
Te vaatate: Independence-Friendly Logic
Teie hinnang:

Goodreads'i arvustused

111,34 € 185,57 €