Logiikka ja pelit

Tietueen suppeat tiedot
dc.contributorMatemaattis-luonnontieteellinen tiedekunta / Faculty of Mathematics and Natural Sciences, Matematiikka-
dc.contributor.authorKarhumäki, Ulla
dc.contributor.departmentfi=Matematiikan ja tilastotieteen laitos|en=Department of Mathematics and Statistics|
dc.contributor.facultyfi=Matemaattis-luonnontieteellinen tiedekunta|en=Faculty of Mathematics and Natural Sciences|-
dc.contributor.studysubjectfi=Matematiikka|en=Mathematics|
dc.date.accessioned2015-11-23T10:16:18Z
dc.date.available2015-11-23T10:16:18Z
dc.date.issued2015-11-23
dc.description.abstractTä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.-
dc.description.notificationSiirretty Doriasta
dc.format.contentabstractOnly
dc.identifier.olddbid132373
dc.identifier.oldhandle10024/117657
dc.identifier.urihttps://www.utupub.fi/handle/11111/8444
dc.language.isofin-
dc.publisherfi=Turun yliopisto|en=University of Turku|
dc.source.identifierhttps://www.utupub.fi/handle/10024/117657
dc.titleLogiikka ja pelit-

Tiedostot

Kokoelmat

Opinnäytetöiden tiivistelmät (ei kokotekstiä)