Számítástudományi és Információelméleti Tanszék

A Deklaratív Programozás c. tárgy tanításában már eddig is szerepet kaptak gépesített segédeszközök, elsősorban a házi feladatok automatikus feldolgozásában. A közelmúltban készült el egy gyakoroltatató rendszer http://www.inf.bme.hu/~dp/gyak.cgi (Neptun kód=VENDEG), amely különböző fajtájú feladatok kitűzését és értékelését biztosítja. A munka célja a gyakoroltató rendszer továbbfejlesztése: új feladat-típusok és feladatkészletek kidolgozása, a rendszer intelligens értékelő módszerekkel való bővítése, valamint egy segítő alrendszer kidolgozása, amely a hallgatót, az észlelt típushibák alapján a megfelelő anyagrészhez irányítja.

A munka viteléhez szükséges a Prolog és/vagy az SML nyelvek ismerete, hasznos az oktatás (és különösen a gépi oktatás) iránti érdeklődés ill. gyakorlat.

Dr. Szeredi Péter
egyetemi docens
29-86
szeredi@iqsoft.hu