„Formális módszerek” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
| 4. sor: | 4. sor: | ||
| név = Formális Módszerek | | név = Formális Módszerek | ||
| tárgykód = VIMIMA07 | | tárgykód = VIMIMA07 | ||
| szak = InfoMSC | | szak = InfoMSC | ||
| kredit = 4 | | kredit = 4 | ||
| félév = tavasz | | félév = tavasz | ||
| 11. sor: | 11. sor: | ||
| jelenlét = nincs | | jelenlét = nincs | ||
| minmunka = 2ZH + 1HF | | minmunka = 2ZH + 1HF | ||
| kiszh = 0 | | kiszh = 0 | ||
| nagyzh = 2 | | nagyzh = 2 | ||
A lap 2016. április 22., 23:08-kori változata
Ez az oldal a korábbi SCH wikiről lett áthozva.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.
A tárgyról
- Ajánlott rövidítés: Form
- Kedvcsináló
- Levlista:
- form
sch.bme.hu -> feliratkozás - infomscsch.bme.hu -> feliratkozás
- form
- Régi, elavult linkek
Segédanyagok
Miből érdemes tanulni?
- Formális módszerek az informatikában (Typotex) - Pataricza András
- Régi zh meg vizsgasorok (elég hasonló példák vannak néha)
- Előadásfóliák
Segédanyag az MSc-s 1. ZH-ra
- FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
- Temporális logika - LTL, CTL és társai
- Modellellenőrzés
- Bináris döntési diagramok - ROBDD
- Állapottérképek
- Bevezetés(TK 9-29)
- LTL operátorok, és kapcsolatuk
Segédanyag az MSc-s 2. ZH-ra
- FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
- Definíciók
- 2. Petri Hálók (TK 31-108)
- 2.1 Bevezetés
- 2.2 A petri hálók struktúrája
- 2.3 A Petri hálók dinamikus viselkedése
- 2.4 Token Játékok
- 2.5 Alkalmazási mintapéldák
- 2.6 Tulajdonság modellek
- 2.7 A Petri hálók analízis módszerei
- 2.8 Petri háló alosztályok
- 2.9 Analitikusan vizsgálható Petri háló alosztályok
- 2.10 Strukurális tulajdonságok
- 2.11 Invariánsok és alkalmazásaik
- 2.12 Kibővített értelmezésű Petri hálók
- FormModZH2Ossz
Tapasztalatok a segédeszközökkel
- DnaNet+Ina (Windows)
- Ped+Ina-t (Linux)
- SpinEdit
UPPAAL
UPPAAL academic. Java VM szükséges a futtatásához.
Régi anyagok
ZH
2003
ZH 2003.03 A csoport
ZH 2003.03 B csoport
ZH 2003.03 C csoport
ZH 2003.03 D csoport
2004
2005
2009
2010
ZH1 2010.03 A csoport
ZH1 2010.03 B csoport
2011
ZH1 2011 minta megoldás ötletek
ZH1 2011 minta
ZH2 2011 minta PN feladattípusok
Ismeretlen
Vizsga - Régi
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.
2006-os tananyaggal kapcsolatos hivatalos információk
- Formális módszerek 2002. jún. 11-i vizsga
- Formális módszerek 2004. máj. 26-i vizsga
- Formális módszerek 2004. jún. 2-i vizsga
- Formális módszerek 2006. máj. 31-i vizsga feladatok
- Formális módszerek 2006. jan. 18-i vizsga megoldása
- Formális módszerek 2007. jan. 17-ei vizsga
- FormModVizsga20070613
- FormModVizsga20080528
- FormModVizsga20080611
Házi feladat - Régi
Elérhetőek az új tanszéki weblapról: Kiírás - Segédeszközök
Bartha Tamás levele a házi feladattal kapcsolatban
Szöveges leírással megadott rendszert kell egyrészt Petri hálók segítségével modellezni és elemezni, másrészt modellellenőrzési módszerekkel verifikálni.
SAL telepítés Cygwinnel: http://sal-wiki.csl.sri.com/index.php/Cygwin_installation
Tapasztalatok az egyes feladatokkal
"A modellezés fázisában nem tiltott a feladatok szakmai konzultációja egymás közt, de kérjük, hogy alapvetően egyedül dolgozzanak."
Talált oldalak
Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - Koza (vita) 2014. június 9., 19:35 (UTC)
| 1. félév (tavasz) | |
|---|---|
| 2. félév (ősz) | |
| Egyéb | |
| Szakirányok | |
