Martin Blahynka
Bachelor's thesis
Non-wellfounded Conway games
Non-wellfounded Conway games
Anotácia:
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 …viac
Jazyk práce: English
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Mathematical Informatics