IMSC

Ez az oldal az IMSc képzéshez tartozó információkat (IMSc pontot érő szorgalmi feladatok, gyakorlatokon használt szoftverek leírása, előadásokon megjelenő fogalmak magyarázata) tartalmazza.

Feladatok

Az előadáson elhangzott, plusz pontot érő feladatok a következő vasárnap éjfélig leadhatók a remo-hf@inf.mit.bme.hu címen.

3. előadás (Strukturális modellzés)

Feladat: Egy tetszőleges szakácskönyv tetszőleges (a feladat szempontjából némi bonyolultsággal rendelkező) recept strukturális modelljének leírása ontológiával. Jelenjen meg a hozzávalók tápértéke, kalóriatartalma, és a szerepe (mi miatt került bele a receptbe).

Jelige: Okosak vagyunk és főzünk

4. előadás (Állapot alapú modellezés)

Feladat: Három kérdés megválaszolása.
a) Mik a megengedett eseményszekvenciák a kávéautomata esetén?
b) Mik azok az eseményszekvenciák, amelyek hatására espresso jön ki cukor nélkül (de pohárban)?
c) Milyen művelet az a) ⇒b) (ahol a) és b) a kérdések betűjelei)?

Programok

A gyakorlatokon az alábbi programokat használjuk (a programok a laborgépekre fel vannak telepítve):