Kalkulusok a konstruktív logikában

A tétel rövid nézete
dc.contributor.advisorVárterész, Magda
dc.contributor.authorKócs, László
dc.contributor.departmentDE--TEK--Informatikai Karen
dc.date.accessioned2007-02-14T14:22:59Z
dc.date.available2007-02-14T14:22:59Z
dc.date.created2003
dc.date.issued2007-02-14T14:22:59Z
dc.description.abstractEbben a dolgozatban az alapvető célkitűzésem az volt, hogy áttekintéssel szolgáljak az intuicionista logikában használatos kalkulusokról, és egyáltalán az intuicionista logikáról. Közel sem törekedtem a teljességre; inkább azt tartottam szem előtt, hogy a konstruktivizmus egy-egy oldalát felvázolva kiindulópontot nyújtsak egy részletesebb vizsgálódás számára. Alapvetően három különböző kalkulust tárgyalok, amelyek alkalmasak az intuicionista szemléletű következtetések szintaktikai reprezentációjára: Heyting predikátumkalkulusát, az intuicionista szekvent kalkulust, és az intuicionista tábla módszert. Az első kettő ekvivalenciáját részletesen bebizonyítom, az utóbbi esetében pedig azt a szemantikát is ismertetem, melyre nézve a tábla módszer helyességi és teljességi bizonyítását nagyvonalakban prezentálom. Ezenkívül a tábla módszer kapcsán kitérek arra a kérdésre is, hogy miként lehet egy megadott formula intuisztikus érvényességét a gyakorlatban bizonyítani, és a kapott eredményeket a dolgozatomhoz mellékelt programban – igaz, csak nulladrendben – interpretálom is.en
dc.description.degreeMaen
dc.format.extent49en
dc.format.extent22499 bytes
dc.format.extent357588 bytes
dc.format.mimetypeapplication/zip
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2437/1113
dc.language.isohuen
dc.rights.accessipen
dc.subjectlogikaen
dc.subjectkalkulusen
dc.subjectkonstruktív logikaen
dc.subjectintuicionista logikaen
dc.subject.dspaceDEENK Témalista::Informatika::Informatikai rendszereken
dc.titleKalkulusok a konstruktív logikábanen
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 2 (Összesen 2)
Nem elérhető
Név:
szakdolgozat_189.pdf
Méret:
349.21 KB
Formátum:
Adobe Portable Document Format
Leírás:
Diplomamunka
Megjelenítés
Nem elérhető
Név:
melleklet_189.zip
Méret:
21.97 KB
Formátum:
WinZip
Leírás:
Melléklet
Letöltés
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nem elérhető
Név:
license.txt
Méret:
2.45 KB
Formátum:
Item-specific license agreed upon to submission
Leírás:
Letöltés
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)