Základni prvky logiky.
Základní typy matematických důkazů.
Dirichletův princip.
Rovnosti a nerovnosti, např. vztahy mezi prům ěry.
Kurz se zabývá dokazováním v matematice. Procvičování této tématiky se provádí na úloháchz publikací o Metodách řešení úloh a na obtížnějších úlohách z Matematické olympiády.