Logiikka ja pelit
Karhumäki, Ulla (2015-11-23)
Logiikka ja pelit
Karhumäki, Ulla
(23.11.2015)
Tätä artikkelia/julkaisua ei ole tallennettu UTUPubiin. Julkaisun tiedoissa voi kuitenkin olla linkki toisaalle tallennettuun artikkeliin / julkaisuun.
Turun yliopisto
Kuvaus
Siirretty Doriasta
Tiivistelmä
Tämä tutkielma käsittelee loogisia pelejä, etenkin pelaajien voittostrategioita loogisissa peleissä. Voittostrategia on strategia, jolla kahden pelaajan pelissä pelaaja voittaa pelasipa toinen pelaaja millaisia siirtoja tahansa. Tutkielman alkupuolella todistetaan, että missä tahansa kahden pelaajan äärellisessä pelissä Gn(A;W) toisella pelaajista on voittostrategia.
Pääpaino on esittää logiikan ja pelien välinen yhteys. Tämä yhteys on nimeltään logiikan strateginen tasapaino, ja se muodostuu kolmesta loogisesta pelistä. Tutkielmassa esitellään tarkasti näiden pelien kulku, ja tarkastellaan milloin toisella pelaajista on voittostrategia kyseisissä loogisissa peleissä. Tutkielma mukailee Jouko Väänäsen teosta Models and Games ja osittain L.Kirbyn ja J.Parisin artikkelia Accessible Independence Results for Peano Arithmetic.
Pääpaino on esittää logiikan ja pelien välinen yhteys. Tämä yhteys on nimeltään logiikan strateginen tasapaino, ja se muodostuu kolmesta loogisesta pelistä. Tutkielmassa esitellään tarkasti näiden pelien kulku, ja tarkastellaan milloin toisella pelaajista on voittostrategia kyseisissä loogisissa peleissä. Tutkielma mukailee Jouko Väänäsen teosta Models and Games ja osittain L.Kirbyn ja J.Parisin artikkelia Accessible Independence Results for Peano Arithmetic.