Předmět Úvod do Event-B (KI / 0175)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KI / 0175 - Úvod do Event-B, Přírodovědecká fakulta, Univerzita Jana Evangelisty Purkyně v Ústí nad Labem (UJEP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
1 Základní informace ke studiu předmětu, podmínky, pravidla. Historie předmětu a základní pojmy.2 Vybrané partie s teorie množin a výrokové logiky.3 Formální metody Event-B.4 Vysvětlení metodiky na příkladu řízení aut na mostě.5 Matematický zápis modelu řízení aut na mostě a jeho řešení.6 Analýza příkladu na regulátor mechanického lisu.7 Matematický zápis modelu regulátoru mechanického lisu a jeho řešení.8 Jednoduchý protokol pro přenos souborů.9 Formální zápis modelů Event-B a povinná důkazová pravidla.10 Ohraničený přenosový protokol.11 Matematický jazyk Event-B.12 Synchronizace stromové sítě.13 Vývoj sekvenčního programu
Získané způsobilosti
Zvládnutí základů teorie a schopnost aplikace na jednoduché praktické úlohy.
Požadavky
75% aktivní účast na cvičeních + vypracování seminární práce a její obhajoba
Garant
Ing. Mgr. Jiří Barilla, CSc.
Vyučující
Ing. Mgr. Jiří Barilla, CSc.