„Formális módszerek” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
|||
| (10 közbenső módosítás, amit 6 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 | ||
| 32. sor: | 32. sor: | ||
** Előadásfóliák | ** Előadásfóliák | ||
** [[Formális módszerek HOWTO|Régi anyagok]] | ** [[Formális módszerek HOWTO|Régi anyagok]] | ||
** [http://formal.cs.utah.edu:8080/pbl/BDD.php ROBDD számoló] | |||
== Házi == | == Házi == | ||
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 == | ||
*Segédanyagok | *Segédanyagok | ||
**[[Media:Form_zh1_2018tavasz_gyakorlofeladatok.pdf | 2018-as órai gyakorló példák ZH-ra készüléshez]] és a [[Media:Form_zh1_2018tavasz_gyakorlofeladatok_megoldas.pdf | közös órai megoldás]] | |||
**[[Media:Form_zh1_2018tavasz_gyakorloszoveges_megoldas.pdf | 2018-as szöveges gyakorló példák megoldással]] | |||
**2018-as mintaZH-k megoldás nélkül: [[Media:Form_zh1_2018tavasz_minta1.pdf | Minta 1]], [[Media:Form_zh1_2018tavasz_minta2.pdf | Minta 2]], [[Media:Form_zh1_2018tavasz_minta3.pdf | Minta 3]] | |||
**2018-as ANGOL mintaZH-k megoldással: [[Media:Form_zh1_2018tavasz_angol_minta1_megoldas.pdf | Minta 1]], [[Media:Form_zh1_2018tavasz_angol_minta2_megoldas.pdf | Minta 2]] (az anyag megegyezik, így készüléshez teljesen jól használható) | |||
**[https://docs.google.com/document/d/10SuQA5F8wksmkRZZh18kLgT2srPHFeAoX3ebU4hohx8/edit 2016-os elméleti kidolgozás] | **[https://docs.google.com/document/d/10SuQA5F8wksmkRZZh18kLgT2srPHFeAoX3ebU4hohx8/edit 2016-os elméleti kidolgozás] | ||
**[https://docs.google.com/document/d/1_vYv6CfeQzGjlzHnSj4zpKa3eHDYdHK0XkTgraSaa-Q/edit | **[https://docs.google.com/document/d/1_vYv6CfeQzGjlzHnSj4zpKa3eHDYdHK0XkTgraSaa-Q/edit 2016-os feladat kidolgozás] | ||
**[[Media:Form_ZH1_2015_mintapéldák.pdf | 2015 mintapéldák (dia)]] | **[[Media:Form_ZH1_2015_mintapéldák.pdf | 2015 mintapéldák (dia)]] | ||
*2013/2014 | *2013/2014 | ||
** | **[https://docs.google.com/document/d/1mzdcLdrMLJZpbU09Kiuc2Ppc6C83gZkMFvO3TA2vZIc/ 2014-es ZH kidolgozás] | ||
**[[Media:Form_PZH1_20140521.pdf | 2014.05.21 PZH]] || [[Media:Form_PZH1_20140521.pdf | megoldás]] | |||
*2012/2013 | *2012/2013 | ||
**[[Media:Form_PZH1_20130528.pdf | 2013.05.28 PZH]] || [[Media:.pdf | megoldás]] | |||
*Minta ZH-k | *Minta ZH-k | ||
**[[Media:Form_ZH1_2015_minta.pdf | 2015 mintaZH]] || [[Media: .pdf | megoldás]] | |||
== 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 | |||
**[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ó == | ||