Antaa yhdessä opintojaksojen Logiikka 1A ja P0 Diskreetti matematiikka (vastaavat yhdessä vanhojen vaatimusten opintojaksoa P1 Diskreetti matematiikka 1) kanssa tarvittavat valmiudet matematiikan aineopintojen logiikan opintojaksoille.
Lause- ja predikaattilogiikkaa.
Kirjalliset harjoitukset sekä loppukuulustelu.