Logiikka ja pelit

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.

Situational awareness for critical infrastructure protection

Postgraduate seminar series with a title Situational Awareness for Critical Infrastructure Protection held at the Department of Military Technology of the National Defence University in 2015. This book is a collection of some of talks that were presented in the seminar. The papers address designing inter-organizational situation awareness system, principles of designing for situation awareness, situation awareness in distributed teams, vulnerability analysis in a critical system context, tactical Command, Control, Communications, Computers, & Intelligence (C4I) systems, and improving situational awareness in the circle of trust. This set of papers tries to give some insight to current issues of the situation awareness for critical infrastructure protection. The seminar has always made a publication of the papers but this has been an internal publication of the Finnish Defence Forces and has not hindered publication of the papers in international conferences. Publication of these papers in peer reviewed conferences has indeed been always the goal of the seminar, since it teaches writing conference level papers. We still hope that an internal publication in the department series is useful to the Finnish Defence Forces by offering an easy access to these papers.

Towards east or west? : Defence planning in Finland 1944-1966

Finnish Defence Studies is published under the auspices of the National Defence University, and the contributions reflect the fields of research and teaching of the University. Finnish Defence Studies will occasionally feature documentation on Finnish Security Policy. Views expressed are those of the authors and do not necessarily imply endorsement by the National Defence University.

Limasienten lumoissa

Kirjallisuusarvostelu

Lestadiolaisuus, yhteiskunta ja politiikka

Kirjallisuusarvostelu

Legendoja jo eläessään

Kirjallisuusarvostelu

Näkökulmia Norlannin kirkkohistoriaan

Kirjallisuusarvostelu

Koulukiusaaminen tyttöjen koululaisromaaneissa

Referee-artikkeli