Loogika on teadus õige mõtlemise seadustest ja vormidest, tunnetusmeetoditest ja teadmiste tõesuse tingimustest. Matemaatiline loogika on loogika esitus matemaatiliste meetoditega. Matemaatiline ehk sümbolite loogika avaldab järjest suuremat mõju mõtlemismeetoditele, kuid tal on ka suur praktiline tähtsus küberneetikas.
Fakultatiivkursuse eesmärgiks on anda algteadmisi matemaatilisest loogikast ja näidata nende mõningaid rakendusi koolimatemaatikas.