Formális módszerek tárgyból szorgalmi feladat megoldására lehet jelentkezni 2018. május 12. szombat éjfélig. Részletek a tárgy szorgalmi feladatok oldalán olvashatók.
A pótlólag beadott szorgalmi (Cucumber) házi feladatok elfogadásához a beadott megoldásokat személyesen meg kell védeni. A védésre két időpont közül lehet választani:
23. kedd 14:15-16:00
24. szerda 14:15-16:00
Helyszín: IB413.
A védésre előre jelentkezni nem szükséges. Kérjük az időpont kezdetére jelenjenek meg!
Sok kérés érkezett hozzánk a határidő lejátra után, hogy utólag szívesen írnának szorgalmi házi feladatot. Ezért 27-e péntekig meghosszabbítottuk a határidőt.
Formális módszerek tárgyból szorgalmi feladat megoldására lehet jelentkezni 2016. május 9. hétfő éjfélig. Részletek a tárgy szorgalmi feladatok oldalán olvashatók.
Formális módszerek tárgyból szorgalmi feladat megoldására 2013. április 4-ig lehet jelentkezni. Részletek a tárgy szorgalmi feladatra vonatkozó oldalán olvashatók.
