Diskreetit rakenteet (5op)
Opintojakson tunnus: LTD7002
Opintojakson perustiedot
- Laajuus
- 5 op
- Opetuskieli
- suomi
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.