I072 Souběžnost -- seminář

Fakulta informatiky
podzim 2001
Rozsah
2/0. 3 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: zk, z.
Vyučující
prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Rozvrh
Pá 10:00–11:50 B411
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 určen pouze studentům mateřských oborů.

Jiné omezení: určeno zejména pro PGS, studenti magisterskeho programu mohou požádat o výjimku
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 "Nesekvenč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
  • Člá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ždý semestr.
Předmět je zařazen také v obdobích jaro 1999, podzim 1999, jaro 2000, podzim 2000, jaro 2001, jaro 2002.