•     Diskreetit rakenteet LTD7002-3006 24.10.2022-08.12.2022  5 op  (DTNS21) +-
    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.
    Opetusmenetelmät ja ohjaus

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

    Vastuuhenkilö

    Mikko Anttonen

    Toteutustapa

    Lähiopetus

    Toimipiste

    Wärtsilä-kampus Karjalankatu 3 (WÄR)

    Opetuskieli

    Suomi

    Ajoitus

    24.10.2022 - 08.12.2022

    Ilmoittautumisaika

    01.04.2022 - 30.04.2022

    Ryhmä
    • DTNS21
    Opettaja

    Mikko Anttonen

    Koulutusohjelma

    Tietojenkäsittelyn koulutus

    Arviointiasteikko

    H-5