Formális módszerek - Zárthelyik (2017 tavasz)

Tartalom:

Követelmények

A tantárgy követelményeinek teljesítéséhez két zárthelyi sikeres megírása szükséges..

  • Mindkét zárthelyi pótolható a tanulmányi teljesítményértékelési terv szerinti ütemezésben.
  • Sikeres zárthelyi javító célzattal történő újraírására is van lehetőség, ez esetben a legutolsó kapott osztályzat lesz érvényes (tehát rontani is lehet).

Az első zárthelyi

  • Időpont: 2017. március 21. kedd, 18:15-19:45
  • Helyszín: Q-I terem
  • A zárthelyi témája: Az első 6 oktatási hét anyaga (EA01 - EA05):
    • Alapszintű modellezési formalizmusok.
    • Követelmények formalizálása temporális logikákkal.
    • Modellellenőrzési módszerek.
    • Hatékony modellellenőrzés: ROBDD-k alkalmazása, korlátos modellellenőrzés.
    • Állapottérképek.
  • Mintapéldák, gyakorló feladatok:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Eredmények táblázata a megtekintés után: Itt található.
    • Pontozás: [0-22) elégtelen, [22-28) elégséges, [28-34) közepes, [34-40) jó, [40-50] jeles
  • Megtekintés:
    • 2017. március 27. hétfő, 18:00-18:30, I.L.405

Az első zárhelyi pótlása

  • Időpont: 2017. április 4. kedd, 18:15-19:45
  • Helyszín: Q-I terem
  • A zárthelyi témája: A pótolandó zárthelyi témájával egyezik meg.
  • Mintapéldák:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Eredmények táblázata a megtekintés után: Itt található.
    • Pontozás: Mint a pótolandó zárthelyi pontozása.
  • Megtekintés:
    • 2017. április 7. péntek, 16:00-16:30, I.L.405

A második zárthelyi

  • Időpont: 2017. május 4. csütörtök, 18:15-19:45
  • Helyszín: Q-I terem
  • A zárthelyi témája: A 7-12. oktatási hetek anyaga (EA06-EA12):
    • Szoftverek modellellenőrzése.
    • Petri hálók alapelemei és kiterjesztései.
    • Petri hálók dinamikus tulajdonságai. Petri hálók redukciója.
    • Petri hálók strukturális tulajdonságai.
    • Modellezés Petri hálókkal. Hierarchikus Petri hálók.
    • Színezett Petri hálók.
    • Sztochasztikus Petri-hálók.
  • Mintapéldák, gyakorló feladatok:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Eredmények táblázata a megtekintés után: Itt található.
    • Pontozás: [0-22) elégtelen, [22-28) elégséges, [28-34) közepes, [34-40) jó, [40-50] jeles
  • Megtekintés:
    • 2017. május 8. hétfő, 18:00-18:30, I.L.405

A második zárthelyi pótlása

  • Időpont: 2017. május 18. csütörtök, 10:15-11:45
  • Helyszín:IE007 és IB026, gyülekező az IB026-ban
  • A zárthelyi témája: A pótolandó zárthelyi témájával egyezik meg.
  • Mintapéldák:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Eredmények táblázata a megtekintés után: Itt található.
    • Pontozás:  Mint a pótolandó zárthelyi pontozása.
  • Megtekintés:
    • 2017. május 22. hétfő, 13:00-13:30, I.B.421.

Pót-pótzárthelyi

  • Figyelem: A pót-pótzárthelyi a TVSz szerint vizsgaalkalomként van meghirdetve, melyre a vizsgajelentkezésre vonatkozó szabályok szerint a Neptunban jelentkezni kell. A második pótlási és javítási lehetőségével akkor élhet a hallgató, ha a teljesítményértékelésen vagy annak első alkalommal meghirdetett pótlási vagy javítási lehetőségén részt vett.
    További információ a KTH-ból: "Lényeges változás, hogy az összegző teljesítményértékelés második alkalommal történő pótlására, javítására (pót-pót zh) csak akkor tud jelentkezni a hallgató, ha a Neptun hallgatói web Pénzügyek/Befizetés felületén a második pótlásért fizetendő 5500 Ft összegű különeljárási díjat saját magának előre kiírja és befizeti. További változás, hogy a második pótláshoz ún. Díjköteles pótlás típusú vizsgára kell feljelentkeznie."
  • Időpont: 2017. május 24. szerda, 10:15-11:45
  • Helyszín:Q.B.F08 terem
  • A zárthelyi témája: A pótolandó zárthelyi témájával egyezik meg.
  • Mintapéldák:
  • További tudnivalók:
    • A zárthelyi megírására 90 perc áll rendelkezésre.
    • A zárthelyi megírásához csak üres papír és toll szükséges, más segédeszköz nem használható.
    • Azonosításra alkalmas fényképes igazolványt hozzanak magukkal!
  • Eredmények:
    • Eredmények táblázata: Itt található.
    • Pontozás:  Mint a pótolandó zárthelyi pontozása.
  • Megtekintés:
    • 2017. május 24. szerda 14:00-14:30, I.B.421.