Kényszerlogikai programozás és órarendkészítés

A tétel rövid nézete
dc.contributor.advisorAszalós, László
dc.contributor.authorSzabó, István
dc.contributor.departmentDE--TEK--Informatikai Karhu_HU
dc.date.accessioned2013-01-18T12:33:20Z
dc.date.available2013-01-18T12:33:20Z
dc.date.created2012
dc.date.issued2013-01-18T12:33:20Z
dc.description.abstractA szakdolgozat témája egy iskola órarendjének elkészítése kényszer kielégítési módszerek alkalmazásával. Az órarend tervezésekor figyelembe vesszük a kerettantervet, a tanári igényeket, illetve az épület termeiből adódó korlátokat. Az önálló munka legjelentősebb része a konkrét órarendre vonatkozó természetes nyelven megfogalmazott korlátok átírása a megfelelő formális nyelvre. A feladat helyes logikai megfogalmazása után a végrehajtást rábízzuk a CLPFD rendszerre, amely az SWI-Prolog környezeten alapul.hu_HU
dc.description.coursegazdaságinformatikushu_HU
dc.description.degreeMschu_HU
dc.format.extent56hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/156344
dc.language.isohuhu_HU
dc.subjectórarendhu_HU
dc.subjectProloghu_HU
dc.subjectCLPhu_HU
dc.subjectkényszerkielégítéshu_HU
dc.subject.dspaceDEENK Témalista::Informatikahu_HU
dc.titleKényszerlogikai programozás és órarendkészítéshu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)