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.