Találati lista | Tudóstér

001-es BibID:	BIBFORM032442
Első szerző:	Kádek Tamás (programtervező matematikus)
Cím:	Gentzen-levezetések generálása oktatási célú számítógépes támogatással / Kádek Tamás
Dátum:	2010
ISSN:	1842-4546
Megjegyzések:	A GenTreeCad program születésének alapötlete a klasszikus logika oktatása során felmerülő nyomdakész példák igénye volt. Az egyetemi hallgatóknak számos példára van szüksége ahhoz, hogy elsajátítsák a helyes stratégiát a Gentzen szekvent kalkulus levezetéseinek készítése során. Ugyanakkor az alkalmazás megjelenítő és tételbizonyító rendszerének implementálása közben hamar felmerült a lehetősége, hogy a hallgatókat bevonjuk a fejlesztési folyamatba. Ezen a ponton fogalmazódott meg a GenTreeCad alkalmazás fejlesztésének gondolata, mint egy mintaalkalmazás az informatikai tudományok oktatása számára.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok előadáskivonat Matematikai logika gépi tételbizonyítás keresési stratégiák gráfban és fában objektum-orientált programozás
Megjelenés:	ENELKO 2010 XI. Nemzetközi Energetika-Elektrotechnika Konferencia, SzámOkt 2010 XX. Nemzetközi Számítástechnika és Oktatás Konferencia, Szatmárnémeti, 2010. október 7-10 / szerk. Biró Károly-Ágoston, Sebestyén-Pál György. - p. 136-139. -
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: