https://vik.wiki/index.php?action=history&feed=atom&title=Form%C3%A1lis_m%C3%B3dszerek_vizsga%2C_2007._jan._17 2026-04-07T09:10:29Z Az oldal laptörténete a wikiben MediaWiki 1.43.6 https://vik.wiki/index.php?title=Form%C3%A1lis_m%C3%B3dszerek_vizsga,_2007._jan._17&diff=137301&oldid=prev 2012-10-21T19:58:10Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20070117}} A 17-ei vizsga nagy resze a neten fent levo vizsgakhoz hasonlo, kissebb modositasokkal. Amire meg emlekszem ezekbol…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModVizsga20070117}}<br /> <br /> <br /> A 17-ei vizsga nagy resze a neten fent levo vizsgakhoz hasonlo, kissebb modositasokkal.<br /> Amire meg emlekszem ezekbol kb:<br /> <br /> * elmelet kiskerdesek - szokasos kerdesekbol voltak<br /> * Graftranszfo- master-checker grafos pelda feljrajzolni a halot stb.<br /> * Illesztes - uzenetkuldos ( processz, csatorna, uzenet)<br /> * ROBDD a fromulaban kellett valtozok helyet kitalalgatni, aztan majd a szokasos fuggvenyekhez tartozok fak felrajzolasa es a kozos fv. meghatarozasa<br /> * Orvos-beteg kripke automata, LTL kifejezeseket felirni ra, kozos automata<br /> * Tablomodszer - mindig igaz, hogy a beteg elobb utobb meghal- ezt az allitas ezt kell levezetni<br /> <br /> Ami nem volt benne az a UML, elosseg, korlatossag, P, T invariancia<br /> <br /> udv,<br /> Istvan <br /> (info2003, 2007. 01. 23.)<br /> <br /> <br /> -- [[KarakoMiklos|palacsint]] - 2007.01.23.<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user