IV125 Seminář laboratoře Formela

Fakulta informatiky
jaro 2018
Rozsah
0/2/0. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.
Vyučující
Dr. rer. nat. Achim Blumensath (přednášející)
doc. RNDr. Tomáš Brázdil, Ph.D. (přednášející)
prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
doc. Mgr. Jan Obdržálek, PhD. (přednášející)
Bodhayan Roy, Ph.D. (přednášející)
doc. RNDr. Vojtěch Řehák, Ph.D. (přednášejí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: Pá 13:00–14:50 C417, J. Obdržálek
IV125/GeomGr: Pá 12:00–13:50 C416, P. Hliněný, B. Roy
IV125/LearnMDP: Čt 10:00–11: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).
Předmět je zařazen také v obdobích podzim 2014, jaro 2015, podzim 2015, jaro 2016, podzim 2016, jaro 2017, podzim 2017, podzim 2018, jaro 2019, podzim 2019, jaro 2020, podzim 2020, jaro 2021, podzim 2021, jaro 2022, podzim 2022, jaro 2023, podzim 2023, jaro 2024, podzim 2024, jaro 2025.