Haku
Viitteet 1-4 / 4
Modal Fragments of Second-Order Logic
(Tampere University Press, 2011)
Väitöskirja
Väitöskirja
Formaalin logiikan tutkimuskohteina ovat erilaiset muodolliset systeemit eli logiikat, joiden avulla voidaan mm. mekanisoida monenlaisia päättelyprosesseja. Eräs modernin formaalin logiikan keskeisistä tutkimusaiheista on ...
Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity
(Tampere University Press, 2014)
Monografiaväitöskirja
Monografiaväitöskirja
Riippuvuuslogiikka on uusi formalismi, jossa tarkastellaan riippuvuuskäsitteeseen liittyviä ilmiöitä muodollisen logiikan viitekehyksessä. Muodollisiin logiikoihin liittyvissä matemaattisissa tarkasteluissa tutkimuksen ...
On the Invertibility and Eigenvalue Properties of Some Lattice-Theoretic Matrices: Meet and Join Matrices Studied via Möbius Inversion
(Tampere University Press, 2015)
Artikkeliväitöskirja
Artikkeliväitöskirja
Väitöskirjan päätavoitteena on tarkastella meet- ja join-tyypin matriisien erityyppisiä ominaisuuksia Möbiuksen inversion avulla. Työssä tarkastellaan kolmea erilaista meet- ja join-matriisien yleistystä ja osoitetaan, ...
G-Gorenstein Complexes
(Tampere University Press, 2016)
Monografiaväitöskirja
Monografiaväitöskirja
G-GORENSTEIN -kompleksit
Tämän väitöskirjan tavoitteena on esittää klassiselle Gorenstein-kompleksin käsitteelle vastine Gorenstein-homologisessa algebrassa: “G-Gorenstein-kompleksi”.
Väitöskirjassa tutkitaan ...