dc.date.accessioned |
2012-10-04T08:50:53Z |
und |
dc.date.accessioned |
2017-10-24T12:21:36Z |
|
dc.date.available |
2012-10-04T08:50:53Z |
und |
dc.date.available |
2017-10-24T12:21:36Z |
|
dc.date.issued |
2012-10-04T08:50:53Z |
|
dc.identifier.uri |
http://radr.hulib.helsinki.fi/handle/10138.1/1961 |
und |
dc.identifier.uri |
http://hdl.handle.net/10138.1/1961 |
|
dc.title |
Interpolaatio ja määriteltävyys äärellisissä malleissa sekä yhdensuuntaisten funktioiden olemassaolo |
fi |
ethesis.discipline |
Mathematics |
en |
ethesis.discipline |
Matematiikka |
fi |
ethesis.discipline |
Matematik |
sv |
ethesis.discipline.URI |
http://data.hulib.helsinki.fi/id/44bc4f03-6035-4697-993b-cfc4cea667eb |
|
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 |
Heino, Jenny |
|
dct.issued |
2012 |
|
dct.language.ISO639-2 |
fin |
|
dct.abstract |
Yhdensuuntaiset funktiot yleisesti ovat yksi kryptologian tärkeimpiä tutkimuskohteita. Vaativuusteoreettiselta kannalta tilanne on kuitenkin hankala, sillä tutkimus perustuu suurelta osin vaativuusteoreettisiin oletuksiin, joita ei ole todennettu. Vaativuusluokkia voidaan kuitenkin tutkia niiden logiikoiden avulla, jotka tavoittavat kyseisen vaativuusluokan.
Tässä Pro Gradu -tutkielmassa esitellään malliteoreettiset käsitteet interpolaatio ja määriteltävyys missä tahansa logiikassa, sekä yhdistetään nämä yhdensuuntaisten funktioiden olemassaoloon kyseisessä logiikassa rajoituttaessa äärellisiin malleihin.
Päätuloksina todistamme, että logiikalle on olemassa yhdensuuntaisia funktioita ainoastaan, mikäli kyseisellä logiikalla ei ole interpolaatio-ominaisuutta eikä määriteltävyysominaisuutta äärellisissä malleissa. |
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-fe2017112251830 |
|
dc.type.dcmitype |
Text |
|