Parakonzisztencia a logikában

A tétel rövid nézete
dc.contributor.advisorVaszil, György
dc.contributor.authorKovács-Fazekas, Balázs
dc.contributor.departmentDE--Informatikai Karhu_HU
dc.date.accessioned2019-05-09T07:56:19Z
dc.date.available2019-05-09T07:56:19Z
dc.date.created2019-05-09
dc.description.abstractA parakonzisztencia a logikában dolgozatom nem szokványos logikai rendszereket vizsgál. A dolgozat célja egy olyan rendszer leírása amely könnyen alkalmazható automatizált érvelésre. Előbb meghatározza mi is az a parakonzisztencia és miben tér el a klasszikus logikáktól. Áttekintést nyújt az eddigi lényegesebb parakonzisztens rendszerekre, majd a Belnap-féle logikai rendszerrel próbál meghatározni egy automatikus következtető gépet.hu_HU
dc.description.courseprogramtervező informatikushu_HU
dc.description.degreeBSc/BAhu_HU
dc.format.extent45hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/267196
dc.language.isohuhu_HU
dc.subjectLogikahu_HU
dc.subjectparakonzisztenciahu_HU
dc.subjectkövetkeztetéshu_HU
dc.subject.dspaceDEENK Témalista::Informatikahu_HU
dc.titleParakonzisztencia a logikábanhu_HU
dc.title.subtitleAz automatikus következtetéshu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)