| dc.date.accessioned |
2016-11-24T12:24:38Z |
und |
| dc.date.accessioned |
2017-10-24T12:22:09Z |
|
| dc.date.available |
2016-11-24T12:24:38Z |
und |
| dc.date.available |
2017-10-24T12:22:09Z |
|
| dc.date.issued |
2016-11-24T12:24:38Z |
|
| dc.identifier.uri |
http://radr.hulib.helsinki.fi/handle/10138.1/5873 |
und |
| dc.identifier.uri |
http://hdl.handle.net/10138.1/5873 |
|
| dc.title |
Loogisen tiedon automaattinen generointi |
fi |
| ethesis.discipline |
Applied Mathematics |
en |
| ethesis.discipline |
Soveltava matematiikka |
fi |
| ethesis.discipline |
Tillämpad matematik |
sv |
| ethesis.discipline.URI |
http://data.hulib.helsinki.fi/id/2646f59d-c072-44e7-b1c1-4e4b8b798323 |
|
| 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 |
Rautiainen, Antti |
|
| dct.issued |
2016 |
|
| dct.language.ISO639-2 |
fin |
|
| dct.abstract |
Tämä työ käsittelee loogisten lauseiden automaattista generointia. Työssä tutkitaan sitä, miten tiedon kerääntymistä voisi hyödyttää automaattisessa todistamisessa. Työssä luodaan tiedon kerääntymistä varten algoritmi, jonka avulla voidaan generoida kaikki tietyssä normaalimuodossa olevat suljetut ja syntaktisesti korrektit kaavat mielivaltaisessa ensimmäisen kertaluvun predikaattilogiikan kielessä.
Kurt Gödel loi yksinkertaisen numeroinnin ensimmäisen kertaluvun predikaattilogiikan ensimmäisen epätäydellisyyslauseen todistamista vuonna 1931. Gödelin järjestelmässä monia luonnollisia lukuja vastaa syntaktisesti virheellinen kaava. Tässä työssä Gödelin numerointia parannetaan niin, että jokaista numeroa vastaa tietyssä normaalimuodossa oleva suljettu ja syntaktisesti oikea kaava valitussa ensimmäisen kertaluvun predikaattilogiikan kielessä.
Tutkielma rakentuu seuraavasti. Ensimmäinen luku on johdanto. Generointia käsitellään toisessa luvussa. Ensimmäisessä liitteessä on lyhyesti ensimmäisen kertaluvun predikaattilogiikan käsitteitä. Toisessa liitteessä todistetaan käytettyjä teoreemoja. |
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-fe2017112252080 |
|
| dc.type.dcmitype |
Text |
|
