La memoria tiene dos partes diferenciadas. En la primera se estudian las relaciones entre grafos y juegos.Se definen formalmente ambos conceptos, se estudian sus propiedades y se llega al resultado crucial de esta parte (teorema II.2.10) que nos afirma que en un juego existe una estrategia ganadora para un estado del juego, si y solamente si, en un grafo, asociado al juego, existe un g-camino desde el estado dado al conjunto de estados ganadores. La segunda parte trata de la aplicacion de estrategias para juegos a la deduccion. Se resuelve aqui el problema inverso (en cierto sentido) al...
La memoria tiene dos partes diferenciadas. En la primera se estudian las relaciones entre grafos y juegos.Se definen formalmente ambos conceptos, se e...