„Formális módszerek” változatai közötti eltérés
ZH1 2018 anyagok |
Nincs szerkesztési összefoglaló |
||
| (3 közbenső módosítás, amit 2 másik szerkesztő végzett, nincs mutatva) | |||
| 4. sor: | 4. sor: | ||
| szak = InfoMsc | | szak = InfoMsc | ||
| kredit = 4 | | kredit = 4 | ||
| félév = tavasz | | félév = tavasz, ősz | ||
| kereszt = nincs | | kereszt = nincs | ||
| tanszék = MIT | | tanszék = MIT | ||
| 36. sor: | 36. sor: | ||
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: | ||
*[[Media:Form_HF_UPPAAL_tutorial.pdf | Új UPPAAL tutorial]] | *[[Media:Form_HF_UPPAAL_tutorial.pdf | Új UPPAAL tutorial]] | ||
*[[Media:Form_HF_UPPAAL_tutorial2.pdf | UPPAAL tutorial PPT]] (exist és select kulcsszó magyarázata több házihoz elengedhetetlen) | |||
== 1. ZH == | == 1. ZH == | ||
| 55. sor: | 56. sor: | ||
== 2. ZH == | == 2. ZH == | ||
*Segédanyagok | |||
**[[Media:Form_zh2_2018tavasz_gyakorlofeladatok_megoldas.pdf| 2018-as órai gyakorló példák ZH-ra készüléshez megoldással és magyarázattal]] | |||
**2018-as mintaZH-k megoldás nélkül: [[Media:Form_zh2_2018tavasz_minta.pdf | Minta]] | |||
**2018-as ANGOL mintaZH-k megoldással: [[Media:Form_zh2_2018tavasz_angol_minta1_megoldas.pdf | Minta 1]], [[Media:Form_zh2_2018tavasz_angol_minta2_megoldas.pdf | Minta 2]] (az anyag megegyezik, így készüléshez teljesen jól használható) | |||
*2015/2016 | *2015/2016 | ||
**[https://docs.google.com/document/d/10fpLyMjveus15fMj7-qPi_ZzqALYy3Da-jv4dR2I9JY/edit?usp=sharing 2016.05.03 ZH2 - Hiányos] | |||
== Záróvizsga == | |||
[[:File:form_zvTetelKidolgozas_2020jan.pdf | Kidolozott tételek 2020 január]] | |||
== Kedvcsináló == | == Kedvcsináló == | ||