FI:IB000 Mat. základy informatiky - Informace o předmětu
IB000 Matematické základy informatiky
Fakulta informatikypodzim 2024
- Rozsah
- 2/2/1. 4 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
Mgr. Jakub Balabán (cvičící)
RNDr. Nikola Beneš, Ph.D. (cvičící)
Filip Blažek (cvičící)
Bc. Samuel Čepela (cvičící)
Bc. Roman Dvořák (cvičící)
Mgr. Tomáš Foltýnek, Ph.D. (cvičící)
Adéla Heroudková (cvičící)
Bc. László Iván (cvičící)
Mgr. Jan Jedelský (cvičící)
RNDr. Martin Jonáš, Ph.D. (cvičící)
Bc. Tomáš Jusko (cvičící)
Karolína Kovácsová (cvičící)
Bc. Filip Kučerák (cvičící)
Marek Lukášík (cvičící)
doc. RNDr. Martin Maška, Ph.D. (cvičící)
doc. RNDr. Pavel Matula, Ph.D. (cvičící)
RNDr. Vít Musil, Ph.D. (cvičící)
doc. RNDr. Petr Novotný, Ph.D. (cvičící)
doc. Mgr. Jan Obdržálek, PhD. (cvičící)
Bc. Tai Phat Pham (cvičící)
Bc. Dávid Smolka (cvičící)
Bc. Adam Straka (cvičící)
doc. RNDr. David Svoboda, Ph.D. (cvičící)
Bc. Adéla Štěpková (cvičící)
Bc. Vojtěch Turland (cvičící)
Bc. Lukáš Bátora (pomocník)
Bc. Tereza Kinská (pomocník)
Bc. Matěj Pavlík (pomocník)
Bc. Jindřich Sedláček (pomocník)
Pavol Trnavský (pomocník)
Bc. Anna Vítová (pomocník) - Garance
- prof. RNDr. Petr Hliněný, Ph.D.
Katedra teorie programování – Fakulta informatiky
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 18. 9. až St 11. 12. St 8:00–9:50 D1, St 8:00–9:50 D2, St 8:00–9:50 D3
- Rozvrh seminárních/paralelních skupin:
IB000/01: Čt 26. 9. až Čt 19. 12. Čt 8:00–9:50 A218, J. Obdržálek
IB000/02: Čt 26. 9. až Čt 19. 12. Čt 10:00–11:50 A218, J. Obdržálek
IB000/03: Pá 27. 9. až Pá 20. 12. Pá 8:00–9:50 C416, T. Foltýnek
IB000/04: Po 23. 9. až Po 16. 12. Po 8:00–9:50 C416, M. Maška
IB000/05: Po 23. 9. až Po 16. 12. Po 10:00–11:50 C416, M. Maška
IB000/06: Po 23. 9. až Po 16. 12. Po 12:00–13:50 A218, V. Musil
IB000/07: Po 23. 9. až Po 16. 12. Po 14:00–15:50 A217, V. Musil
IB000/08: Po 23. 9. až Po 16. 12. Po 8:00–9:50 A320, D. Svoboda
IB000/09: Út 24. 9. až Út 17. 12. Út 10:00–11:50 B204, P. Novotný
IB000/10: Pá 27. 9. až Pá 20. 12. Pá 8:00–9:50 B410, P. Hliněný
IB000/11: Út 24. 9. až Út 17. 12. Út 8:00–9:50 B410, P. Hliněný
IB000/12: St 25. 9. až St 18. 12. St 10:00–11:50 C416, P. Matula
IB000/13: Út 24. 9. až Út 17. 12. Út 14:00–15:50 B204, S. Čepela
IB000/14: Pá 27. 9. až Pá 20. 12. Pá 12:00–13:50 C416, J. Jedelský
IB000/15: Út 24. 9. až Út 17. 12. Út 8:00–9:50 C416, T. Jusko
IB000/16: Po 23. 9. až Po 16. 12. Po 16:00–17:50 B204, N. Beneš
IB000/17: Čt 26. 9. až Čt 19. 12. Čt 12:00–13:50 B410, M. Jonáš
IB000/18: Po 23. 9. až Po 16. 12. Po 12:00–13:50 A320, A. Štěpková
IB000/19: Čt 26. 9. až Čt 19. 12. Čt 10:00–11:50 B410, V. Turland
IB000/20: Pá 27. 9. až Pá 20. 12. Pá 10:00–11:50 C416, M. Lukášík
IB000/21: Út 24. 9. až Út 17. 12. Út 14:00–15:50 C416, F. Blažek
IB000/22: Út 24. 9. až Út 17. 12. Út 16:00–17:50 C416, F. Blažek
IB000/23: St 25. 9. až St 18. 12. St 12:00–13:50 A218, R. Dvořák
IB000/24: Pá 27. 9. až Pá 20. 12. Pá 10:00–11:50 B410, A. Heroudková
IB000/25: Út 24. 9. až Út 17. 12. Út 10:00–11:50 A319, F. Kučerák
IB000/26: Čt 26. 9. až Čt 19. 12. Čt 8:00–9:50 B410, L. Iván
IB000/27: Po 23. 9. až Po 16. 12. Po 10:00–11:50 B204, T. Pham
IB000/28: Čt 26. 9. až Čt 19. 12. Čt 16:00–17:50 C416, D. Smolka
IB000/29: St 25. 9. až St 18. 12. St 18:00–19:50 B410, A. Straka - Předpoklady
- !( IB000ext Mat. základy informatiky || NOW ( IB000ext Mat. základy informatiky ))
Předmět je určen primárně studentům bakalářských studijních programů Fakluty informatiky. Studenti, kteří mají Informatiku jako vedlejší obor, si zapisují předmět IB000ext. - 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á 39 mateřských oborů, zobrazit
- Cíle předmětu
- V tomto předmětu se posluchači seznámí se základními matematickými konstrukcemi potřebnými pro studium informatiky. Vytváří se tím pojmový a formální základ pro řadu dalších předmětů, které patří k základní teoretické výbavě informatiků. Úspěšný absolvent kurzu bude: znát základní matematické pojmy; schopný porozumět logické struktuře matematické věty a matematického důkazu, speciálně matematické indukci; ovládat diskrétní matematické struktury jako konečné množiny, relace, funkce a grafy, včetně jejich používání v informatice; umět přesně formulovat vlastní tvrzení a jejich důkazy; aplikovat získané formální nástroje v dalším studiu informatiky i následné praxi.
- Výstupy z učení
- Po ukončení tohoto předmětu bude student schopen: porozumět logické struktuře matematické věty a matematického důkazu, ovládat a vysvětlit základní diskrétní matematické struktury, umět přesně formulovat vlastní tvrzení a jejich důkazy.
- Osnova
- Úvod do matematických konstrukcí relevantních ke studiu algoritmů a ostatních informatických pojmů jako matematických objektů:
- Základní formalismy - věta, důkaz a výroková logika.
- Úvod do predikátové logiky, kvantifikátory.
- Množiny, relace a funkce.
- Důkazové techniky, matematická indukce.
- Rekurze a strukturální indukce.
- Binární relace, uzávěry, tranzitivita.
- Ekvivalence a uspořádané množiny.
- Skládání relací a funkcí.
- Pojem grafu, podrafy, isomorfismus, orientované grafy.
- Grafová souvislost a vzdálenost, stromy, kostry.
- Nekonečné množiny a zastavení algoritmu.
- Literatura
- HLINĚNÝ, Petr. Úvod do informatiky. Elportál. Brno: Masarykova univerzita, 2010. ISSN 1802-128X. URL info
- MATOUŠEK, Jiří a Jaroslav NEŠETŘIL. Kapitoly z diskrétní matematiky. 3., upr. a dopl. vyd. V Praze: Karolinum, 2007, 423 s. ISBN 9788024614113. info
- Výukové metody
- Předmět má každý týden přednášky doplněné povinnými učebnovými cvičeními a navíc samostatná domácí procvičení a testy prostřednictvím online odpovědníků v IS MU. Veškeré výukové materiály a studijní agenda jsou soustředěny v předmětové osnově IS.
- Metody hodnocení
- Požadavkem k úspěšnému vykonání zkoušky je teoretické i praktické zvládnutí látky v rozsahu probraném na přednášce a obsaženém ve výukovém textu (osnově). Celkové hodnocení předmětu se skládá ze semestrálního hodnocení (požaduje se z něj minimální bodový zisk a odráží i účast na cvičeních), počítačové zkoušky (opět požadován minimální bodový zisk) a následné volitelné písemné zkoušky.
- Informace učitele
- http://is.muni.cz/el/1433/podzim2024/IB000/index.qwarp
Studenti jsou povinni pravidelně číst aktuality na tematickém fóru aktualit předmětu: "https://is.muni.cz/auth/df/aktuMZI/". Hlavním interaktivním zdrojem učiva, informací a procvičení je osnova předmětu v IS, určitě ji využívejte. - Další komentáře
- Studijní materiály
Předmět je vyučován každoročně. - Nachází se v prerekvizitách jiných předmětů
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2024/IB000