Haku
Viitteet 1-10 / 14
Correspondences between definability of Boolean functions and frame definability in modal logic
(2007)
Lisensiaatintyö
Lisensiaatintyö
We establish a connection between term definability of classes of Boolean functions and definability of finite modal frames. We define a bijective translation between functional terms and uniform degree-1 formulas and show ...
Täydellisesti multiplikatiivisten funktioiden karakterisoinnit
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Funktio f on aritmeettinen, jos se kuvaa positiiviset kokonaisluvut kompleksilukujen joukkoon. Aritmeettinen funktio f on puolestaan multiplikatiivinen, jos funktio f ei ole identtisesti nolla ja
f(nm) = f(n)f(m)
aina, ...
Äärelliset kunnat ja polynomien jako alkutekijöihin
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielmassa tarkastellaan äärellisiä kuntia ja polynomeja. Päälähdeteoksena käytetään Lidlin ja Niederreiterin kirjaa Introduction to finite fields and their applications.
Aluksi määritellään polynomeihin ja äärellisiin ...
µ-kalkyyli - monadisen toisen kertaluvun predikaattilogiikan bisimilaarisesti invariantti fragmentti
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielmassa esitellään µ-kalkyyli ja monadinen toisen kertaluvun predikaattilogiikka MSO. µ-kalkyylille esitetään sekä standardi- että peliteoreettinen semantiikka ja todistetaan näiden yhtäpitävyys. Tutkielmassa todistetaan ...
Kongruenssista
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä tutkielmassa perehdytään kongruensseihin, joka on lukuteorian yksi osa-alue. Tutkielman päälähteenä on käytetty Kenneth H. Rosenin kirjaa Elementary Number Theory and its Applications. Suurin osa määritelmistä ja ...
On Stochastic Differential Equations: Theory and Biochemical Applications
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
The time evolution of chemical systems is traditionally modeled using deterministic ordinary differential equations. The deterministic approach, in general, describes the average time series behavior of the system, but is ...
Residylause ja sen sovelluksia
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Residylause on kompleksianalyysiin kuuluva tulos, jonka avulla voimme laskea tehokkaasti määrättyjä integraaleja annetusta funktiosta. Perusideana residylauseessa on laskea annetun funktion residyjen summa erikoispisteissä ...
Derivaatta
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Derivaatasta kirjoitettu tutkielma sisältää 35 asiaa, joihin sisältyy derivaatan määritelmä ja muutama muu määritelmä, huomautuksia ja yhteensä 32 lausetta. Lauseet koostuvat derivaatan keskeisimmistä lauseista ja muista ...
Matematiikan formalisointi Nicolas Bourbakin mukaan
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä tutkielmassa peryhdytään Nicolas Bourbakin kehittämään matematiikan formalisointiin. Bourbaki loi formalisointinsa tarkoituksena luoda mahdollisimman yksinkertaisten oletusten avulla kattava järjestelmä, josta voidaan ...
SYT-matriisien ominaisarvojen asymptoottisesta käyttäytymisestä
(2007)
Pro gradu -tutkielma
Pro gradu -tutkielma
Olkoon n positiivinen kokonaisluku, r positiivinen reaaliluku ja olkoon
A = {a_1, a_2,..., a_n}
sellainen järjestetty joukko, jonka alkiot ovat positiivisia kokonaislukuja. Joukon A ja luvun r määräämä SYT-potenssimatriisi ...