Informace o předmětu

IV125 Formela lab seminar

Rozsah

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

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í)
Dr. rer. nat. Achim Blumensath (přednášející)
doc. Mgr. Jan Obdržálek, PhD. (přednášející)
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
RNDr. Martin Jonáš, Ph.D. (přednášející)
RNDr. Vít Musil, Ph.D. (přednášející)
RNDr. David Klaška (pomocník)
Anselm Paulus (přednášející)

Garance

prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/AdvancedRL: Po 30. 9. až Po 16. 12. Po 10:00–11:40 C325, P. Novotný
IV125/Logic: Rozvrh nebyl do ISu vložen. A. Blumensath

Předpoklady

SOUHLAS
Souhlas vyčujícího.

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á 36 mateřských oborů, zobrazit

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.

Vyučovací jazyk

Angličtina

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).

IV125 Formela lab seminar

Rozsah

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

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. Antonín Kučera, Ph.D. (přednášející)
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
doc. Mgr. Jan Obdržálek, PhD. (přednášející)
doc. RNDr. Vojtěch Řehák, Ph.D. (přednášející)
RNDr. David Klaška (cvičící)

Garance

Dr. rer. nat. Achim Blumensath
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Předpoklady

SOUHLAS
Souhlas vyčujícího.

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á 38 mateřských oborů, zobrazit

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.

Vyučovací jazyk

Angličtina

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

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

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í

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

Garance

Dr. rer. nat. Achim Blumensath
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/RL: Čt 10:00–11:50 C417, P. Novotný

Předpoklady

SOUHLAS
Souhlas vyčujícího.

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á 38 mateřských oborů, zobrazit

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

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).

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í)
Dr. rer. nat. Achim Blumensath (přednášející)
doc. Mgr. Jan Obdržálek, PhD. (přednášející)
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
RNDr. Martin Jonáš, Ph.D. (přednášející)
RNDr. Vít Musil, Ph.D. (přednášející)
RNDr. David Klaška (pomocník)

Garance

prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/Coq: Čt 18:00–19:50 C417, M. Jonáš
IV125/Llama: Čt 12:00–13:50 C417, T. Brázdil, V. Musil, P. Novotný
IV125/Logic: St 29. 11. 12:00–16:00 C417, A. Blumensath
IV125/Rosenthal2: Čt 12:00–13:50 C525, kromě Čt 2. 11., D. Klaška, V. Řehák

Předpoklady

SOUHLAS
Souhlas vyčujícího.

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á 37 mateřských oborů, zobrazit

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).

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í

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

Garance

Dr. rer. nat. Achim Blumensath
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/Log: Pá 17. 2. až Pá 12. 5. Pá 14:00–15:50 C417, A. Blumensath
IV125/Optimization: Út 14. 2. až Út 9. 5. Út 12:00–13:50 C417, T. Brázdil, V. Řehák
IV125/Rosenthal: Út 14. 2. až Út 9. 5. Út 14:00–15:50 C417, D. Klaška, A. Kučera, V. Řehák

Předpoklady

SOUHLAS
Souhlas vyčujícího.

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á 38 mateřských oborů, zobrazit

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).

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í)
Dr. rer. nat. Achim Blumensath (přednášející)
doc. Mgr. Jan Obdržálek, PhD. (přednášející)
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
RNDr. David Klaška (pomocník)

Garance

prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/Log: Pá 14:00–15:50 C417, A. Blumensath
IV125/Cover: Čt 10:00–11:50 C417, T. Brázdil, V. Řehák
IV125/STFACSF: Čt 12:00–13:50 C417, T. Brázdil, P. Novotný

Předpoklady

SOUHLAS
Souhlas vyčujícího.

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á 37 mateřských oborů, zobrazit

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).

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í

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

Garance

Dr. rer. nat. Achim Blumensath
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/category_theory: Rozvrh nebyl do ISu vložen. J. Obdržálek
IV125/high_entropy: Pá 18. 2. až Pá 13. 5. Pá 12:00–13:50 C417, T. Brázdil, P. Novotný, V. Řehák

Předpoklady

SOUHLAS
Souhlas vyčujícího.

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á 37 mateřských oborů, zobrazit

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).

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í)
doc. Mgr. Jan Obdržálek, PhD. (přednášející)
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
Dr. rer. nat. Achim Blumensath (přednášející)
Mgr. Adam Kabela, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
RNDr. Bc. Dominik Velan, Ph.D. (pomocník)

Garance

prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/Fourier: Čt 16. 9. až Čt 9. 12. Č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 nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 37 mateřských oborů, zobrazit

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).

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í

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í)
doc. RNDr. Vojtěch Řehák, Ph.D. (přednášející)

Garance

Dr. rer. nat. Achim Blumensath
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/GrGeom: Rozvrh nebyl do ISu vložen. P. Hliněný
IV125/ReinfLearn: Po 8:00–9:50 Virtuální místnost, 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 nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 37 mateřských oborů, zobrazit

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).

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í)
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
Dr. rer. nat. Achim Blumensath (přednášející)
Mgr. Adam Kabela, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
RNDr. Bc. Dominik Velan, Ph.D. (pomocník)

Garance

prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/GrGeom: Rozvrh nebyl do ISu vložen. P. Hliněný
IV125/ReinfLearn: Rozvrh nebyl do ISu vložen. 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 nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 37 mateřských oborů, zobrazit

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).

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í

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í)
doc. RNDr. Vojtěch Řehák, Ph.D. (přednášející)

Garance

Dr. rer. nat. Achim Blumensath
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/GrGeom: Po 17. 2. až Pá 15. 5. Út 10:00–11:50 C417, P. Hliněný
IV125/Log: Po 17. 2. až Pá 15. 5. Po 10:00–11:50 C417, A. Blumensath
IV125/ReinfLearn: Po 17. 2. až Pá 15. 5. St 8:00–9:50 C417, T. Brázdil, V. Řehák
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 nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 37 mateřských oborů, zobrazit

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).

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í)
doc. RNDr. Petr Novotný, Ph.D. (přednášející)
Dr. rer. nat. Achim Blumensath (přednášející)
Mgr. Adam Kabela, Ph.D. (pomocník)
RNDr. David Klaška (pomocník)
RNDr. Bc. Dominik Velan, Ph.D. (pomocník)

Garance

prof. RNDr. Antonín Kučera, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky

Rozvrh seminárních/paralelních skupin

IV125/GrGeom: St 10:00–11:50 C417, P. Hliněný, A. Kabela
IV125/Log: Rozvrh nebyl do ISu vložen. A. Blumensath
IV125/Prob: St 14:00–15:50 C417, T. Brázdil, D. Klaška, P. Novotný, D. Velan
IV125/ReinfLearn: Rozvrh nebyl do ISu vložen. T. Brázdil, P. Novotný
IV125/Stat: Po 9:00–10: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 nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 37 mateřských oborů, zobrazit

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).

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í

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í)
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/GrGeom: St 10:00–11:50 C417, P. Hliněný
IV125/Log: Po 16:00–17:50 C417, A. Blumensath
IV125/Stat: Út 19. 2. až Út 14. 5. Út 8:00–9: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).

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).

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í

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).

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í)

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/ReinfLearn: Pá 10:00–11:50 C417, T. Brázdil, V. Řehák
IV125/Log: Rozvrh nebyl do ISu vložen. A. Blumensath

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).

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í

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í)
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/Deep_learning: Pá 10:00–11:50 C417, T. Brázdil
IV125/Graph_Log: Čt 8:00–9:50 C417, P. Hliněný, J. Obdržálek
IV125/Logic: Út 8:00–9:50 C417, A. Blumensath

Předpoklady

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

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ě 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 vyučující (případně vybraný student) 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).

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í)

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/Cont_Time_MC: Út 12:00–13:50 C417, A. Kučera, V. Řehák
IV125/Deep_learning: St 8:00–9:50 C417, T. Brázdil
IV125/Geometry: Pá 12:00–13:50 C417, P. Hliněný
IV125/Mixing_in_MC: Út 9:30–11:20 C417, T. Brázdil, V. Řehák

Předpoklady

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

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ě 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 vyučující (případně vybraný student) 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).

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í

Dr. rer. nat. Achim Blumensath (cvičící)
doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
prof. RNDr. Petr Hliněný, Ph.D. (cvičící)
prof. RNDr. Antonín Kučera, Ph.D. (cvičící)
doc. Mgr. Jan Obdržálek, PhD. (cvičící)
doc. RNDr. Vojtěch Řehák, 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/Graphs: Út 12:00–13:50 C417, P. Hliněný
IV125/MarkovChains: St 14:00–15:50 C417, T. Brázdil, A. Kučera, V. Řehák
IV125/Measure: Út 14:00–15:50 C417, T. Brázdil, V. Řehák
IV125/ModelTh: Rozvrh nebyl do ISu vložen. A. Blumensath

Předpoklady

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

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ě 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 vyučující (případně vybraný student) 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).

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í)

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/Measure_theory: Po 10:00–11:50 C417, T. Brázdil, A. Kučera, V. Řehák
IV125/POMDP: St 14:00–15:50 C417, T. Brázdil, A. Kučera, V. Řehák

Předpoklady

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

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ě 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 vyučující (případně vybraný student) 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).

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í

doc. RNDr. Tomáš Brázdil, Ph.D. (cvičící)
prof. RNDr. Petr Hliněný, Ph.D. (cvičící)
prof. RNDr. Antonín Kučera, Ph.D. (cvičící)
doc. Mgr. Jan Obdržálek, PhD. (cvičící)
doc. RNDr. Vojtěch Řehák, 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/Inf_state_games: Po 10:00–11:50 C417, T. Brázdil, A. Kučera, V. Řehák
IV125/Graphs: Pá 10:00–11:50 C417, P. Hliněný, J. Obdržálek
IV125/Measure_theory: St 14:00–15:50 C417, T. Brázdil, V. Řehák

Předpoklady

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

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ě 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 vyučující (případně vybraný student) 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).

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. (cvičící)
doc. RNDr. Vojtěch Řehák, 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/Graphical_models: Po 13:00–14:50 C417, T. Brázdil, V. Řehák
IV125/Queues: Po 15:00–16:50 C417, V. Řehák
IV125/Patrolling_games: St 8:00–9:50 C417, T. Brázdil, A. Kučera, V. Řehák

Předpoklady

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

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ě 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 vyučující (případně vybraný student) 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 2024, nejnovější)