FI:FMDSA Seminar on Formal Methods - Informace o předmětu
FMDSA Working Seminar on Formal Models, Discrete Structures, and Algorithms
Fakulta informatikyjaro 2018
- Rozsah
- 1/0. 1 kr. (plus ukončení). Ukončení: z.
- Vyučující
- doc. RNDr. Tomáš Brázdil, Ph.D. (přednášející)
prof. RNDr. Antonín Kučera, Ph.D. (přednášející) - Garance
- prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Tomáš Brázdil, Ph.D.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - 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 (angl.) (program FI, D-IN4) (2)
- Informatika (program FI, D-IN4) (2)
- Počítačové systémy a technologie (angl.) (program FI, D-IN4) (2)
- Počítačové systémy a technologie (program FI, D-IN4) (2)
- Cíle předmětu
- This seminar series provides a forum for visiting scientists to present their work in progress and to develop new ideas in cooperation with their colleagues at FI MU. The emphasis is on emerging topics, recent results, and open problems. The participating students have a unique opportunity to discuss and initiate new directions in their research work.
- Osnova
- The topics are focused mainly on formal models, discrete structures, and algorithms.
- Výukové metody
- Lectures delivered by recognized experts in their fields.
- Metody hodnocení
- Active participation in talks and the follow-up dicusssions.
- Vyučovací jazyk
- Angličtina
- Další komentáře
- Předmět je vyučován každý semestr.
Výuka probíhá každý týden.
- Statistika zápisu (jaro 2018, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2018/FMDSA