FI:IA072 Souběžnost - Informace o předmětu

IA072 Souběžnost -- seminář

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

• Aplikovaná informatika (program FI, N-AP)
• Informatika (program FI, D-IN)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS)

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.

• Statistika zápisu (jaro 2005, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2005/IA072