Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство. 

Курс предусматривает изучение теории алгоритмов и аксиоматического подхода к математической логике.