Pro gradu -tutkielma on osa pitkän matematiikan kurssin MAA11 Lukuteoria ja todistaminen -kirjaa. Sen sisältönä ovat logiikan alkeet.

Tällä kysymyksellä testataan oletko ihminen ja estetään automatisoitu roskaaminen.