Výroková logika. Množiny, relace, zobrazení.
Funkce. Vztahy mezi goniometrickými funkcemi.
Rovnice a nerovnice. Komplexní čísla.
Jazyk matematiky - formulace definic, axiomů, vět, důkazů, typy důkazů, důkazové techniky.
Procvičení a prohloubení středoškolské matematiky. Upevnění základů matematických dovedností, posílení exaktního matematického vyjadřování, rozvíjení logického myšlení.