Hakutulokset: Kirjoja kirjailijalta Jouko Väänänen
yhteensä 24 hakutulosta
Johdatus logiikkaan
Mitkä ovat yleisesti hyväksytyt loogisen päättelyn periaatteet? Mitkä ovat menetelmät, joilla oikea päättely voidaan erottaa väärästä? Miksi jokin väite seuraa hyväksytyistä …
Saaristomeren Sininen Kirja
Kirja on osa Operaatio Ainutlaatuinen Saaristomeri - hanketta. Kirja nostaa esiin maailmassa ainutlaatuisen luontoalueen, sen rehevöitymisestä johtuvan huonon tilan,riskit ja …
Dependence Logic
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also …
Dependence Logic
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also …
Dependence Logic
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to …
Logic Colloquium 2006
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current …
Logic Colloquium 2006
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current …
Rauhaa, Peace! Pacifismin klassikoita
Pasifismia 2 500 vuotta! Väkivalta ja terrorismi herättävät vaikeita kysymyksiä. Pasifisti ei kuitenkaan alistu, vaan toimii. Kirja opettaa ymmärtämään, kuinka rauhanomaisesti …
Models and Games
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model …
Dependence Logic
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to …
Logic, Language, Information, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, …