FI:IA072 Souběžnost - Informace o předmětu
IA072 Souběžnost -- seminář
Fakulta informatikyjaro 2007
- 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í)
doc. Mgr. Jan Obdržálek, PhD. (náhr. zkouš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
- SOUHLAS
určeno zejmena pro PGS; ostatní studenti mohou požádat o výjimku, zejména pokud s úspěchem absolvovali I040 Modální a temporální logiky procesů a/nebo 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.
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, pouze zareg. s předností (mateřské obory): 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
- předmět má 7 mateřských oborů, zobrazit
- Cíle předmětu
- Předpokládá se 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ů.
- Osnova
- V optimálním případě se očekává referování vlastních výsledků.
- Algebry procesů a jejich specifikace
- Nekonečně stavové systémy a jejich hierarchie
- Sémantické ekvivalence a předuspořádání
- Problematika algoritmické (ne)rozhodnutelnosti a složitost odpovídajících rozhodovacích algoritmů.
- Literatura
- Handbook of process algebra. Edited by J. A. Bergstra - A. Ponse - Scott A. Smolka. Amsterdam: Elsevier, 2001, xiv, 1342. ISBN 0444828303. info
- Články z časopisů a sborníků konferencí, dle specifikace vedoucího semináře
- Metody hodnocení
- viz anotace a osnova
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
Seminar je soucasti grantu GA CR "Nekonecne stavove soubezne systemy", 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.
- Statistika zápisu (jaro 2007, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2007/IA072