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