Oktatás

A tárgy segédanyagai közé kikerült a házi feladat leírása valamint a kapcsolódó labor anyagai. A következő laboralkalom november 13-án lesz, témája erősen kapcsolódik a házi feladathoz. A laboron a részvétel kötelező, saját gép használata javasolt. Az UPPAAL modellellenőrző a következő honalapról tölthető le: http://uppaal.org/

Ugyan legjobb tudomásunk szerint a HF2 kiindulómodell beolvasztása (merge) körüli technikai problémákat, hibákat mostanra sikerült megoldani, de sok csapatnak így nagyon kevés ideje maradt házi feladatot leadni. Ezért kivételesen meghosszabbítjuk a HF2 leadási határidőt 2019-10-23 szerda 20:00-ig. Aki időben beadott teljes megoldást, annak nincs teendője; de a többi csapatot arra buzdítanánk, hogy adjanak be megoldást (ha eddig nem tették), vagy a már beadott hiányos megoldást a kitolt határidőig fejezzék be. A kitolt határidőig beérkező összes megoldás egységesen lesz elbírálva. Tovább »

Itt lehet jelentkezni a Thrift megoldások bemutatására: https://doodle.com/poll/s8xdx98v3amkn3aw

Kikerült a második házi feladat strukturális modellezés témakörben a Házi Feladat oldalra. A leadási határidő 2019. 10. 20. (vasárnap) este 20:00.