Martin Blahynka
Bakalářská práce
Non-wellfounded Conway games
Non-wellfounded Conway games
Anotace:
Conwayovy hry patří mezi partyzánské kombinatorické hry dvou hráčů. V této práci formalizujeme Conwayovy hry pomocí jednoduchého grafového modelu. V takto zavedeném formalizmu dokazujeme tzv. determinacy theorem. Dále formalizujeme poziční hry a ukazujeme, jak je možné redukovat Conwayovy hry na poziční hry a naopak.Abstract:
Conway games are a type of partisan combinatorial game between two players. We give an exposition of (possibly non-well-founded) Conway games based on a simple graph model. We consider every infinite play to be a draw. In this formalism we prove determinacy of Conway games. We similarly formalise positional games – another type of game – and show how the two types of games can be reduced to each other …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 26. 5. 2020
Identifikátor:
https://is.muni.cz/th/uetk5/
Obhajoba závěrečné práce
- Obhajoba proběhla 25. 6. 2020
- Vedoucí: Dr. rer. nat. Achim Blumensath
- Oponent: prof. RNDr. Antonín Kučera, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Matematická informatika