<link rel="stylesheet" href="styles.f3b1fba60ec7970c.css">

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
Letöltés
Bélyegké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)
Bélyegké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)