Haku
Viitteet 1-10 / 18
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 ...
Laplace-muunnoksesta ja differentiaaliyhtälöiden ratkaisemisesta sen avulla
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämä tutkielma käsittelee Laplace-muunnosta ja differentiaaliyhtälöiden ratkaisemista sen avulla. Laplace-muunnos on integraalimuunnos, joka on saanut nimensä ranskalaisen matemaatikon ja tähtitieteilijän Pierre-Simon ...
Youngin taulut
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämä tutkielma käsittelee Youngin tauluja ja niiden yhteyttä äärellisten lukujonojen pisimmän kasvavan osajonon pituuden määrittämiseen. Aluksi määritellään Youngin taulu ja kaksi algoritmia, joiden avulla tauluun voidaan ...
Martingaalit diskreetti- ja jatkuva-aikaisessa arbitraasiteoriassa
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämä pro gradu -tutkielma käsittelee arvopaperijohdannaisten hinnoittelussa käytettyjä matemaattisia työkaluja ja näiden työkalujen johtamista. Erityisen tarkastelun kohteena on jatkuva-aikainen arbitraasiteoria Tomas ...
Multiskalaarikertolasku elliptisillä käyrillä
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä tutkielmassa käsitellään multiskalaarikertolaskua elliptisillä käyrillä. Multiskalaarikertolaskun laskeminen tehokkaasti on kiinnostavaa, koska se dominoi Elliptisten käyrien allekirjoitusalgoritmin (ECDSA) suoritusaikaa. ...
ARIMA- ja GARCH-mallit sekä mallin sovittaminen osakeaineistoon
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielmassa käsitellään stokastisia malleja, joita voidaan käyttää esimerkiksi osakkeiden tulevien arvojen ennustamiseen. Malleja on useita erilaisia ja tässä tutkielmassa keskitytään ARIMA- ja GARCH-malleihin, jotka ...
Insidenssifunktioiden teoriaa
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Insidenssifunktiolla tarkoitetaan sellaista funktiota, jonka määrittelyjoukko on jonkin paikallisesti äärellisen osittain järjestetyn joukon tulojoukko ja jonka arvojoukko täyttää algebralliselta kunnalta vaaditut ...
Täydellisistä luvuista ja niiden muunnelmista
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämä tutkielma käsittelee täydellisiä lukuja ja niiden muunnelmia. Tutkielman ensimmäisessä luvussa annetaan tarvittavia esitietoja. Toisessa luvussa määritellään täydelliset luvut ja käydään läpi täydellisten lukujen sekä ...
Riippuvuuslogiikkaa
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielma käsittelee logiikkaa ja sen tutkimusalueista etenkin riippuvuuslogiikkaa. Aluksi tutustutaan ensimmäisen kertaluvun logiikkaan, sen keskeisimpiin käsitteisiin ja semantiikkaan. Tämän jälkeen keskitytään ...
Todistaminen suomalaisessa ja etelä-korealaisessa koulumatematiikassa
(2011)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielma käsittelee matemaattisen todistamisen kouluopetusta Suomessa ja Etelä-Koreassa. Suomalaista matematiikan kouluopetusta tarkastellaan muutamista historian ja kasvatustieteen näkökulmista. Matemaattisen todistamisen ...