Opinto-opas

Osaamistavoitteet

Kurssin käytyään opiskelija osaa loogisen päättelyn perusteet ja osaa käyttää loogisen päättelyn perustyökaluja, totuustauluja, Karnaugh’n karttoja, loogisten lauseiden sieventämisen, päättelysäännöt. Opiskelija osaa joukko-opin perusoperaatiot ja relaatiot 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, matemaattinen induktio, kombinatoriikkaa, verkkoteoriaa, Boolen algebraa, Karnaugh'n kartat

Oppimateriaalit

Luentomuistiinpanot

Lisätiedot

Itä-Suomen yliopiston Tietojenkäsittelytieteen laitoksen toteuttama opintojakso