Haku
Viitteet 1-10 / 66
Trooppista geometriaa
(2013)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämä tutkielma rakentuu todistamaan Kapranovin lauseen, joka yhdistää trooppisen geometrian ja algebrallisen geometrian. Aluksi keskitytään esittelemään Kapranovin lausetta varten oleellisia määritelmiä ja tuloksia. ...
Diskreetit valuaatiorenkaat ja Dedekindin kokonaisalueet
(2013)
Pro gradu -tutkielma
Pro gradu -tutkielma
Täydellistymät ja Henselin lemma
(2013)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämä tutkielma käsittelee modulien ja renkaiden täydellistymiä. Tutustutaan aluksi tarpeellisiin käsitteisiin, kuten suodatukseen. Todistetaan Artin-Reesin lemma ja sen seuraus, Krullin leikkauslause. Esitellään topologiset ...
Resolventtimenetelmästä
(2013)
Pro gradu -tutkielma
Pro gradu -tutkielma
Resolventtimenetelmä on eräs tapa määritellä polynomin Galois'n ryhmä.
Jokaista ryhmää G kohti voidaan muodostaa resolventti, joka kertoo onko Galois'n ryhmä G tai sen aliryhmä. Oikea ryhmä määritetään yhdistämällä ...
Universaalialgebraa
(2013)
Pro gradu -tutkielma
Pro gradu -tutkielma
Universaalialgebralla tarkoitetaan matematiikan osa-aluetta, jonka tutkimuskohteina ovat yleistetyt algebralliset rakenteet. Tämän tutkielman tavoitteena on perehtyä universaalialgebran peruskäsitteisiin ja esittää joitakin ...
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, ...
Keskiarvoja ja epäyhtälöitä
(2014)
Lisensiaatintyö
Lisensiaatintyö
Tässä kirjoituksessa tutkimme epäyhtälöitä, erityisesti eräiden keskiarvojen välillä. Monet niistä voidaan todistaa tai konstruoida muutamien yleisten epäyhtälöiden avulla. Tällaisia ovat mm. Jensenin, Karamatan, Muirheadin, ...
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. ...