„Formális módszerek” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
|||
| 32. sor: | 32. sor: | ||
** Előadásfóliák | ** Előadásfóliák | ||
** [[Formális módszerek HOWTO|Régi anyagok]] | ** [[Formális módszerek HOWTO|Régi anyagok]] | ||
** [http://formal.cs.utah.edu:8080/pbl/BDD.php ROBDD számoló] | |||
== Házi == | == Házi == | ||
A [https://inf.mit.bme.hu/edu/courses/form/hazifeladat házi feladat kiírások] a tárgyhonlapon találhatók: | A [https://inf.mit.bme.hu/edu/courses/form/hazifeladat házi feladat kiírások] a tárgyhonlapon találhatók: | ||