Tento program propojuje rozvoj logického a důkazového myšlení s praktickými dovednostmi numerických a symbolických výpočtů. Účastníci si osvojí principy, na nichž je matematika vystavěna – od formální logiky, analýzy argumentů a konstrukce důkazů až po aplikaci těchto principů při řešení reálných problémů pomocí moderních výpočetních metod.

V teoretické části se studenti naučí formalizovat matematické úvahy, analyzovat chybné argumenty, porozumět výrokové a predikátové logice a používat různé typy důkazů v kontextu množin, reálných čísel, analýzy a algebry.

Praktická část se zaměřuje na numerické a symbolické výpočty v programech Matlab a Mathematica, práci s chybami a stabilitou výpočtů, metody iterace, derivování, integrování a optimalizace, a také na experimentální přístup k matematice.

Závěr kurzu propojuje intuitivní, experimentální a formální pohled na matematiku a otevírá témata jako vědecká etika, publikování výsledků a využití počítačových experimentů v moderní matematice.