T2_IB000 Matematické základy informatiky

Celouniverzitní studia
jaro 2013
Rozsah
0/4. 0 kr. Ukončení: -.
Vyučující
prof. RNDr. Petr Hliněný, Ph.D. (přednášející)
Mgr. Lukáš Másilko (cvičící)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: Mgr. Lukáš Másilko
Dodavatelské pracoviště: Středisko pro pomoc studentům se specifickými nároky
Rozvrh seminárních/paralelních skupin
T2_IB000/T01: Út 14:00–15:55 Učebna S4 (35a), Čt 14:00–15:55 Učebna S4 (35a), L. Másilko
Předpoklady
SOUHLAS
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Jiné omezení: Předmět je určen pouze studentům se specifickými nároky. Slouží k evidenci individuální výuky.
Mateřské obory/plány
předmět má 19 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; 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
    povinná literatura
  • HLINĚNÝ, Petr. Úvod do informatiky. Elportál. Brno: Masarykova univerzita, 2010. ISSN 1802-128X. URL info
    doporučená literatura
  • 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
Kurs probíhá formou cvičení.
Metody hodnocení
Předmět se neukončuje. Slouží pouze k evidenci individuální výuky.
Informace učitele
http://is.muni.cz/el/1433/podzim2012/IB000/index.qwarp
Další komentáře
Poznámka k ukončení předmětu: Předmět se neukončuje.
Předmět je vyučován každoročně.
Předmět je určen pouze studentům se specifickými nároky. Slouží k evidenci individuální výuky.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/cus/jaro2013/T2_IB000