Předmět Matematické základy informatiky (IB000)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IB000 - Matematické základy informatiky, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
V tomto předmětu se posluchači seznamí se základními matematickýmikonstrukcemi 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; 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.
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.Důkazové techniky, matematická indukce.Množiny, relace a funkce.Binární relace, ekvivalence.Uspořádané množiny, uzávěry.Vlastnosti funkcí a skládání relací.Pojem grafu, základy, souvislost, stromy.Procházení grafu, vzdálenost, kostry.Orientované grafy, toky v sítích.Důkazové postupy pro algoritmy, indukce.Pokročilé důkazové postupy pro algoritmy.Nekonečné množiny a zastavení algoritmu.
Literatura
doporučená literaturaHLINĚNÝ, Petr . Úvod do informatiky. Elportál, Brno: Masarykova univerzita, 2010. ISSN 1802-128X. URL infoMATOUŠEK, Jiří a Jaroslav NEŠETŘIL. Kapitoly z diskrétní matematiky. 3., upr. a dopl. vyd. V Praze: Karolinum, 2007. 423 s. ISBN 978-80-246-1411-3. info
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
prof. RNDr. Petr Hliněný, Ph.D.Mgr. Jan Obdržálek, PhD.RNDr. Jakub GajarskýMgr. Marek DerňárBc. Jaroslav ČechákBc. Martin LaštovičkaRichard TrembeckýMgr. Lukáš MásilkoBc. Jana BaranováMatúš HlaváčikMikuláš KlokočkaMichal KorbelaJakub LédlTomáš NovotnýMichal RománekOndřej LomičFilip Opálený