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

• Analýza a zpracování obrazu (program FI, N-VIZ)
• Bioinformatika a systémová biologie (program FI, N-UIZD)
• Computer Games Development (program FI, N-VIZ_A)
• Computer Graphics and Visualisation (program FI, N-VIZ_A)
• Computer Networks and Communications (program FI, N-PSKB_A)
• Cybersecurity Management (program FI, N-RSSS_A)
• Formální analýza počítačových systémů (program FI, N-TEI)
• Grafický design (program FI, N-VIZ)
• Graphic Design (program FI, N-VIZ_A)
• Hardware Systems (program FI, N-PSKB_A)
• Hardwarové systémy (program FI, N-PSKB)
• Image Processing and Analysis (program FI, N-VIZ_A)
• Informační bezpečnost (program FI, N-PSKB)
• Informatika (program FI, B-INF) (2)
• Informatika ve vzdělávání (program FI, B-IVV) (2)
• Information Security (program FI, N-PSKB_A)
• Kvantové a jiné neklasické výpočetní modely (program FI, N-TEI)
• Počítačová grafika a vizualizace (program FI, N-VIZ)
• Počítačové sítě a komunikace (program FI, N-PSKB)
• Principy programovacích jazyků (program FI, N-TEI)
• Programování a vývoj aplikací (program FI, B-PVA)
• Řízení kyberbezpečnosti (program FI, N-RSSS)
• Řízení vývoje služeb (program FI, N-RSSS)
• Řízení vývoje softwarových systémů (program FI, N-RSSS)
• Services Development Management (program FI, N-RSSS_A)
• Software Systems Development Management (program FI, N-RSSS_A)
• Software Systems (program FI, N-PSKB_A)
• Softwarové systémy (program FI, N-PSKB)
• Strojové učení a umělá inteligence (program FI, N-UIZD)
• Učitel informatiky a správce sítě (program FI, N-UCI)
• Učitelství informatiky pro střední školy (program FI, N-UCI) (2)
• Vývoj počítačových her (program FI, N-VIZ)
• Zpracování a analýza rozsáhlých dat (program FI, N-UIZD)
• Zpracování přirozeného jazyka (program FI, N-UIZD)

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 2023, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/podzim2023/IV125