Discrete Mathematics

Year, extent, credits

Level	Stupeň Bc.
Semester	Číslo semestra I. LS

Extent	Rozsah 3P / 2CV
Credits	Počet kreditov 6

Obsah

- 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.

Lecturers:

RNDr. Juraj Valiska, PhD.

Instructors:

Odporúčaná literatúra

[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

Conditions for obtaining prerequisites

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.

Conditions for obtaining examination

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.