Diskreetit rakenteetLaajuus (5 op)
Tunnus: LTD7002
Laajuus
5 op
Opetuskieli
- suomi
Vastuuhenkilö
- Mikko Anttonen
Osaamistavoitteet
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.