Haku
Viitteet 1-6 / 6
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, ...
Arithmetic Incidence Functions : A Study of Factorability
(2014)
Lisensiaatintyö
Lisensiaatintyö
In terminology of number theory, an arithmetic incidence function can be characterized as a function that possesses all the defining properties of both an incidence function and an arithmetic function of two variables. ...
Layered tropical commutative algebra
(2016)
Lisensiaatintyö
Lisensiaatintyö
Trooppisissa puolirenkaissa käytettävä max-plus-algebra tekee kaikista puolirenkaan alkioista idempotentteja (yhteenlaskun suhteen). Tämän ilmiön estämiseksi Izhakian ja muut ovat esitelleet kerrostetun trooppisen matematiikan ...
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 ...