Haku
Viitteet 1-10 / 13
Ominaisarvoista ja ominaisvektoreista.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Modaalilogiikan ja predikaattilogiikan kaavojen vastaavuus.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Modaalilogiikassa tutkitaan välttämättömyyksiä ja mahdollisuuksia mahdollisissa maailmoissa, kun taas predikaattilogiikka keskittyy tarkastelemaan kvanttoreiden avulla erilaisten kaavojen totuuksia malleissa. Tämän työn ...
On Boolean Functions.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Ryhmien perusominaisuuksista
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämän työn luvussa 2 perehdytään abstraktin algebran keskeiseen käsitteeseen ryhmään ja joihinkin sen perusominaisuuksiin.
Ryhmä on epätyhjän joukon sekä laskutoimituksen muodostama tietyt ehdot toteuttava algebrallinen ...
Schröderin-Bernsteinin lauseen neljän todistuksen tarkastelua.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
RSA-kryptosysteemi ja alkulukutestaus.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Scott-Montague -semantiikka modaalilogiikassa.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielmassa tarkastellaan modaalilogiikan Scott-Montague semantiikkaa, joka tarjoaa ilmaisukyvyn suhteen monipuolisemmat mahdollisuudet kuin perinteinen Kripke-semantiikka. Semantiikkojen välillä on olemassa selvä yhteys, ...
Fibonaccin luvuista.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Itseisesti ja ehdollisesti suppenevat sarjat.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma
Sarjateoria on tärkeä matemaattisen analyysin osa-alue, jolla on monenlaisia sovelluksia. Tässä tutkielmassa keskitytään itseisesti ja ehdollisesti suppeneviin sarjoihin. Tarkastelu alkaa lukujonojen ja päättymättömien ...
Kryptologiasta.
(2002)
Pro gradu -tutkielma
Pro gradu -tutkielma