Formális módszerek házi feladat beadása

A Formális módszerek házi feladat beadásához elérhető az elektronikus beadó űrlap a tárgy házi feladat tudnivalókról szóló oldalán. A beadási határidő: 2011. április 22. péntek éjfél.
Ugyanezen az oldalon adunk még segítséget a 6. feladat (titkosító modul) megoldásához.