„Formális módszerek” változatai közötti eltérés

A VIK Wikiből
Ugrás a navigációhoz Ugrás a kereséshez
 
(31 közbenső módosítás, amit 9 másik szerkesztő végzett, nincs mutatva)
1. sor: 1. sor:
{{GlobalTemplate|Infoalap|FormMod}}
 
 
 
{{Tantárgy
 
{{Tantárgy
| név = Formális Módszerek
+
| név = Formális módszerek
| tárgykód = VIMIM100
+
| tárgykód = VIMIMA07
| szak = InfoMSC kötelező
+
| 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
 
| jelenlét = nincs
 
| jelenlét = nincs
| minmunka = 2ZH plusz házi
+
| minmunka = 2 ZH + 1 HF
| labor = ősszel
+
| labor = nincs
| kiszh = 0
+
| kiszh = nincs
| nagyzh = 2
+
| nagyzh = 2 ZH
| hf = 1 + szorgalmi
+
| hf = 1 db + szorgalmi
 
| vizsga = nincs
 
| vizsga = nincs
 
| levlista = form{{kukac}}sch.bme.hu
 
| levlista = form{{kukac}}sch.bme.hu
| tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/
+
| tad = https://www.vik.bme.hu/kepzes/targyak/VIMIMA07/
| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
+
| tárgyhonlap = https://inf.mit.bme.hu/edu/courses/form
 
}}
 
}}
  
 
__TOC__
 
__TOC__
  
==A tárgyról==
+
== Követelmények ==
* [[Tantárgynevek rövidítései levlistás levelek tárgyához|Ajánlott rövidítés]]: '''Form'''
+
*Az '''félévközi jegy''' feltételei: A két db zárthelyi, valamint a házi feladat elégséges szintű teljesítése. A félévközi jegyet 35-35%-os súllyal a két zárthelyi osztályzata és 30%-os súllyal a házi feladat osztályzata határozza meg.
* [[Formális módszerek HOWTO|Kedvcsináló]]
+
*'''Pótlási lehetőségek:'''
* Levlista:
+
**A szorgalmi időszakban vagy a pótlási időszakban bármelyik zárthelyi pótlására van lehetőség, de csak az egyik zárthelyit pótolható. Egy sikertelen zárthelyi újbóli pótlására a pótlási időszakban van lehetőség. Házi feladatok határidőn túl a pótlási héten adhatók be, a késedelmes beadás 20% pontlevonással jár.
** form{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/form feliratkozás]
+
 
** infomsc{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/infomsc feliratkozás]
+
== Segédanyagok ==
* Régi, elavult linkek
+
*Miből érdemes tanulni?
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome
+
** 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)
 +
** Előadásfóliák
 +
** [[Formális módszerek HOWTO|Régi anyagok]]
 +
** [http://formal.cs.utah.edu:8080/pbl/BDD.php ROBDD számoló]
 +
== Házi ==
 +
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_tutorial2.pdf | UPPAAL tutorial PPT]] (exist és select kulcsszó magyarázata több házihoz elengedhetetlen)
 +
 
 +
== 1. ZH ==
 +
*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/1_vYv6CfeQzGjlzHnSj4zpKa3eHDYdHK0XkTgraSaa-Q/edit 2016-os feladat kidolgozás]
 +
**[[Media:Form_ZH1_2015_mintapéldák.pdf | 2015 mintapéldák (dia)]]
 +
*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
 +
**[[Media:Form_PZH1_20130528.pdf | 2013.05.28 PZH]] || [[Media:.pdf | megoldás]]
 +
*Minta ZH-k
 +
**[[Media:Form_ZH1_2015_minta.pdf | 2015 mintaZH]] || [[Media: .pdf | megoldás]]
 +
 
 +
== 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]
  
==Segédanyagok==
+
== Záróvizsga ==
===Miből érdemes tanulni?===
+
[[:File:form_zvTetelKidolgozas_2020jan.pdf | Kidolozott tételek 2020 január]]
* 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
 
* {{InLineFileLink|Infoalap|FormMod|formcucc.pdf|formcucc.pdf}}: Zh/vizsgya feladatok kidolgozva (Form Zh How to)
 
* {{InLineFileLink|Infoalap|FormMod|FormJegyzet2006Osz.pdf|FormJegyzet2006Osz.pdf}}: FormJegyzet2006Osz.pdf
 
===Segédanyag az MSc-s 1. ZH-ra===
 
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
 
** [[FormModVizsgaTempLog|Temporális logika]] - LTL, CTL és társai
 
** [[FormModVizsgaModEll|Modellellenőrzés]]
 
** [[FormModVizsgaRobdd|Bináris döntési diagramok - ROBDD]]
 
** [[FormModVizsgaAllapterkep|Állapottérképek]]
 
* [[FormModBev|Bevezetés]](TK 9-29)
 
* {{InLineFileLink|Infoalap|FormMod|Form_LTL.pdf|Form_LTL.pdf}}: Form könyvből az LTL-es rész nagyon csúnyán (de használhatóan) kiszkennelve
 
* [[FormModOperatorok|LTL operátorok, és kapcsolatuk]]
 
===Segédanyag az MSc-s 2. ZH-ra===
 
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
 
** [[FormModVizsgaPetri|Petri Hálók]]
 
* [[FormModDefiniciok|Definíciók]]
 
* 2. Petri Hálók (TK 31-108)
 
** 2.1 Bevezetés
 
** 2.2 [[FormModPetriStrukt|A petri hálók struktúrája]]
 
** 2.3 [[FormModPetriDinam|A Petri hálók dinamikus viselkedése]]
 
** 2.4 [[FormModTokenJatek|Token Játékok]]
 
** 2.5 Alkalmazási mintapéldák
 
** 2.6 [[FormModTudMod|Tulajdonság modellek]]
 
** 2.7 [[FormModPetriAnal|A Petri hálók analízis módszerei]]
 
** 2.8 [[FormModPetriAloszt|Petri háló alosztályok]]
 
** 2.9 [[FormModPetriAlosztAnal|Analitikusan vizsgálható Petri háló alosztályok]]
 
** 2.10 [[FormModPetriStruktTul|Strukurális tulajdonságok]]
 
** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]]
 
** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]]
 
* [[FormModZH2Ossz]]
 
===Tapasztalatok a segédeszközökkel===
 
* [[FormModDnaNet|DnaNet+Ina]] (Windows)
 
* [[FormModPed|Ped+Ina-t]] (Linux)
 
* [[FormModSpinEdit |SpinEdit]]
 
===UPPAAL===
 
* {{InLineFileLink|Infoalap|FormMod|uppaal-4.0.13.zip|uppaal-4.0.13.zip}}: UPPAAL academic Java VM szükséges a futtatásához.
 
===Régi anyagok===
 
* [[FormMiVoltAzOran|Mi volt az órán?]]
 
  
==ZH==
+
== Kedvcsináló ==
===ZH sorok===
+
===Gáb===
==== 2003 ====
 
[[:File:form_ZH_2003_03_A.pdf | ZH 2003.03 A csoport]]<br />
 
[[:File:form_ZH_2003_03_B.pdf | ZH 2003.03 B csoport]]<br />
 
[[:File:form_ZH_2003_03_C.pdf | ZH 2003.03 C csoport]]<br />
 
[[:File:form_ZH_2003_03_D.pdf | ZH 2003.03 D csoport]]<br />
 
  
==== 2004 ====
+
Nehéz helyzetben vagyok, ha a véleményemet kultúráltan akarom leírni. Az anyag kib* sok, kib* érdektelen, a házi kib* sok, a zh nehéz, a vizsga kib* nehéz, bár utóbbi kettő elég sablonos. Ezek után nem szégyellnek 50%-ot kérni a ketteshez. Az oktatói hozzáállás némely oktatóktól szerintem visszataszító, bár akire most célzok, az valszeg nektek nem lesz. Varró Daninál szóbeliztem a kettesért, ő viszont rendes volt. Ez az a tárgy, ami rémálmomban se jöjjön elő. Ha beseggeli az ember a tipusfeladatokat, meg lehet csinálni kettesre, de kevés olyan tárggyal találkoztam, amiről ennyire lesújtó véleményem lenne. Hogy valami pozitívumot is írjak: a házit javító konzulens korrekt volt (mondjuk egy heti munkáért adott 5 pontból 5öt, bingó), és van infosite-on egy nagyon jó, hallgatók által írt jegyzet, vagy inkább egy útmutató, hogy a típusfeladatokat hogy lehet megoldani, az überhasznos.
[[:File:form_ZH_2004_03_A.pdf | ZH 2004.03 A csoport]]
 
  
==== 2005 ====
+
===Joco===
[[:File:form_ZH_2005_04_B.pdf | ZH 2005.04 B csoport]]
 
  
==== 2009 ====
+
A zh még csak-csak túlélhető, vizsga nagyobb szopás, nekem másodszorra sikerült kettesre. Tessék jól tudni a slide-okat, könyvet megvenni határozottan nem árt (slideok helyenként nehezen érthetőek) és tessék nézegetni a korábbi vizsga és zh sorokat! Még egyszer leírom: van olyan cucc, ami csak a könyvben van, slide-on nincs!
[[:File:form_ZH2_2009_05_A.pdf | ZH2 2009.05 A csoport]]
 
  
==== 2010 ====
+
Lesz egy házi is, aminek a nehézsége szerencsétől fuggően változó, keressetek valakit aki tud segíteni vagy hasonló a házija és pár nap alatt meg lehet csinálni. (ha valaki elmagyarázza)
[[:File:form_ZH1_2010_03_A.pdf | ZH1 2010.03 A csoport]]<br />
 
[[:File:form_ZH1_2010_03_B.pdf | ZH1 2010.03 B csoport]]
 
  
==== 2011 ====
+
===FeZo===
[[:File:form_ZH1_2011_minta_megoldas_otletek.pdf | ZH1 2011 minta megoldás ötletek]]<br />
 
[[:File:form_ZH1_2011_minta_zh.pdf | ZH1 2011 minta]]<br />
 
[[:File:form_ZH2_2011_minta_PN_feladattipusok.pdf | ZH2 2011 minta PN feladattípusok]]
 
  
==== Ismeretlen ====
+
Egy Pataricza nevezetű pipás ember tartja, eléggé jófej, de kb. ez minden pozitívum amit a tárgyról el lehet mondani. A ZH-n még át lehet menni, de a vizsga maratoni hosszúságú, iszonyat mennyiségű tananyagra alapozik, aminek többségét bizony csak 3-4szeri elolvasással lehet megérteni, vagy tán még annyival sem. De ez még mind semmi.
[[:File:form_zhkerdesek.docx | ZH kérdések]]<br />
 
[[:File:form_zhmegoldasok.pdf | ZH megoldások]]
 
  
==Vizsga==
+
Az aláírás feltétele egy nagyházi, ami igazából csak arra jó, hogy a még esetleg fennmaradt szabad idődet is elvegye. Egy egyszerűnek hangzó
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.<br/>
+
feladatot adnak ki, erre ugye általában úgy reagálunk hogy "á' majd összedobom az utolsó héten", aztán majd rájössz hogy hoppá... szívás mértéke jelentős.
[[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]]<br/>
 
  
* [[FormModVizsga20020611|Formális módszerek 2002. jún. 11-i vizsga]]
+
+jó hír: ha vizsgán max 4-5 ponttal lemaradtál a jobbik jegyről, még semmi sincs veszve. Kitartó arcmunkával, kihasználva a javítók odaadó
* [[FormModVizsga20040526|Formális módszerek 2004. máj. 26-i vizsga]]
+
segítőkészségét bármi megtörténhet... :)
* [[FormModVizsga20040602|Formális módszerek 2004. jún. 2-i vizsga]]
 
* [[FormModVizsga20060531Feladatok|Formális módszerek 2006. máj. 31-i vizsga feladatok]]
 
* [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]]
 
* [[FormModVizsga20070117|Formális módszerek 2007. jan. 17-ei vizsga]]
 
* [[FormModVizsga20070613]]
 
* [[FormModVizsga20080528]]
 
* [[FormModVizsga20080611]]
 
  
==Házi feladat - Régi==
+
Ha nem sikerül a reklamáció, szóbelin csak akkor próbálj meg javítani, ha nagyon vágod az anyagot, és nem ijedsz meg néhány beugratós kérdéstől.
Elérhetőek az új tanszéki weblapról: [https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome Kiírás] - [http://sauron.inf.mit.bme.hu/Edu/FormModsz/2007/Form07.nsf/Segedeszkozok?OpenPage Segédeszközök]
 
  
[[FormModHfLevel|Bartha Tamás levele a házi feladattal kapcsolatban]]
+
===Kill Gates===
  
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'''.
+
Petri-hálós játék és társai a tárgy témája. Pataricza jó fej, és jó órákat tart, úgyhogy erre tényleg érdemes bejárni. Már csak ezért megérné igazából, de ha vkinek ez mégse lenne elég, annak még hozzáteszem, hogy később majd, mikor otthon egyedül próbálja meg kibogarászni, hogy miről is van szó, az ilyen-olyan matematikai képletek láttán annak majd a szeme ketté áll, míg ha ott lett volna órán, akkor tudná, hogy milyen triviális dolog van oda leírva, és hogy nem is az volna a lényeg, hogy azt az adott képletet bemagolja.
  
SAL telepítés Cygwinnel: [http://sal-wiki.csl.sri.com/index.php/Cygwin_installation http://sal-wiki.csl.sri.com/index.php/Cygwin_installation]
+
===ismeretlen===
  
===Tapasztalatok az egyes feladatokkal===
+
Ez sem egy egyszerű tárgy. Sok féle téma van, az elméletet tényleg érteni kell. A könyv lefedi az anyagot, egy-két részt kivéve. A ZH-n elméleti kérdéssorban minden egyes szóra figyelni kell, mert gyakori, hogy látszólag igaz egy-egy allítás, de egy szó miatt mégsem az. A gyakorlati rész itt is többnyire típuspelda, némelyikkel nagyon sokat kell szívni (Martinez-Sylva algoritmus pl.) és röhejesen kevés pontot ér. A vizsga ("Varró Dani style") 12 A4-es oldal, amiben az összes lehetséges példafajta mindig benne van, erre általában még a 150 perc is kevés. Ne tévesszen meg senkit, hogy az infosite-on többnyire 5-6 oldalas vizsgák vannak, az már a múlté. Van HF is, ami lehet egyszerű és lehet bonyolult (mázlifaktor szokás szerint). Petri hálós és Promela modellt kell csinálni egy szöveges leírásból, és utána deadlockmentességet meg fairséget kell ellenőrizni rajta. Nagy szívás általában az elkészítéshez szükséges eszközök használatával (dnanet, ped, ina, spin), illetve az ellenőrző kifejezések megfogalmazásával van. Az 1.3 szakirány több szempontból is ennek a tárgynak a folytatása.
'''"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."'''
 
  
* [[FormModHazi1tol7|Házi 1-7]]
+
===Arwen===
* [[FormModHazi8tol14|Házi 8-14]]
 
* [[FormModHazi15tol21|Házi 15-21]]
 
* [[FormModHazi22tol28|Házi 22-28]]
 
* [[FormModHazi29tol35|Házi 29-35]]
 
  
== Talált oldalak ==
+
Hm. Nem is tudom hogy kezdjem. Van zh meg vizsga, mindegyiknél változó, hogy
 +
hány százaléktól kettes. Ezt a javításkor állapították meg tavaly, gondolom
 +
épp milyen kedvük volt. Hogy miről szól... mindenféle formális módszerről :)
 +
petri-hálók meg automaták meg egyebek. Igazából ha egyszer megérted, elég
 +
egyszerű az anyag, de meg kell egyszer érteni. Előadásra nem jártam de
 +
megbántam. Hiszem, hogy nagyságrendekkel kevesebb szenvedés lett volna nem
 +
magamnak kibogarászni.
 +
A vizsga baromi hosszú, 3 órás és kb végig körmölni kell, van valami 12
 +
oldalnyi feladat. Ennek az is előnye, ha nem értesz egy anyagrészt,
 +
egyáltalán nincs minden veszve, tuti nem lesz abból a zh fele, max 2
 +
feladatot buksz a 14-ből. De lesz kb mindenféle feladat, erre számítani
 +
kell.
 +
Ja, a házi. Nekem olyan konzulensem volt aki semmit nem vágott de
 +
maximalista volt, egyáltalán nem jártam jól vele. Másoknak fele annyi idő
 +
alatt elfogadták, nekem mindenbe belekötöttek. Mázlifaktor, ennyi. A 100
 +
pontból max 5 pontot lehet vele szerezni vizsgára. (igen, ez nagyon kevés)
  
Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - [[Szerkesztő:Kiskoza|Koza]] ([[Szerkesztővita:Kiskoza|vita]]) 2014. június 9., 19:35 (UTC)
+
===BB 2007.07.12===
* [[Formális_módszerek_vizsga_tool]]
 
  
{{Lábléc - Mérnök informatikus mesterszak}}
+
A tárgyról sok rosszat hallani, de szerintem annyira azért nem nehéz.
 +
Talán azért mondják, mert az előadásokon csak nagyon alap dolgokat mondanak el(a feladatok megoldásához), és a vizsgán pedig rendesen számon kérik.
 +
A házi pedig szerintem annyira nem vészes, csak amikor először elolvasod a feladatot....:)
 +
Szóval a tárgy teljesíthető, de zhra és vizsgára azért rendesen át kell nézni a régebbi feladatsorokat.

A lap jelenlegi, 2020. január 15., 10:34-kori változata

Formális módszerek
Tárgykód
VIMIMA07
Általános infók
Szak
InfoMsc
Kredit
4
Ajánlott félév
tavasz, ősz
Keresztfélév
nincs
Tanszék
MIT
Követelmények
Jelenlét
nincs
Minimális munka
2 ZH + 1 HF
Labor
nincs
KisZH
nincs
NagyZH
2 ZH
Házi feladat
1 db + szorgalmi
Vizsga
nincs
Elérhetőségek
Levlista
form@sch.bme.hu


Követelmények

  • Az félévközi jegy feltételei: A két db zárthelyi, valamint a házi feladat elégséges szintű teljesítése. A félévközi jegyet 35-35%-os súllyal a két zárthelyi osztályzata és 30%-os súllyal a házi feladat osztályzata határozza meg.
  • Pótlási lehetőségek:
    • A szorgalmi időszakban vagy a pótlási időszakban bármelyik zárthelyi pótlására van lehetőség, de csak az egyik zárthelyit pótolható. Egy sikertelen zárthelyi újbóli pótlására a pótlási időszakban van lehetőség. Házi feladatok határidőn túl a pótlási héten adhatók be, a késedelmes beadás 20% pontlevonással jár.

Segédanyagok

Házi

A házi feladat kiírások a tárgyhonlapon találhatók:

1. ZH

2. ZH

Záróvizsga

Kidolozott tételek 2020 január

Kedvcsináló

Gáb

Nehéz helyzetben vagyok, ha a véleményemet kultúráltan akarom leírni. Az anyag kib* sok, kib* érdektelen, a házi kib* sok, a zh nehéz, a vizsga kib* nehéz, bár utóbbi kettő elég sablonos. Ezek után nem szégyellnek 50%-ot kérni a ketteshez. Az oktatói hozzáállás némely oktatóktól szerintem visszataszító, bár akire most célzok, az valszeg nektek nem lesz. Varró Daninál szóbeliztem a kettesért, ő viszont rendes volt. Ez az a tárgy, ami rémálmomban se jöjjön elő. Ha beseggeli az ember a tipusfeladatokat, meg lehet csinálni kettesre, de kevés olyan tárggyal találkoztam, amiről ennyire lesújtó véleményem lenne. Hogy valami pozitívumot is írjak: a házit javító konzulens korrekt volt (mondjuk egy heti munkáért adott 5 pontból 5öt, bingó), és van infosite-on egy nagyon jó, hallgatók által írt jegyzet, vagy inkább egy útmutató, hogy a típusfeladatokat hogy lehet megoldani, az überhasznos.

Joco

A zh még csak-csak túlélhető, vizsga nagyobb szopás, nekem másodszorra sikerült kettesre. Tessék jól tudni a slide-okat, könyvet megvenni határozottan nem árt (slideok helyenként nehezen érthetőek) és tessék nézegetni a korábbi vizsga és zh sorokat! Még egyszer leírom: van olyan cucc, ami csak a könyvben van, slide-on nincs!

Lesz egy házi is, aminek a nehézsége szerencsétől fuggően változó, keressetek valakit aki tud segíteni vagy hasonló a házija és pár nap alatt meg lehet csinálni. (ha valaki elmagyarázza)

FeZo

Egy Pataricza nevezetű pipás ember tartja, eléggé jófej, de kb. ez minden pozitívum amit a tárgyról el lehet mondani. A ZH-n még át lehet menni, de a vizsga maratoni hosszúságú, iszonyat mennyiségű tananyagra alapozik, aminek többségét bizony csak 3-4szeri elolvasással lehet megérteni, vagy tán még annyival sem. De ez még mind semmi.

Az aláírás feltétele egy nagyházi, ami igazából csak arra jó, hogy a még esetleg fennmaradt szabad idődet is elvegye. Egy egyszerűnek hangzó feladatot adnak ki, erre ugye általában úgy reagálunk hogy "á' majd összedobom az utolsó héten", aztán majd rájössz hogy hoppá... szívás mértéke jelentős.

+jó hír: ha vizsgán max 4-5 ponttal lemaradtál a jobbik jegyről, még semmi sincs veszve. Kitartó arcmunkával, kihasználva a javítók odaadó segítőkészségét bármi megtörténhet... :)

Ha nem sikerül a reklamáció, szóbelin csak akkor próbálj meg javítani, ha nagyon vágod az anyagot, és nem ijedsz meg néhány beugratós kérdéstől.

Kill Gates

Petri-hálós játék és társai a tárgy témája. Pataricza jó fej, és jó órákat tart, úgyhogy erre tényleg érdemes bejárni. Már csak ezért megérné igazából, de ha vkinek ez mégse lenne elég, annak még hozzáteszem, hogy később majd, mikor otthon egyedül próbálja meg kibogarászni, hogy miről is van szó, az ilyen-olyan matematikai képletek láttán annak majd a szeme ketté áll, míg ha ott lett volna órán, akkor tudná, hogy milyen triviális dolog van oda leírva, és hogy nem is az volna a lényeg, hogy azt az adott képletet bemagolja.

ismeretlen

Ez sem egy egyszerű tárgy. Sok féle téma van, az elméletet tényleg érteni kell. A könyv lefedi az anyagot, egy-két részt kivéve. A ZH-n elméleti kérdéssorban minden egyes szóra figyelni kell, mert gyakori, hogy látszólag igaz egy-egy allítás, de egy szó miatt mégsem az. A gyakorlati rész itt is többnyire típuspelda, némelyikkel nagyon sokat kell szívni (Martinez-Sylva algoritmus pl.) és röhejesen kevés pontot ér. A vizsga ("Varró Dani style") 12 A4-es oldal, amiben az összes lehetséges példafajta mindig benne van, erre általában még a 150 perc is kevés. Ne tévesszen meg senkit, hogy az infosite-on többnyire 5-6 oldalas vizsgák vannak, az már a múlté. Van HF is, ami lehet egyszerű és lehet bonyolult (mázlifaktor szokás szerint). Petri hálós és Promela modellt kell csinálni egy szöveges leírásból, és utána deadlockmentességet meg fairséget kell ellenőrizni rajta. Nagy szívás általában az elkészítéshez szükséges eszközök használatával (dnanet, ped, ina, spin), illetve az ellenőrző kifejezések megfogalmazásával van. Az 1.3 szakirány több szempontból is ennek a tárgynak a folytatása.

Arwen

Hm. Nem is tudom hogy kezdjem. Van zh meg vizsga, mindegyiknél változó, hogy hány százaléktól kettes. Ezt a javításkor állapították meg tavaly, gondolom épp milyen kedvük volt. Hogy miről szól... mindenféle formális módszerről :) petri-hálók meg automaták meg egyebek. Igazából ha egyszer megérted, elég egyszerű az anyag, de meg kell egyszer érteni. Előadásra nem jártam de megbántam. Hiszem, hogy nagyságrendekkel kevesebb szenvedés lett volna nem magamnak kibogarászni. A vizsga baromi hosszú, 3 órás és kb végig körmölni kell, van valami 12 oldalnyi feladat. Ennek az is előnye, ha nem értesz egy anyagrészt, egyáltalán nincs minden veszve, tuti nem lesz abból a zh fele, max 2 feladatot buksz a 14-ből. De lesz kb mindenféle feladat, erre számítani kell. Ja, a házi. Nekem olyan konzulensem volt aki semmit nem vágott de maximalista volt, egyáltalán nem jártam jól vele. Másoknak fele annyi idő alatt elfogadták, nekem mindenbe belekötöttek. Mázlifaktor, ennyi. A 100 pontból max 5 pontot lehet vele szerezni vizsgára. (igen, ez nagyon kevés)

BB 2007.07.12

A tárgyról sok rosszat hallani, de szerintem annyira azért nem nehéz. Talán azért mondják, mert az előadásokon csak nagyon alap dolgokat mondanak el(a feladatok megoldásához), és a vizsgán pedig rendesen számon kérik. A házi pedig szerintem annyira nem vészes, csak amikor először elolvasod a feladatot....:) Szóval a tárgy teljesíthető, de zhra és vizsgára azért rendesen át kell nézni a régebbi feladatsorokat.