„Formális módszerek” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
|||
| 3. sor: | 3. sor: | ||
{{Tantárgy | {{Tantárgy | ||
| név = Formális Módszerek | | név = Formális Módszerek | ||
| tárgykód = | | tárgykód = VIMIMA07 | ||
| szak = InfoMSC kötelező | | szak = InfoMSC kötelező | ||
| kredit = 4 | | kredit = 4 | ||
| 10. sor: | 10. sor: | ||
| tanszék = MIT | | tanszék = MIT | ||
| jelenlét = nincs | | jelenlét = nincs | ||
| minmunka = 2ZH | | minmunka = 2ZH + 1HF | ||
| labor = ősszel | | labor = ősszel | ||
| kiszh = 0 | | kiszh = 0 | ||
| 17. sor: | 17. sor: | ||
| vizsga = nincs | | vizsga = nincs | ||
| levlista = form{{kukac}}sch.bme.hu | | levlista = form{{kukac}}sch.bme.hu | ||
| tad = https://www.vik.bme.hu/kepzes/targyak/ | | tad = https://www.vik.bme.hu/kepzes/targyak/VIMIMA07/ | ||
| tárgyhonlap = https:// | | tárgyhonlap = https://inf.mit.bme.hu/edu/courses/form | ||
}} | }} | ||
| 35. sor: | 35. sor: | ||
===Miből érdemes tanulni?=== | ===Miből érdemes tanulni?=== | ||
* Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András] | * Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András] | ||
* | * Régi zh meg vizsgasorok (elég hasonló példák vannak néha) | ||
* Előadásfóliák | * Előadásfóliák | ||
| 105. sor: | 105. sor: | ||
[[:Media:form_zhmegoldasok.pdf | ZH megoldások]] | [[:Media:form_zhmegoldasok.pdf | ZH megoldások]] | ||
==Vizsga== | ==Vizsga - Régi== | ||
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.<br/> | MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.<br/> | ||
[[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]]<br/> | [[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]]<br/> | ||