Předmět Formální metody v teorii i praxi (DFOME)

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 DFOME - Formální metody v teorii i praxi, Fakulta informatiky, Masarykova univerzita (MU).

Materiál	Typ	Datum	Počet stažení

Cíl

Kurs je zaměřen na vybraná témata z oblasti formálních metod, jejichž důležitost a relevance již byla potvrzena četnými průmyslovými aplikacemi. Každé téma je prezentováno jako nezávislý výukový blok, který začíná krátkým úvodem v rozsahu 3-4 přednášek připravených lektorem. Po této úvodní části následují prezentace studentů, kteří referují o poznatcích nastudovaných v odborných článcích doporučených lektorem. Každý blok je zakončen diskusí, ve které jsou identifikována možná témata pro budoucí výzkum.Témata kurzu jsou volena především z následujících oblastí: stochastické procesy, stochastické programování a stochastické hry, metody a nástroje pro detekci chyb ve velkých programových systémech, formální modely a specifikační formalismy pro aplikace v oblasti mobilních sítí, hybridní systémy. Studium těchto pokročilých témat je doplněno krátkými kurzy vybraných partií matematiky (teorie pravděpodobnosti, diskrétní matematiky, matematické analýzy, numerických metod, atd.) zaměřených na vybudování potřebného aparátu.

Osnova

teorie pravděpodobnosti: stochastické procesy, Markovovy řetězce s diskrétním i spojitým časem, stochastické programování.temporální logiky: logiky lineárního a větvícího se času,pravděpodobnostní rozšíření, model-checkingstatická analýza: základní koncepty, analýza toku dat a toku řízení,aplikace a nástroje.teorie her: základní pojmy a výsleky teorie her, min-max věta,Nashova věta, hry ve formální verifikaci, Martinova věta, stochastickéhry

Literatura

KLEINBERG, Jon a Éva TARDOS. Algorithm design. Boston: Pearson/Addison-Wesley, 2006. xxiii, 838. ISBN 0-321-29535-8. infoPUTERMAN, Martin L. Markov decision processes :discrete stochastic dynamic programming. Hoboken, N.J.: Wiley-Interscience, 2005. xvii, 649. ISBN 0-471-72782-2. infoDAHLQUIST, Germund, Ned ANDERSON a Åke BJÖRCK. Numerical methods. Mineola, N.Y.: Dover Publications, 2003. xviii, 573. ISBN 0-486-42807-9. infoGRUMBERG, Orna, Doron PELED a Edmund M. CLARKE. Model checking. Cambridge: MIT Press, 1999. xiv, 314 s. ISBN 0-262-03270-8. infoFILAR, Jerzy A. a Koos VRIEZE. Competitive Markov decision processes :with 57 illustrations. New York: Springer, 1997. xii, 393 p. ISBN 0-387-94805-8. infoNORRIS, J. R. Markov chains. Cambridge: Cambridge University Press, 1997. xvi, 237 s. ISBN 0-521-63396-6. infoOWEN, Guillermo. Game theory. 3rd ed. San Diego: Academic Press, 1995. xii, 447 p. ISBN 0-12-531151-6. infoFELLER, William. An introduction to probability theory and its applications. 3rd ed. [New York]: John Wiley & Sons, 1968. xviii, 509. ISBN 0-471-25708-7. info

Požadavky

! NOWANY ( DEMBSY Embedded systems , DMKZI Kvantové zpracování informace , DPGZO Grafika a zpracování obrazu , DMPOS Metody počítačových sítí , DMZDD Zpracování digitálních dat , DPITS Podnikové IT systémy a služby , DZPJUI Metody ZPJ a UI , DPOSO Pokroky v souběžnosti , DRPSEC Research in comp.security )

Garant

prof. RNDr. Antonín Kučera, Ph.D.

Vyučující

doc. RNDr. Tomáš Brázdil, Ph.D.prof. RNDr. Luboš Brim, CSc.prof. RNDr. Ivana Černá, CSc.prof. RNDr. Petr Hliněný, Ph.D.prof. RNDr. Mojmír Křetínský, CSc.prof. RNDr. Antonín Kučera, Ph.D.Ing. Matej Lexa, Ph.D.doc. RNDr. Jan Strejček, Ph.D.Ing. Dana Komárková