Opinto-opas

Tavoitteet

Opintojakson suoritettuaan opiskelija osaa loogisen päättelyn perusteet ja käyttää loogisen päättelyn perustyökaluja, totuustauluja, Karnaugh'n karttoja, loogisten lauseiden sieventämisen sekä päättelysäännöt. Opiskelija osaa joukko-opin perusoperaatiotm relaatiot ja funktiot sekä tuntee niiden yhteyden propositiologiikkaan. Opiskelija osaa induktiotodistuksen, hallitsee kombinatoriikan perusteet sekä Boolen algebran perusteet. Opiskelija osaa verkkoteorian perusteet.

Sisältö

Propositiologiikkaa, joukko-oppia, predikaattilogiikkaa, relaatiot jafunktiot, matemaattinen induktio, kombinatoriikkaa, verkkoteoriaa, Boolen algebraa, Karnaugh:n kartat.

Opetusmenetelmät

-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.

Arviointiasteikko

H-5