I072 Souběžnost -- seminář

Fakulta informatiky
jaro 1999
Rozsah
2/0. 2 kr. Ukončení: z.
Vyučující
prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Garance
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Předpoklady
I998 Diplomový seminář
Vstupní požadavek: určeno pro PGS; studenti magisterského studia mohou požádat o výjimku, zejména pokud s úspěchem absolvovali I040 Modální a temporální logiky procesů a I041 Teorie a specifikace procesů a mají vážný zájem o problematiku souběžných procesů.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Osnova
  • Jedná se o seminář, který je součástí právě řešeného grantového projektu GA ČR "Meze algoritmické verifikovatelnosti nekonečně stavových systémů" (FI MU je spoluřešitelským pracovištěm) a výzkumného záměru FI "Nesekveční modely výpočtů". U studentů se minimálně předpokládá aktivní účast, tj. nastudování a přednesení aktuální problematiky zadané vedoucím semináře (článek z časopisu, sborníku konference atp. - psáno výhradně v angličtině). V optimálním případě se očekává referování vlastních výsledků.
Literatura
  • Clánky z časopisů a sborníků konferencí, dle specifikace vedoucího semináře
Informace učitele
http://www.fi.muni.cz/usr/kretinsky/
Seminar je soucasti grantu GA CR "Meze algoritmicke verifikovatelnosti nekonecne stavovych systemu", reseneho na FI. Detailnejsi info o tomto projektu lze nalezt zde. Pri dosahovani vybornych vysledku lze seminar zapisovat opakovane.
Další komentáře
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích podzim 1999, jaro 2000, podzim 2000, jaro 2001, podzim 2001, jaro 2002.