FI:I010 Komunikace a paralelismus - Informace o předmětu
I010 Komunikace a paralelismus
Fakulta informatikyzima 1995
- Rozsah
- 0/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 1995, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/zima1995/I010