Matemaatilise loogika ja arvusüsteemide tundides õppisin matemaatilist loogilist mõtlemist. Õppisime klassikalist loogikat ja selle põhimõisteid, lausevorme ja arutlusvorme tõetabelite ja predikaatide hindamisega. Samuti kaudne tõestus, tuletissüsteemid ja matemaatilised induktsioonid jms. Peale nende õppimist tuli teha kaks raamatupidamistööd ja peale seda kontrolltöö.