Kurssilla perehdytään lause- ja predikaattilogiikan peruskäsitteisiin.
Jaksokoodissa MATEA15A numeroa edeltävä A-kirjain on vanha jäänne, joka ei vastaa kurssin nykyistä asemaa matematiikan perusopintoina.