Discrete Mathematics
Ročník, rozsah, kredity
| Stupeň |
Stupeň
Bc.
|
| Semester |
Číslo semestra
I. LS
|
| Rozsah |
Rozsah
3P / 2CV
|
| Kredity |
Počet kreditov
6
|
- Výroková logika, formuly výrokovej logiky.
- Ekvivalencia formúl. Relácia vyplývania. Realizácia formúl.
- Grafy (definícia, typy grafov, súvislosť, maticové vyjadrenie).
- Stromy a kostra grafu.
- Eulerovské, hamiltonovské grafy.
- Planárne grafy. Farbenie grafov.
- Digrafy (definícia, typy, silná súvislosť, maticové vyjadrenie).
- Acyklické digrafy.
- Orientované stromy, kostra digrafu a binárne stromy
- Niektoré aplikácie grafov. Grafové algoritmy.
Prednášajúci:
Cvičiaci:
[1] Klešč Marián - Plavka Ján: Matematika 2 - Diskrétna matematika a formálna logika
[2] Demlová Marie: Mathematical logic, FEL ČVUT
[3] Johnsonbaugh: Discrete mathematics
Podmienky zápočtu:
získanie minimálne 11 bodov z 20 možných. Počas semestra sa píšu 2 zápočtové písomky po 10 bodov.
Podmienky skúšky:
získanie minimálne 41 bodov zo 80 možných bodov zo skúškovej písomky. CELKOVÉ HODNOTENIE: získanie minimálne 51 bodov zo 100 možných počas semestra.