Opintojakso

Opiskelija:

• Ymmärtää propositiologiikan ja predikaattilogiikan perusteorian sekä keskeisimmät merkintätavat ja osaa käyttää loogisen päättelyn perustyökaluja, kuten totuustauluja ja Karnaugh’n karttoja
• Ymmärtää joukko-opin, funktioiden sekä relaatioiden määritelmät ja merkintätavat, perusteorian sekä niiden merkityksen
• Hallitsee kombinatoriikan teorian sekä osaa soveltaa teoriaa käytäntöön
• Hallitsee graafiteorian (verkkoteorian) sekä osaa soveltaa teoriaa käytäntöön
• Hallitsee matemaattisen induktion

Propositio- ja predikaattilogiikka, joukko-oppi, funktiot ja relaatiot, kombinatoriikka, graafiteoria, matemaattinen induktio

Monimuoto-opetus flipped classroom -menetelmällä. Verkossa opiskeltavat opetusvideot sekä verkossa jaettava opetusmateriaali. Viikoittain yksi kontaktiopetusluento (2h) Laskuharjoitukset kontaktiopetuksena 7x2h. Kaksi välikoetta (2x2h) tai loppukoe (4h). Omatoimisen opiskelun määrä noin 97,5h.

Monimuoto-opetus. Videoluennot, harjoitukset kontaktiopetuksena. Harjoitustehtävät ja niiden oikeat vastaukset käsitellään ainoastaan harjoitustilaisuudessa

Videoluennot, luentomateriaali, luentomuistiinpanot

0-5. Arvostelu tehdään välikokeiden tai loppukokeen sekä harjoitustehtävien perusteella. Harjoitustehtävien pisteitä saa kerättyä, kun tekee harjoitustehtävät ja osallistuu harjoitusten kontaktiopetuksiin.

Syyslukukausi

Kurssi on tarkoitettu suomenkielisille tietojenkäsittelytieteen tutkinto-opiskelijoille sekä sivuaineopiskelijoille

Opetuksen kieli: Suomi