IB000 Matematické základy informatiky

Fakulta informatiky
podzim 2021
Rozsah
2/2/1. 4 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
Vyučováno prezenčně.
Vyučující
prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
RNDr. Nikola Beneš, Ph.D. (cvičící)
RNDr. Jaroslav Čechák (cvičící)
Mgr. Tomáš Foltýnek, Ph.D. (cvičící)
RNDr. David Klaška (cvičící)
doc. RNDr. Martin Maška, Ph.D. (cvičící)
doc. RNDr. Pavel Matula, Ph.D. (cvičící)
Mgr. Markéta Naušová (cvičící)
doc. RNDr. Petr Novotný, Ph.D. (cvičící)
doc. Mgr. Jan Obdržálek, PhD. (cvičící)
Bc. Matěj Pavlík (cvičící)
RNDr. Kristýna Pekárková (cvičící)
RNDr. Filip Pokrývka (cvičící)
Mgr. Bc. Roman Solař (cvičící)
doc. RNDr. David Svoboda, Ph.D. (cvičící)
Bc. Adéla Štěpková (cvičící)
Mgr. Matouš Trnka (cvičící)
Mgr. Jakub Balabán (pomocník)
Bc. Ondřej Darmovzal (pomocník)
Martin Krebs (pomocník)
RNDr. Vojtěch Suchánek (pomocník)
Bc. Adam Štafa (pomocník)
Mgr. Anh Minh Tran (pomocník)
Bc. Anna Vítová (pomocník)
Bc. Róbert Zvara (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
Po 13. 9. až Po 6. 12. Po 8:00–9:50 D1
  • Rozvrh seminárních/paralelních skupin:
IB000/01: Po 13. 9. až Po 6. 12. Po 10:00–11:50 A318, N. Beneš
IB000/02: Po 13. 9. až Po 6. 12. Po 10:00–11:50 C416, R. Solař
IB000/03: Po 13. 9. až Po 6. 12. Po 12:00–13:50 A217, M. Trnka
IB000/04: Út 14. 9. až Út 7. 12. Út 8:00–9:50 B410, P. Matula
IB000/05: Út 14. 9. až Út 7. 12. Út 8:00–9:50 A319, M. Maška
IB000/06: Út 14. 9. až Út 7. 12. Út 10:00–11:50 A319, M. Maška
IB000/07: Út 14. 9. až Út 7. 12. Út 10:00–11:50 C416, J. Čechák
IB000/08: Út 14. 9. až Út 7. 12. Út 14:00–15:50 A319, J. Čechák
IB000/09: Út 14. 9. až Út 7. 12. Út 14:00–15:50 B411, K. Pekárková
IB000/10: Út 14. 9. až Út 7. 12. Út 14:00–15:50 A217, M. Naušová
IB000/11: Út 14. 9. až Út 7. 12. Út 16:00–17:50 B411, K. Pekárková
IB000/12: St 15. 9. až St 8. 12. St 8:00–9:50 C416, M. Naušová
IB000/13: St 15. 9. až St 8. 12. St 8:00–9:50 B411, A. Štěpková
IB000/14: St 15. 9. až St 8. 12. St 10:00–11:50 C416, F. Pokrývka
IB000/15: St 15. 9. až St 8. 12. St 12:00–13:50 C416, F. Pokrývka
IB000/16: St 15. 9. až St 8. 12. St 14:00–15:50 A217, P. Novotný
IB000/17: Čt 16. 9. až Čt 9. 12. Čt 8:00–9:50 A218, J. Obdržálek
IB000/18: Čt 16. 9. až Čt 9. 12. Čt 8:00–9:50 B410, D. Svoboda
IB000/19: Čt 16. 9. až Čt 9. 12. Čt 10:00–11:50 A217, J. Obdržálek
IB000/20: Čt 16. 9. až Čt 9. 12. Čt 16:00–17:50 A320, T. Foltýnek
IB000/21: Čt 16. 9. až Čt 9. 12. Čt 18:00–19:50 A320, T. Foltýnek
IB000/22: Pá 17. 9. až Pá 10. 12. Pá 8:00–9:50 B204, D. Svoboda
IB000/23: Pá 17. 9. až Pá 10. 12. Pá 8:00–9:50 A218, P. Hliněný
IB000/24: Pá 17. 9. až Pá 10. 12. Pá 10:00–11:50 A218, P. Hliněný
IB000/25: Pá 17. 9. až Pá 10. 12. Pá 10:00–11:50 A318, M. Pavlík
IB000/26: Pá 17. 9. až Pá 10. 12. Pá 12:00–13:50 A318, M. Pavlík
IB000/AA: Pá 17. 9. až Pá 10. 12. Pá 10:00–11:50 C416, D. Klaška
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
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í či algoritmy 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í či algoritmy 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.
  • 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, isomorfismus, souvislost, stromy.
  • Grafová vzdálenost, kostry. Orientované grafy.
  • Důkazové postupy pro algoritmy.
  • Nekonečné množiny a zastavení algoritmu.
Literatura
    doporučená literatura
  • HLINĚNÝ, Petr. Úvod do informatiky. Online. Elportál. Brno: Masarykova univerzita, 2010. ISSN 1802-128X. [citováno 2024-04-24] URL info
  • MATOUŠEK, Jiří a Jaroslav NEŠETŘIL. Kapitoly z diskrétní matematiky. Online. 3., upr. a dopl. vyd. V Praze: Karolinum, 2007. 423 s. ISBN 9788024614113. [citováno 2024-04-24] 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é a následné volitelné písemné zkoušky.
Výsledek semestrálního hodnocení je dán součtem určeného počtu nejlepších z několika průběžných semestrálních testů a případného bonusu za řešení doplňkových dobrovolných úkolů, přesné podmínky viz IS osnova. Následuje "počítačová" písemná zkouška, jejíž výsledek v součtu se semestrálním hodnocením určí úspěch u zkoušky, a poté ještě nepovinná klasická písemná zkouška, jejímž výsledkem si studenti mohou vylepšit celkové hodnocení v případě úspěchu. Všechny tři části (semestrální, počítačová i písemná) mají téměř stejnou váhu ve výsledném hodnocení, přesné podmínky opět viz IS osnova.
Informace učitele
http://is.muni.cz/el/1433/podzim2021/IB000/index.qwarp
Studenti jsou povinni pravidelně číst aktuality na tematickém fóru aktualit předmětu: "https://is.muni.cz/auth/df/aktuib000/". Hlavním interaktivním zdrojem učiva, informací a procvičení je osnova předmětu v IS: "http://is.muni.cz/el/1433/podzim20**/IB000/index.qwarp", určitě ji využívejte.
Další komentáře
Studijní materiály
Poznámka k ukončení předmětu: Pozor, ukončení zápočtem lze volit pouze ve výjimečných případech, kdy to umožňuje váš studijní program.
Předmět je vyučován každoročně.
Nachází se v prerekvizitách jiných předmětů
Předmět je zařazen také v obdobích podzim 2002, podzim 2003, podzim 2004, podzim 2005, jaro 2006, podzim 2006, podzim 2007, jaro 2008, podzim 2008, podzim 2009, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019, podzim 2020, podzim 2022, podzim 2023.