Haku
Viitteet 1-10 / 10
Primitiiviset juuret
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielmassa käsitellään lukuteoriaa eli kokonaislukuja ja niiden ominaisuuksia. Pääaiheena on kokonaislukujen primitiiviset juuret. Tutkielman alussa esitellään lukuteorian peruskäsitteitä, kuten esimerkiksi jaollisuus, ...
Leen-Carterin malli
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Vuonna 2007 tulee voimaan TyEL-eläkelaki, joka yhdistää yksityisen sektorin palkansaajat yhden eläkelain piiriin. Tässä tutkielmassa sovelletaan Leen-Carterin mallia yli 65-vuotiaiden eläkkeellä olevien TyEL-eläkejärjestelmään ...
Primitiiviset juuret: teoriaa ja sovelluksia
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielman tarkoituksena on perehdyttää lukija primitiivisten juurten teoriaan ja muutamiin sovelluksiin lukuteoriassa.
Ensimmäisessä luvussa määritetään kokonaisluvun kertaluku ja sen avulla primitiivinen juuri ja ...
Kongruenssin sovelluksia
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä työssä seurataan ensisijaisesti Thomas Koshyn kirjaa Elementary Number Theory with Applications. Monipuolisuuden vuoksi rinnalla on käytetty joissain kohdin myös Kenneth Rosenin kirjaa Elementary Number Theory and ...
Hilbertin aksioomajärjestelmä klassiselle euklidiselle geometrialle
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämän tutkielman tehtävänä on tarkastella David Hilbertin luomaa aksiomatisointia klassiselle euklidiselle geometrialle. Hilbertin järjestelmää noudattaen geometria voidaan määritellä täydellisesti 20 aksiooman avulla. ...
Bûchin lause ja transitiivisen sulkeuman logiikat
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Büchin lauseen merkittävin tulos on, että äärellisellä automaatilla tunnistettavat säännölliset kielet ovat määriteltävissä monadisessa toisen kertaluvun logiikassa. Tässä tutkielmassa todistamme lisäksi, että monadisen ...
Kongruenssista
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä tutkielmassa perehdytään kongruensseihin ja niiden ominaisuuksiin. Luvussa yksi käydään läpi lukuteorian perusteita, joita tarvitaan myöhemmin. Esitetään kokonaislukujen jaollisuuteen liittyviä lauseita ja jakoalgoritmi, ...
Aikalogiikoista
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Hakutermit:
aikalogiikka, bisimulaatio, ilmaisuvoima, modaliteetti, määriteltävyys, until-since
Työssä käsitellään kahta modaalista aikalogiikkaa: perusaikalogiikaa ja Until-Since -logiikkaa. Näihin tutustutaan antamalla ...
Lukuteorian sovelluksia tiedon salauksessa
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielman alkuosassa käydään läpi lukuteorian perusteita ja
loppuosassa lukuteoriaa sovelletaan kahden salausmenetelmän
yhteydessä. Lukuteorian perusteet ovat pohjana hieman syvemmälle
menevään materiaaliin, jotka ...
Laplace-muunnoksesta
(2006)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämä on tutkielma Laplace-muunnoksesta. Laplace-muunnoksella on integraalimuunnoksena monia käytännön sovelluksia matematiikassa ja fysiikassa ja se tarjoaa erittäin käyttökelpoisen vaihtoehdon esimerkiksi differentiaaliyhtälöiden ...