IV115 Seminář laboratoře paralelních a distribuovaných systémů

Fakulta informatiky
jaro 2015
Rozsah
0/2. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.
Vyučující
prof. RNDr. Jiří Barnat, Ph.D. (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování - Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování - Fakulta informatiky
Rozvrh
Po 10:00–11:50 B410
Předpoklady
SOUHLAS
Schopnost samostatného studia odborných publikací souvisejících s verifikací a modelováním complexních systémů.
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 25 stud.
Momentální stav registrace a zápisu: zapsáno: 0/25, pouze zareg.: 0/25, pouze zareg. s předností (mateřské obory): 0/25
Mateřské obory
předmět má 37 mateřských oborů, zobrazit
Cíle předmětu
Studenti získají zkušenosti s prezentací vlastních vědeckých výsledků a měli by být schopni aktivně participovat ve výzkumných aktivitách laboratoře ParaDiSe.
Osnova
  • Témata k diskuzi a články ke studiu a prezentaci jsou vymezeny během prvních dvou týdnů výuky daného semestru.
Literatura
  • BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008. xvii, 975. ISBN 9780262026499. info
  • GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999. xiv, 314. ISBN 0262032708. info
Výukové metody
Prezentace aktuálních vědeckých výsledků spojených s tématy studovanými v rámci laboratoře ParaDiSe. Diskuze.
Metody hodnocení
Seminární výuka založená výhradně na prezentacích připravených studenty. Pro úspěšné ukončení předmětu musí každý student vystoupit s prezentací nebo se aktivně účastnit diskuzí.
Informace učitele
http://www.fi.muni.cz/paradise/seminar.html
Další komentáře
Předmět je vyučován každý semestr.
Předmět je zařazen také v obdobích 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, podzim 2015, jaro 2016, podzim 2016, jaro 2017, podzim 2017, jaro 2018, podzim 2018, jaro 2019, podzim 2019, jaro 2020.