Oktatás

Oktatási hírek

Kiberfizikai rendszerek - Zárthelyi előzetes eredmények

Az zárthelyi dolgozatok eredményei lentebb olvashatóak, megajánlott jegyhez 18 pont fölött kellett teljesíteni. A zárthelyi pótlására/javítására egy, a keddi előadás szünetében megbeszélt időpontban kerítünk sort. Tovább »

Rendszermodellezés ZH eredmények 2016. ősz

Az alábbi táblázatban található a Rendszermodellezés (VIMIA405) ZH eredményei. ZH megtekintés: dec.1. csütörtök 16:00-17:00, IE224 terem. Tovább »

Előadások beosztása

Kedves Mindenki!

A tárgyhoz kapcsolódó előadások ütemezése az alábbiak szerint alakul, a ma kiküldök emailek alapján: Tovább »

ReTe: 6. házi feladat

Az tárgy 6. házi feladatát kiadtuk, melynek részletei a tárgy házi feladatok oldalán található. A házi feladatnak része a követelmények reivew-olása, melyre lehetőséget biztosítunk a következő hétfői tutorial előadáson (2016.11.27).

Rendszermodellezés ZH terembeosztás 2016. ősz

A szerdai (2016.11.23.) ZH-ra a terembeosztás ebben a táblázatban található. A ZH-t azok írhatják meg, akik a megfelelő számú (legalább 5) gyakorlaton jelen voltak. Tovább »

ITLab2 ágazati mérés

Kikerült a weboldalra az ágazati méréshez kapcsolódó mérési segédlet. Ezen segédlet és a belőle hivatkozott dokumentációk alapfogalmait fogjuk számonkérni a beugróban, de ezen kívül otthon elvégzendő feladat nincs. A mérés 12:15-kor kezdődik és 4 órás órarendi alkalom lesz.

ReTe: 5. házi kiadása

Kiadtuk az 5. feladatot is a tárgyból, melynek részleteit a házi feladatok oldalon találhatjátok meg. A kései kiadás miatt a beszedést is eltoltuk egy héttel, egészen a 14. hét végéig. Az 6. házi feladatot is ebben az időpontban fogjuk beszedni.

Rendszermodellezés házi feladat védés

Ahogy azt az előadások során korábban jeleztük, a rendszermodellezés tárgy házi feladatait személyesen is be kell mutatni. A bemutatást a jövő héten tartjuk, melynek időpontjára jelentkezni kell a megfelelő konzulens linkjén keresztül: Tovább »

Siker diplomaterv pályázaton

Kutatócsoportunk doktorandusza, Hajdu Ákos kapta november 3-án a Pro Progressio Alapítvány által odaítélt diplomaterv ösztöndíjat. Az ösztöndíjakat évente, műegyetemi karonként egy-egy BSc-s és MSc-s, végzős hallgató nyerheti el. Hajdu Ákos diplomatervének címe "A Survey on CEGAR-based Model Checking", konzulense Tóth Tamás és Vörös András.

Kiberfizikai rendszerek - Zárthelyi témakörök

A Kiberfizikai rendszerek zárthelyi témaköreit részben a 2016. évi segédanyagok (https://inf.mit.bme.hu/edu/courses/cps/materials Félév: 2016. ősz ) fedik le. Tovább »

Tartalom átvétel