Suche Bilder Maps Play YouTube News Gmail Drive Mehr »
Anmelden
Books Die Bücher 1 - 10 von ungefähr 45 beziehen sich auf Models and Games.   

Dependence Logic: A New Approach to Independence Friendly Logic

Jouko Väänänen - 2007 - 225 Seiten
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first ...
Eingeschränkte Leseprobe - Über dieses Buch

Generalized Quantifiers and Computation: 9th European Summer School in Logic ...

Jouko Väänänen - 2003 - 139 Seiten
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence ...
Eingeschränkte Leseprobe - Über dieses Buch

Axiom of Choice

Horst Herrlich - 2006 - 198 Seiten
AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom. It is shunned by some, used indiscriminately by others. This ...
Eingeschränkte Leseprobe - Über dieses Buch

Logic Colloquium 2007

Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan - 2010
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current ...
Eingeschränkte Leseprobe - Über dieses Buch

A Course in Model Theory

Katrin Tent, Martin Ziegler - 2012 - 248 Seiten
This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski ...
Eingeschränkte Leseprobe - Über dieses Buch

Logic and Algebra

Yi Zhang - 2002 - 285 Seiten
Keine Leseprobe verfügbar - Über dieses Buch

Introduction to Cardinal Arithmetic

Michael Holz, Karsten Steffens, E. Weitz - 2009 - 304 Seiten
An introduction to modern cardinal arithmetic is presented in this volume, in addition to a survey of results. A discussion of classical theory is included, paired with ...
Eingeschränkte Leseprobe - Über dieses Buch

Logic and Games on Automatic Structures: Playing with Quantifiers and ...

Lukasz Kaiser - 2011 - 118 Seiten
The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This ...
Eingeschränkte Leseprobe - Über dieses Buch

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

Yoav Shoham, Kevin Leyton-Brown - 2008
Multiagent systems combine multiple autonomous entities, each having diverging interests or different information. This overview of the field offers a computer science ...
Eingeschränkte Leseprobe - Über dieses Buch




  1. Meine Bücher
  2. Hilfe
  3. Erweiterte Buchsuche