Cílem předmětu je podat základní teoretické poznatky týkající se matematické logiky, teorie množin, teorie grafů a teorie algoritmů.
Znalosti: Student zná základy teorie množin, formální logiky a teorie grafů a algoritmů. Zná možnosti použití těchto teoretických oblastí v jednotlivých směrech informatiky a elektrotechniky.
Dovednosti: Student umí použít teoretické poznatky při řešení konkrétní úlohy (např. při klasifikaci dat, zápisu algoritmů, reprezentaci dat grafovými strukturami apod.). Student s využití dovedností z modelování a matematiky si rozšíří technické znalosti.
Osnova předmětu:
- Základy teorie množin, aplikace teorie množin v informatice
- Formální logika, výrokový a predikátový počet
- Aplikace formální logiky v informatice
- Teorie grafů, grafové algoritmy
- Aplikace grafů v informatice
- Základy teorie algoritmů, vyčíslitelnost, automaty