FI:FMDSA Seminar on Formal Methods - Informace o předmětu

FMDSA Working Seminar on Formal Models, Discrete Structures, and Algorithms

Fakulta informatiky
jaro 2012

Rozsah: 1/0. 1 kr. (plus ukončení). Ukončení: z.
Vyučující: doc. RNDr. Tomáš Brázdil, Ph.D., MBA (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., MBA
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: předmět má 8 mateřských oborů, zobrazit
Anotace: 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.
Klíčová témata: The topics are focused mainly on formal models, discrete structures, and algorithms.
Přístupy, postupy a metody používané ve výuce: Lectures delivered by recognized experts in their fields.
Způsob ověření výstupů z učení a požadavky na ukončení: 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.