FI:IV125 Formela - Informace o předmětu

IV125 Seminář laboratoře Formela

Rozsah

0/2/0. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.

Vyučující

prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
doc. RNDr. Tomáš Brázdil, Ph.D. (přednášející)
doc. RNDr. Vojtěch Řehák, Ph.D. (přednášející)
prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
doc. Mgr. Jan Obdržálek, PhD. (přednášející)
Dr. rer. nat. Achim Blumensath (přednášející)
RNDr. Martin Jonáš, Ph.D. (cvičící)
Bodhayan Roy, Ph.D. (cvičící)

Garance

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/Log: Rozvrh nebyl do ISu vložen. A. Blumensath
IV125/Coq: Rozvrh nebyl do ISu vložen. M. Jonáš, J. Obdržálek
IV125/GrGe: Čt 12:00–13:50 C417, P. Hliněný, B. Roy
IV125/Stat: Čt 14:00–15:50 C417, T. Brázdil, V. Řehák

Předpoklady

SOUHLAS
Souhlas vyčujícího.

Omezení zápisu do předmětu

Předmět je otevřen studentům libovolného oboru.

Cíle předmětu

Absolvováním tohoto kurzu student získá hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), bude schopný samostatně načíst a prezentovat určenou odbornou látku.

Výstupy z učení

Student má hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), je schopen samostatně prezentovat určenou odbornou látku a řešit s ní související výzkumné problémy.

Osnova

• Týmové studium či týmový výzkumný projekt.
• Studenti si na začátku semestru vyberou z nabízených témat/projektů.
• Na pravidelných týdenních seminářích vybraný student (případně vyučující) vysvětluje předmětnou tématiku.
• Na určených seminářích studenti referují o svém postupu a výsledcích, je jim poskytnuta zpětná vazba.
• Na závěrečném semináři je provedeno celkové zhodnocení.

Výukové metody

Seminář zaměřený na týmové studium zadané látky, na vlastní výzkum a prezentaci výsledků. Děleno do tematicky zaměřených seminárních skupin, každé s vlastním vyučujícím.

Metody hodnocení

Studenti jsou hodnoceni za aktivitu na seminářích, za kvalitu dosažených výsledků a způsob a kvalitu jejich prezentace před svými vrstevníky.

Informace učitele

http://formela.fi.muni.cz/
Témata na každý semestr budou vyhlašována prostřednictvím web stránky https://formela.fi.muni.cz/doku.php?id=teaching, případně mohou studenti přímo kontaktovat uvedené vyučující. Pokud není předmět/seminární skupina uvedena v centrálním rozvrhu, znamená to, že čas se bude teprve domlouvat se zájemci před semestrem - čtěte dopředu předmětovou diskusi.

Další komentáře

Studijní materiály
Předmět je vyučován každý semestr.
Opakovaně lze zapisovat předmět jen v případě účasti v jiné seminární skupině (potvrdí učitel skupiny).

• Statistika zápisu (podzim 2018, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2018/IV125