FI:I072 Souběžnost - Informace o předmětu
I072 Souběžnost -- seminář
Fakulta informatikyjaro 2002
- 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
- Informatika (program FI, B-IN)
- Informatika (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Výpočetní technika (program FI, B-IN)
- 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.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2002/I072