Discrete Mathematics - NDMA006
|
|
|
||
Last update: T_KTI (03.04.2001)
|
|
||
Last update: RNDr. Pavel Zakouřil, Ph.D. (05.08.2002)
|
|
||
Last update: ()
Výroky, kvantifikátory, formální jazyky. Základní důkazové prostředky.
Základní množinové pojmy a operace. Ekvivalence a subvalence množin. Přirozená čísla. Konečné a spočetné množiny. Číselné obory.
Booleovské kalkulace.
Pojem grafu, reprezentace grafu. Souvislost grafu. Stromy, kostra grafu. Eulerovské a Hamiltonovské grafy. Rovinné grafy, barvení grafu. Základní grafové algoritmy (nejkratší cesta, minimální kostra). |