Ylinumeroituvuuskvanttorillisen identiteetillisen ensimmäisen kertaluvun predikaattilogiikan täydellisyys

Tietueen suppeat tiedot
dc.contributor.authorTuomialho, Joni
dc.contributor.departmentfi=Matematiikan ja tilastotieteen laitos|en=Department of Mathematics and Statistics|
dc.contributor.facultyfi=Matemaattis-luonnontieteellinen tiedekunta|en=Faculty of Science|
dc.contributor.studysubjectfi=Matematiikka|en=Mathematics|
dc.date.accessioned2026-04-29T22:48:11Z
dc.date.issued2026-04-14
dc.description.abstractTyö käsittelee ylinumeroituvuuskvanttorillisen ensimmäisen kertaluvun predikaattilogiikan täydellisyyttä ja sen todistusta. Työn alussa esitellään tarvittava taustatieto ja aksioomat, joita täydellisyystodistuksen käsittely ja ymmärtäminen vaatii. Tämän jälkeen konstruoidaan tarvittavat heikot mallit, joilla voidaan rakentaa standardimallit ja joiden avulla väite todistetaan. Työssä oletetaan lukijalta ensimmäisen kertaluvun predikaattilogiikan osaamista, joka yleensä saadaan logiikan aine- ja syventävien opintojen tasoisilla opintojaksoilla matematiikan yliopistotasolla.
dc.format.extent65
dc.identifier.urihttps://www.utupub.fi/handle/11111/60139
dc.identifier.urnURN:NBN:fi-fe2026042131115
dc.language.isofin
dc.rightsfi=Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.|en=This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.|
dc.rights.accessrightsavoin
dc.subjectEnsimmäisen kertaluvun predikaattilogiikka
dc.subjectkvanttori
dc.subjecttäydellisyys
dc.subjectylinumeroituvuus
dc.titleYlinumeroituvuuskvanttorillisen identiteetillisen ensimmäisen kertaluvun predikaattilogiikan täydellisyys
dc.type.ontasotfi=Pro gradu -tutkielma|en=Master's thesis|

Tiedostot

Näytetään 1 - 1 / 1
Name:
Tuomialho_Joni_opinnayte.pdf
Size:
580.92 KB
Format:
Adobe Portable Document Format
Lataa

Kokoelmat

Pro gradu -tutkielmat ja diplomityöt sekä syventävien opintojen opinnäytetyöt (kokotekstit)