Předmětu má seznámit se základními metodami dokazování, jako je přímý důkaz, nepřímý důkaz, důkaz sporem, důkaz matematickou indukcí a důkaz probráním případů.