A szakdolgozatom célja, hogy elkészüljön egy olyan oktatóprogram, ami megkönnyíti az egyetemisták életét, segítséget nyújt nekik abban, hogy sikeresen fel tudjanak készülni a zárthelyi dolgozatokra. A program témájának a logikát választottam, mert úgy vettem észre, hogy ez egy olyan tárgy, ami sok diáknak gondot okoz. Ezzel a programmal remélem, hogy segíteni tudok nekik abban, hogy sikeresen teljesítsék a tárgyat. Az oktatóprogram feladatának egy típusfeladatot választottam, ez a prenex alakra hozás. A döntésem azért erre esett, mert szükség van hozzá a formula változóiban tiszta alakjára is, így a felhasználó egyszerre két feladatot is tud gyakorolni. Az oktatóprogram kliens-szerver architektúrájú, ennek köszönhetően a hallgatók otthonról is könnyedén használhatják. Célom ezzel a felépítéssel az is, hogy olyan új technológiákkal ismerkedjek meg, mint a servletek, a JSP, illetve a JavaScript.