-ymmärrät propositiologiikan ja predikaattilogiikan perusteorian sekä keskeisimmät merkintätavat ja osaat käyttää loogisen päättelyn perustyökaluja, kuten totuustauluja ja Karnaugh’n karttoja.
-ymmärrät joukko-opin, funktioiden sekä relaatioiden määritelmät ja merkintätavat, perusteorian sekä niiden merkityksen.
-hallitset kombinatoriikan teorian sekä osaat soveltaa teoriaa käytäntöön.
-hallitset graafiteorian (verkkoteorian) sekä osaat soveltaa teoriaa käytäntöön.
-hallitset matemaattisen induktion.