I072 Souběžnost -- seminář

Fakulta informatiky
jaro 2000
Rozsah
2/0. 3 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: 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.
Předpoklady
SOUHLAS
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ů.

Předmět si smí zapsat nejvýše 15 stud.
Momentální stav registrace a zápisu: zapsáno: 0/15, pouze zareg.: 0/15
Jiné omezení: předmět určen pro PGS, studenti mag.studia 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 "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ždý semestr.
Výuka probíhá každý týden.
Předmět je zařazen také v obdobích jaro 1999, podzim 1999, podzim 2000, jaro 2001, podzim 2001, jaro 2002.