dc.date.accessioned |
2013-12-02T07:04:48Z |
und |
dc.date.accessioned |
2017-10-24T12:22:30Z |
|
dc.date.available |
2013-12-02T07:04:48Z |
und |
dc.date.available |
2017-10-24T12:22:30Z |
|
dc.date.issued |
2013-12-02T07:04:48Z |
|
dc.identifier.uri |
http://radr.hulib.helsinki.fi/handle/10138.1/3310 |
und |
dc.identifier.uri |
http://hdl.handle.net/10138.1/3310 |
|
dc.title |
Laskettavuus ja Churchin teesi |
fi |
ethesis.discipline |
Teaching of Mathematics |
en |
ethesis.discipline |
Matematiikan opettajan koulutus |
fi |
ethesis.discipline |
Utbildning av matematiklärare |
sv |
ethesis.discipline.URI |
http://data.hulib.helsinki.fi/id/C3b2c51e-946b-441e-829f-14e18bcff245 |
|
ethesis.department.URI |
http://data.hulib.helsinki.fi/id/61364eb4-647a-40e2-8539-11c5c0af8dc2 |
|
ethesis.department |
Institutionen för matematik och statistik |
sv |
ethesis.department |
Department of Mathematics and Statistics |
en |
ethesis.department |
Matematiikan ja tilastotieteen laitos |
fi |
ethesis.faculty |
Matematisk-naturvetenskapliga fakulteten |
sv |
ethesis.faculty |
Matemaattis-luonnontieteellinen tiedekunta |
fi |
ethesis.faculty |
Faculty of Science |
en |
ethesis.faculty.URI |
http://data.hulib.helsinki.fi/id/8d59209f-6614-4edd-9744-1ebdaf1d13ca |
|
ethesis.university.URI |
http://data.hulib.helsinki.fi/id/50ae46d8-7ba9-4821-877c-c994c78b0d97 |
|
ethesis.university |
Helsingfors universitet |
sv |
ethesis.university |
University of Helsinki |
en |
ethesis.university |
Helsingin yliopisto |
fi |
dct.creator |
Haataja, Mika Tapani |
|
dct.issued |
2013 |
|
dct.language.ISO639-2 |
fin |
|
dct.abstract |
Tutkielman tarkoitus on esitellä ja määritellä yksi menetelmä, jonka avulla voidaan rakentaa kaikki intuitiivisesti laskettavat funktiot. Tähän on valittu tarkoitukseen URM-kone, joka vastaa ajatukseltaan nykyisen tietokoneen toimintaa. URM-koneen lisäksi käydään läpi muitakin tapoja, joilla voi luoda yksinkertaisemmista perusfunktioista uusia funktioita.
Tutkielman toinen esiteltävä asia on Churchin teesi, joka yhdistää kaikki tunnetut tavat luoda laskettavia funktioita. Sen mukaan lähtökohdasta riippumatta saadaan sama joukko laskettavia funktioita. Tämän esittelyn yhteydessä mainitaan muutamia erilaisia lähestymistapoja laskettavuuteen. Näistä ehkä tunnetuimpana pidetty Turingin kone –lähestymistapa käydään myös läpi, mutta huomattavasti kevyemmin kuin URM-koneen kohdalla. |
fi |
dct.language |
fi |
|
ethesis.language.URI |
http://data.hulib.helsinki.fi/id/languages/fin |
|
ethesis.language |
Finnish |
en |
ethesis.language |
suomi |
fi |
ethesis.language |
finska |
sv |
ethesis.thesistype |
pro gradu-avhandlingar |
sv |
ethesis.thesistype |
pro gradu -tutkielmat |
fi |
ethesis.thesistype |
master's thesis |
en |
ethesis.thesistype.URI |
http://data.hulib.helsinki.fi/id/thesistypes/mastersthesis |
|
dct.identifier.urn |
URN:NBN:fi-fe2017112252052 |
|
dc.type.dcmitype |
Text |
|