Hae
Aineistot 11-20 / 376
Peanon aritmetiikan todistuvuuden modaalilogiikka
(Turun yliopisto, 2018-09-24)
Tutkielmassa tarkastellaan miten alunperin välttämättömyyden ja mahdollisuuden
tutkimiseen kehitettyä modaalilogiikaa voidaan hyödyntää matemaattisen formaalin
järjestelmän todistuvuuden tutkimisessa. Tätä modaalilogiikan ...
Opettajan keinot puuttua matematiikka-ahdistukseen
(2020-01-08)
Matematiikka-ahdistus määritellään negatiivisina tunteina ja epämukavana tilana, joka häiritsee matemaattisten ongelmien ratkaisemista. Matematiikka-ahdistus ilmenee oppilaalla usein matematiikan välttelemisenä ja heikkoina ...
Lukujoukot ja lukujärjestelmät lukion matematiikassa
(Turun yliopisto, 2018-09-24)
Tämä tutkielma on tehty osana Turun yliopiston Matematiikan ja tilastotieteen laitoksella koottua oppikirjaprojektia. Projektiryhmän tehtävänä on suunnitella ja toteuttaa oppikirja lukion uuden opetussuunnitelman mukaiselle ...
Gradienttitehostetut päätöspuut
(2020-01-31)
Tässä Pro Gradu -tutkielmassa esitetään XGBoost -koneoppimisalgoritmi ja sovelletaan sitä autovahinko- ja elinajanodoteaineistoihin. Lisäksi algoritmille tehdään suorituskykytesti asuntomyynti -aineistolla. Algoritmi ...
Tulevaisuuden teknologioiden laitoksen ensimmäisen vuoden opiskelijoiden opintopistekertymiin vaikuttavat tekijät
(2019-12-11)
Tässä tutkielmassa pyritään selvittämään ensimmäisen lukuvuoden opintopistekertymiin vaikuttavia tekijöitä. Aineistona on Turun yliopiston tulevaisuuden teknologioiden laitoksen ensimmäisen vuoden opiskelijat, jotka ovat ...
Lokaali identifiointi graafeissa
(2020-02-19)
Tässä tutkielmassa esitellään kaksi uutta peittokoodien luokkaa - lokaalisti identifioivat koodit ja lokaalisti paikallistavat-dominoivat koodit - ja todistetaan näihin liityviä tuloksia eri graafeissa. Tuloksia verrataan ...
Minimaalidiskriminanttisia jakoalgebroja
(Turun yliopisto, 2018-01-23)
Tässä tutkielmassa konstruoidaan minimaalidiskriminanttisia jakoalgebroja. Jakoalgebroja on mahdollista hyödyntää langattomassa tiedonsiirrossa käytettävien ns. aika-avaruuskoodien tuottamisessa. Syy etsiä mahdollisimman ...
On the k-Abelian Equivalence Relation of Finite Words
(Turku Centre for Computer Science, 2019-06-28)
This thesis is devoted to the so-called k-abelian equivalence relation of sequences of symbols, that is, words. This equivalence relation is a generalization of the abelian equivalence of words. Two words are abelian ...
Applications in bioinformatics with Markov models
(Turun yliopisto, 2018-06-01)
In this thesis we present four applications in bioinformatics with Markov models. That is, we extend the use of such models in the mathematical and statistical analysis of biological data. The data we consider are drawn ...
Kombinatoriikka ja todennäköisyyslaskenta lukion matematiikassa
(Turun yliopisto, 2018-09-24)
Tämä tutkielma on osa syksyllä 2016 aloitettua avoin oppikirja -projektia. Tutkielmassa on laadittu lukion opetussuunnitelman 2015 tavoitteiden mukaista materiaalia lukion pitkän matematiikan MAA10 todennäköisyys ja tilastot ...