FI:I010 Komunikace a paralelismus - Informace o předmětu

I010 Komunikace a paralelismus

Rozsah

3/0. 3 kr. Doporučované ukončení: zk. Jiná možná ukončení: k, z.

Vyučující

prof. RNDr. Luboš Brim, CSc. (přednášející)

Garance

Kontaktní osoba: prof. RNDr. Luboš Brim, CSc.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

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

• Úvod, modelování komunikace, příklady komunikujících systémů.
• Jazyk CCS. Synchronizace, akce a přechody, vnitřní komunikace, sémantika.
• CCS s předáváním hodnot, překlad to čistého CCS.
• Rovnostní zákony a jejich aplikace. Klasifikace kombinátorů a zákonů, dynamické zákony, expanzní věta, statické zákony.
• Bisimulace a ekvivalence. Silná bisimulace a její vlastnosti, slabá bisimulace a její vlastnosti, slabá kongruence, rekurzívní definice, dokazování správnosti komunikujících systémů.
• Specifikace a logika. Logiky procesů, temporální logiky, vyjadřování vlastností procesů a jejich důkaz.
• Časové vlastnosti procesů. Rozšíření jazyka, operátory přerušení, analýza časových vlastností.

• Statistika zápisu (zima 1996, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/zima1996/I010