Játékos logikai feladványok

A tétel rövid nézete
dc.contributor.advisorVeréb, Krisztián
dc.contributor.authorSzabóné Balla, Henrietta
dc.contributor.departmentDE--TEK--Informatikai Karen
dc.date.accessioned2007-05-07T06:15:51Z
dc.date.available2007-05-07T06:15:51Z
dc.date.created2007
dc.date.issued2007-05-07T06:15:51Z
dc.description.abstractNéhány játékos logikai feladvány megoldása logikai törvények alkalmazásával, Quine-tábla segítségével és Gentzen-kalkulussal.en
dc.description.degreeMaen
dc.format.extent59en
dc.format.extent16277 bytes
dc.format.extent409014 bytes
dc.format.mimetypeapplication/zip
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2437/2175
dc.language.isohuen
dc.rights.accessno_restriction
dc.subjectLogikai törvényeken
dc.subjectQuine-táblaen
dc.subjectBoole-algebraen
dc.subjectGentzen-kalkulusen
dc.subject.dspaceDEENK Témalista::Informatika::Információtechnológiaen
dc.titleJátékos logikai feladványoken
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 2 (Összesen 2)
Bélyegkép
Név:
Diplomamunka.pdf
Méret:
399.43 KB
Formátum:
Adobe Portable Document Format
Leírás:
Diplomamunka_PDF
Megjelenítés
Nincs kép
Név:
Gentzenkalk.zip
Méret:
15.9 KB
Formátum:
WinZip
Leírás:
Forráskód
Letöltés
Engedélyek köteg
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
license.txt
Méret:
1.9 KB
Formátum:
Item-specific license agreed upon to submission
Leírás:
Letöltés
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)