Automatizált tételbizonyítás Peirce háromértékű (P3) logikájában

dc.contributor.advisorVaszil, György
dc.contributor.authorVass, Zsolt
dc.contributor.departmentDE--Informatikai Kar
dc.date.accessioned2023-04-17T10:51:24Z
dc.date.available2023-04-17T10:51:24Z
dc.date.created2023-04-17
dc.description.abstractA klasszikus nulladrendű logikai rendszerek felépítésének bemutatása, összehasonlítása egy korai háromértékű logikai rendszerrel, mely Peirce P3 logikájaként vált ismertté. A P3 logika operátormeghatározásainak kiegészítése, a kielégíthetőség problémájának vizsgálata ezen logikai rendszerben. Az igazságtáblák, szemantikus táblák és rezolúció módszereinek bemutatása a klasszikus logikában, valamint az általam vizsgált többértékű logikában. Az általam készített szoftver bemutatása, amely képes az igazságtáblák és a szemantikus táblák módszerének levezetéseit generálni a felhasználó által kiválasztott logikai rendszerben megadott formulákra. Továbbfejlesztési ötletek és irányvonalak megfogalmazása a szoftverrel kapcsolatban.
dc.description.courseProgramtervező Informatika (PTI)
dc.description.degreeBSc/BA
dc.format.extent45
dc.identifier.urihttps://hdl.handle.net/2437/349750
dc.language.isohu
dc.subjectLogika
dc.subjectPeirce
dc.subjectTöbbértékű logika
dc.subjectAutomatizált tételbizonyítás
dc.subject.dspaceDEENK Témalista::Informatika::Számítógéptudomány
dc.titleAutomatizált tételbizonyítás Peirce háromértékű (P3) logikájában
Fájlok