Doktorské státnice

[wintermute]

Tenhle rok se chystám udělat státnice. Magistra jsem dělal z teoretické informatiky, na doktorským studiu jsem na softwarových systémech, takžejsem dost věcí z těch zkušebních okruhů nikdy neviděl. Třeba tenhle zkušební okruh:

2. Teoretické základy softwarových systému
Formální jazyky, gramatiky a automaty. Formální modely a specifikace sémantiky
jazyku. Atributové gramatiky. Formální sémantika soubežných systému, prechodové
systémy jako sémantika nízké úrovne; ekvivalence, model checking, modely soubežných
systému, Petriho síte, algebraické modely, CCS a CSP. Verifikace soubežných systému
v praxi. Metody formálních a algebraických specifikací. Lambda kalkul, typové systémy.

Která přednáška pokrývá věci jako Petriho sítě, CCS, CSP, souběžné systémy apod? A mám na ní chodit, nebo má někdo k doktorským státnicím hotový výpisky, podle kterých se to bez problémů naučím?

[Lukas Mach]

Pred mnoha lety jsem jednou omylem vesel do spatne prednaskove mistnosti a tak ti muzu rict, ze Petriho site se delaji v predmetu Formální metody specifikace (NTIN043).

[beaver]

Nevim, na jakem si oboru, ale u nas (I2 - SW systemy) to bezne funguje tak, ze se domluvis se zkousejicim, z ceho te bude zkouset a on ti da neco nastudovat (knizku, clanky, ...). A tohle ti mel rict tvuj skolitel

[wintermute]

A tohle ti mel rict tvuj skolitel

Můj školitel je brit a já jsem jeho první doktorand.
Ale díky moc! Tohle je dost důležitá informace.

[t2]

Kedysi ucil Formalni specifikace Bednarek, teraz to uz prednasa Richta a aj obsah predmetu sa trochu zmenil. Veci okolo model-checkingu a verifikacie uci Kofron, Sery a Parizek (su to dva predmety, jeden v LS a druhy v ZS, jeden je skor teoreticky).

[beaver]

Pokud je tvuj skolitel externista, urcite mate na katedre nekoho, kdo ti poradi. Btw. jakekoli dotazy by ti odpovedela treba i Koubkova, kdyz si se u ni prihlasoval ke statnicim.

Ad Verifikace: Pokud vim, tak Parizek a Sery uz tu nejsou. Ten predmet po nich prebral Kofron.