FI:IB112 Matematické základy - Informace o předmětu

IB112 Matematické základy

Fakulta informatiky
jaro 2019

Rozsah

2/2. 4 kr. (plus ukončení). Ukončení: zk.

Vyučující

Garance

Rozvrh

Út 19. 2. až Út 14. 5. Út 12:00–13:50 C416

IB112/01: Po 16:00–17:50 C525, J. Meitner

Omezení zápisu do předmětu

Předmět je určen pouze studentům mateřských oborů.

Mateřské obory/plány

předmět má 8 mateřských oborů, zobrazit

Cíle předmětu

Po absolvování tohoto kurzu bude student schopen: porozumět obsahu teoretických informatických předmětů;

Výstupy z učení

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.
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, 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.
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. Vyd. 1. Praha: Státní pedagogické nakladatelství, 1982, 281 s. info

Výukové metody

přednášky a cvičení

Metody hodnocení

písemná zkouška

Další komentáře

Studijní materiály
Předmět je vyučován každoročně.