FI:DFOME Formal Methods - Course Information
DFOME Formal Methods in Theory and Practice
Faculty of InformaticsSpring 2009
- Extent and Intensity
- 3/0. 3 credit(s). Type of Completion: z (credit).
- Teacher(s)
- prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
Ing. Dana Komárková (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer) - Guaranteed by
- prof. RNDr. Antonín Kučera, Ph.D.
Faculty of Informatics - Course Enrolment Limitations
- The course is only offered to the students of the study fields the course is directly associated with.
- fields of study / plans the course is directly associated with
- Informatics (eng.) (programme FI, D-IN)
- Informatics (eng.) (programme FI, D-IN4) (2)
- Informatics (programme FI, D-IN)
- Informatics (programme FI, D-IN4) (2)
- Course objectives (in Czech)
- 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.
- Literature
- KLEINBERG, Jon and Éva TARDOS. Algorithm design. Boston: Pearson/Addison-Wesley, 2006, xxiii, 838. ISBN 0321295358. info
- PUTERMAN, Martin L. Markov decision processes : discrete stochastic dynamic programming. Hoboken, N.J.: Wiley-Interscience, 2005, xvii, 649. ISBN 0471727822. info
- DAHLQUIST, Germund, Ned ANDERSON and Åke BJÖRCK. Numerical methods. Mineola, N.Y.: Dover Publications, 2003, xviii, 573. ISBN 0486428079. info
- GRUMBERG, Orna, Doron A. PELED and E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
- FILAR, Jerzy A. and Koos VRIEZE. Competitive Markov decision processes : with 57 illustrations. New York: Springer, 1997, xii, 393. ISBN 0387948058. info
- NORRIS, J. R. Markov chains. 1st pub. Cambridge: Cambridge University Press, 1997, xvi, 237. ISBN 9780521481816. info
- OWEN, Guillermo. Game theory. 3rd ed. San Diego: Academic Press, 1995, xii, 447. ISBN 0125311516. info
- FELLER, William. An introduction to probability theory and its applications. 3rd ed. [New York]: John Wiley & Sons, 1968, xviii, 509. ISBN 9780471257080. info
- Assessment methods (in Czech)
- Povinně volitelný předmět, ohodnocený 3 kredity, předmět lze opakovaně zapisovat.
- Language of instruction
- Czech
- Enrolment Statistics (Spring 2009, recent)
- Permalink: https://is.muni.cz/course/fi/spring2009/DFOME