Az ELTE IK Programtervező Informatikus MSc képzésén található Modellek és Formális Eszközök nevű tantárgy jegyzetei.

Kidolgozott tételsor

A 15 szóbeli tétel (ahogy látom, többnyire kopipészt alapú) kidolgozása a vizsgára, a tételsorral együtt.

Előadás diasorok

ELTÁVOLÍTVA

Mivel az előadó nem járult hozzá az órai prezentációk (külső oldalon való) közzétételéhez, így a jegyzeteket eltávolítottam a weblapról, de ezt a linket követve azok továbbra is elérhetőek.