Diskreetit rakenteet (5op)
Opintojakson tunnus: DT10057
Opintojakson perustiedot
- Laajuus
- 5 op
- Opetuskieli
- suomi
Osaamistavoitteet
-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.
Sisältö
Propositio- ja predikaattilogiikka, joukko-oppi, funktiot ja relaatiot, kombinatoriikka, graafiteoria, matemaattinen induktio.