Haku
Viitteet 1-10 / 31
Järjestysfunktiolliset kokonaisalueet ja valuaatiot
(2008)
Lisensiaatintyö
Lisensiaatintyö
Koodausteorian tavoitteena on parantaa tietoliikenteen luotettavuutta kehittämällä menetelmiä häiriöiden aiheuttamien virheiden korjaamiseen. Algebrallisen geometrian ja koodausteorian yhteistyön merkittävimpiä teoreettisia ...
Generalizing the Goldblatt-Thomason Theorem and Modal Definability
(Tampere University Press, 2008)
Väitöskirja
Väitöskirja
Määriteltävyysteoria tutkii erilaisia kieliä ja niiden ilmaisuvoimaa. Niinpä modaalilogiikan määriteltävyysteoria, johon tämä työ kuuluu, tutkii erilaisten modaalisten kielten ilmaisuvoimaa. Tarkasteltava kieli määrittelee ...
Riemannin kuvauslause
(2008)
Pro gradu -tutkielma
Pro gradu -tutkielma
Riemannin kuvauslause antaa riittävät ehdot tasoalueen kuvaamiseksi konformisesti yksikkökiekolle. Sen mukaan yhdesti yhtenäisessä alueessa eli reiättömässä ja avoimessa joukossa kompleksitasossa, joka ei ole kuitenkaan ...
Matriisin singulaariarvoista
(2008)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielmassa käsitellään matriisin singulaariarvoja, niiden välisiä epäyhtälöitä sekä niiden yhteyksiä ominaisarvoihin ja normeihin.
Ensimmäisessä luvussa määritellään muutamia merkintöjä ja esitellään matriisin ...
Tarkistusnumeroiden matematiikkaa
(2008)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tutkielmassa käsitellään erilaisiin tunnistenumeroihin liittyviä tarkistusnumeroita. Tutkielmassa esitellään useita tarkistusnumerojärjestelmiä sekä kerrotaan niihin liittyvistä virhemahdollisuuksista. Luvussa 1 esitellään ...
Lukuteoria ja RSA
(2008)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä tutkielmassa tarkastellaan lukuteoriaa ja sen soveltamista tiedon salaamisessa. Erityisen mielenkiinnon kohteena on laajalti käytetty salausmenetelmä RSA, joka perustuu lukuteorian keskeisimpiin tuloksiin. Tieto- ja ...
Propositional State Transition Logics
(2008)
Valinnaisten opintojen tutkielma
Valinnaisten opintojen tutkielma
SIVUAINELAUDATUR
This paper is an introduction to a class of multimodal logics with an algebraic structure associated with modal operators. The discussion focuses on model theory, especially on the interpretation of several ...
Sarjojen suppenemisesta
(2008)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä tutkielmassa käsitellään reaalilukujonoja ja reaalilukusarjoja ja erityisesti niiden suppenemista. Luvussa 2 lukujonolle ja lukujonon suppenemiselle annetaan määritelmät ja esitetään lukujonon suppenemiselle riittäviä ...
Graafiteorian minorilause
(2008)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tämän tutkielman tarkoitus on esitellä minorilause, joka on yksi graafiteorian ja matematiikan syvällisimmistä lauseista. Minorilauseen todistuksesta esitellään lyhyt hahmotelma.
Tutkielman alussa esitellään perusasioita ...
Lineaaristen systeemien siirtonollat ja navat
(2008)
Pro gradu -tutkielma
Pro gradu -tutkielma
Tässä työssä käsitellään lineaaristen systeemien siirtonollia ja napoja, jotka määritellään siirtofunktion nollina ja napoina. Siirtonollat ja navat ovat keskeinen käsite säätöteoriassa. Ne ovat keskeisessä asemassa ...