Perehtyä logiikan peruskäsitteisiin.
Lause- ja predikaattilogiikan peruskäsitteitä, induktio, rekursio.