Spiele
Einfache Sprache
In der theoretischen Informatik sind Spiele eine Wettbewerb zwischen zwei Parteien, die ein bestimmtes Ziel erreichen wollen und dabei nach bestimmten Regeln handeln können.
Def. Spiele
Spiele stehen eng mit Quantoren in Beziehung. Eine quantifizierte Aussage (z.B. Prädikatenlogische Formel) hat meist ein entsprechendes Spiel und umgekehrt.