Algoritmusok a tételbizonyításban

A tétel rövid nézete
dc.contributor.advisorTanyi, Attila
dc.contributor.authorTanyi, Attila
dc.contributor.departmentDE--TEK--Informatikai Karen
dc.date.accessioned2009-05-08T09:16:55Z
dc.date.available2009-05-08T09:16:55Z
dc.date.created2009
dc.date.issued2009-05-08T09:16:55Z
dc.description.abstractAutomatikus tételbizonyítás az ítéletlogikában. A Davis-Putnam algoritmus. Rezolúciós kalkulus. Konjunkciós normálformává alakítás. KNF minimalizálása Quine-McCluskey-algoritmussal.en
dc.description.degreeBaen
dc.format.extent51en
dc.identifier.urihttp://hdl.handle.net/2437/85466
dc.language.isohuen
dc.rights.accessno_restriction
dc.subjectrezolúcióen
dc.subjectnormálformaen
dc.subjectKNFen
dc.subjectminimalizálásen
dc.subject.dspaceSzámítógéptudományen
dc.titleAlgoritmusok a tételbizonyításbanen
dc.title.translatedTheorem-proving algorithmsen
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 2 (Összesen 2)
Bélyegkép
Név:
szakdolgozat.pdf
Méret:
1018.05 KB
Formátum:
Adobe Portable Document Format
Leírás:
Szakdolgozat
Megjelenítés
Nincs kép
Név:
mellek.zip
Méret:
125.24 KB
Formátum:
WinZip
Leírás:
Melléklet
Letöltés
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
license.txt
Méret:
2.02 KB
Formátum:
Item-specific license agreed upon to submission
Leírás:
Letöltés
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)