Předmět Matematické základy (IB112)
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 IB112 - Matematické základy, 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
Po absolvování tohoto kurzu bude student schopen:porozumět obsahu teoretických informatických předmětů;
Osnova
Základy (naivní) teorie množin:množina, výčet prvků, základní množinové operace,kartézský součin.Číselné množiny:přirozená, celá, racionální a reálná čísla.Relace a funkce:relace na množinách, funkce coby relace,skládání relací a funkcí.Ekvivalence a uspořádání:vlastnosti relací, relace ekvivalence a rozklady,relace částečného uspořádání a Hasseův diagram.Matematická logika:definice výrokových a predikátových formulí, pravdivost a splnitelnost, axiomatizace.Důkazy:přímý důkaz, nepřímý důkaz, důkaz sporem, důkaz indukcí.Lineární rovnice:definice matice, soustavy lineárních rovnic, geometrická představa, Gaussova eliminace.Kombinatorika a výběry prvků:klasická kombinatorika, nezávislé výběry, kombinační čísla,permutace a faktoriál.Kombinatorická pravděpodobnost:hody kostkou a míchání karet, konečný pravděpodobnostní prostor.Popisná statistika:statistický soubor, průměr, medián, rozptyl, korelace.Grafy:graf, podgrafy, isomorfizmus, stupně vrcholů,souvislé komponenty grafu, stromy a jejich vlastnosti, kořenové stromy, toky v sítích.
Literatura
KOLÁŘ, Josef, Olga ŠTĚPÁNKOVÁ a Michal CHYTIL. Logika, algebry a grafy. 1. vyd. Praha: SNTL - Nakladatelství technické literatury, 1989. 434 s. infoŠTĚPÁNEK, Petr. Matematická logika. 1. vyd. Praha: Státní pedagogické nakladatelství, 1982. 281 s. info
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
doc. RNDr. Jan Strejček, Ph.D.Mgr. Jan MeitnerRNDr. Jiří Pecl, Ph.D.