FI:IV115 Seminář laboratoře ParaDiSe - Informace o předmětu

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

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. Luboš Brim, CSc.
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/plány

• Aplikovaná informatika (program FI, B-AP)
• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, B-AP)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika a druhý obor (program FI, B-BI)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-GE)
• Informatika a druhý obor (program FI, B-GK)
• Informatika a druhý obor (program FI, B-CH)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-SO)
• Informatika a druhý obor (program FI, B-TV)
• Informatika (angl.) (program FI, D-IN4)
• Informatika (program FI, B-IN)
• Informatika (program FI, D-IN4)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Teoretická 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) (2)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
• Zpracování obrazu (program FI, N-AP)

Cíle předmětu

V semináři jsou probírány klasické i soudobé publikace z aktuálních oblastí výzkumu v automatizované paralelní verifikaci a modelování complexních systémů.

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

• GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info

Metody hodnocení

Seminární výuka založená výhradně na prezentacích připravených studenty. Na začátku semestru představí učitelé několik hlavních témat současného výzkumu a zadají úvodní články. Studenti připravují a přednášejí prezentace. Postupně se přibližují k nejnovějších poznatkům s cílem poznat současný stav výzkumu a odhadnout bílá místa a důležité dosud nevyřešené problémy. Studenti mají velký prostor ovlivnit obsah semináře volbou témat a článků. Pro úspěšné ukončení předmětu musí každý student aktivně vystoupit, nebo absolvovat závěrečný test.

Informace učitele

http://www.fi.muni.cz/paradise/seminar.html

Další komentáře

Předmět je vyučován každý semestr.

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