Szerző szerinti böngészés "Vass, Zsolt"

Megjelenítve 1 - 1 (Összesen 1)
  • Nincs kép
    TételKorlátozottan hozzáférhető
    Automatizált tételbizonyítás Peirce háromértékű (P3) logikájában
    Vass, Zsolt; Vaszil, György; DE--Informatikai Kar
    A 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.