Kurz je zaměřen na rozvoj logického a důkazového myšlení v matematice. Studenti se seznámí s významem formalizace úvah, analýzou chybných argumentů, výrokovou a predikátovou logikou a základními typy matematických důkazů, které si procvičí na příkladech z teorie množin a reálných čísel. Dále kurz zkoumá strukturu vybraných vět z analýzy a algebry, logickou výstavbu matematiky a tvorbu jednoduchých teorií. Závěr je věnován intuici a experimentu v matematice, vědecké etice, počítačovým experimentům a rigorózním počítačovým důkazům.