IA072 Souběžnost -- seminář

Fakulta informatiky
jaro 2005
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.
Rozvrh
Pá 10:00–11:50 B411
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
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
Jedná se o seminář, který je součástí právě řešeného grantového projektu GA ČR "Nekonečně stavové souběžné systémy - modely a verifikace" (FI MU je ř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ů.
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.
Předmět je zařazen také v obdobích podzim 2002, jaro 2003, podzim 2003, jaro 2004, podzim 2004, podzim 2005, jaro 2006, podzim 2006, jaro 2007, podzim 2007, jaro 2008, podzim 2008, jaro 2009, podzim 2009, jaro 2010, podzim 2010, jaro 2011, podzim 2011, jaro 2012, podzim 2012, jaro 2013, podzim 2013, jaro 2014, podzim 2014, jaro 2015, podzim 2015, jaro 2016, podzim 2016, jaro 2017, podzim 2017, jaro 2018, podzim 2018, jaro 2019, podzim 2019, jaro 2020, podzim 2020, jaro 2021, podzim 2021, jaro 2022, podzim 2022, jaro 2023, podzim 2023, jaro 2024, podzim 2024, jaro 2025.