FI:IA072 Seminar on Concurrency - Informace o předmětu

IA072 Seminar on Concurrency

Rozsah

0/2. 2 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í)
prof. RNDr. Jan Strejček, Ph.D. (přednášející)
doc. Mgr. Jan Obdržálek, PhD. (pomocník)
doc. RNDr. Vojtěch Řehák, Ph.D. (pomocník)

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
určeno zejména pro PGS; ostatní studenti mohou požádat o výjimku, zejména pokud s úspěchem absolvovali IA040 Modální a temporální logiky procesů a/nebo IA041 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 nabízen i studentům mimo mateřské obory.
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, pouze zareg. s předností (mateřské obory): 0/15

Mateřské obory/plány

• Aplikovaná informatika (program FI, N-AP)
• Bezpečnost informačních technologií (program FI, N-IN)
• Bioinformatika (program FI, N-AP)
• Informační systémy (program FI, N-IN)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Paralelní a distribuované systémy (program FI, N-IN)
• Počítačová grafika (program FI, N-IN)
• Počítačové sítě a komunikace (program FI, N-IN)
• Počítačové systémy (program FI, N-IN)
• Programovatelné technické struktury (angl.) (program FI, N-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, N-IN)
• Zpracování obrazu (program FI, N-AP)

Cíle předmětu

Hlavní cíle kurzu jsou: 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í

semináře, aktivní účast

Vyučovací jazyk

Angličtina

Informace učitele

http://is.muni.cz/elearning/warp.pl?lang=en;fakulta=1433;obdobi=4403;kod=IA072;qurl=%2Fel%2F1433%2Fjaro2009%2FIA072%2Findex.qwarp;prejit=2064280
Při dosahování výborných výsledků lze seminář zapisovat opakovaně.

Další komentáře

Studijní materiály
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/IA072