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