Opinto-opas

Tavoitteet

Opiskelija
- osaa muuttaa puhekielen lauseita formaalille kielelle
- osaa klassisen lauselogiikan päättelysäännöt ja käyttää niitä lauseiden totuusarvojen selvittämiseen
- osaa tehdä lukujärjestelmämuunnoksia ja suorittaa laskutoimituksia eri lukujärjestelmissä
- osaa loogisten porttien piirrossymbolit ja käyttää niitä logiikkapiirien esittämisessä
- hallitsee Boolen algebran laskusäännöt
- osaa sieventää kombinaatiopiirejä Boolen algebran ja graafisten sieventämismenetelmien avulla
- osaa käyttää lauselogiikkaa puhekielen lauseiden yksinkertaistamisessa

Sisältö

- Klassinen lauselogiikka
- Lukujärjestelmämuunnokset
- Kombinaatiopiirit ja loogiset portit
- Boolen algebra
- Karnaughin karttamenetelmä
- Lauseiden sieventäminen
- Symbolista laskentaa tekevien tietokoneohjelmien käyttö

Aika ja paikka

Ensimmäisen opiskeluvuoden syksy (syksy 2021).

Oppimateriaalit

Opettajan jakama materiaali Moodlessa. Kaikki materiaali tulee Moodleen.

Opetusmenetelmät

• Lukujärjestelmämuunnoksia, laskutoimituksia eri lukujärjestelmissä, klassista lauselogiikkaa, Boolen algebraa, kombinaatiopiirien sieventämistä sekä loogisten porttien piirrossymbolit ja niiden käyttö logiikkapiirien esittämisessä.
• Luentoja, palautettavia harjoituksia sekä itsenäistä opiskelua.
• Opinto toteutetaan monimuotona, jolloin opetusta voi seurata joko etä- tai lähiopetuksessa.

Tenttien ajankohdat ja uusintamahdollisuudet

Loppukoe joulukuussa 2021 opettajan kanssa sovittavana aikana. Koe tehdään Moodlessa. Samalla sisällöllä kokeen voi uusia kaksi kertaa 15.5.2022 asti. Tätä opintoa ei voi suorittaa EXAMissa, joten uusintakokeesta sovitaan erikseen opettajan kanssa.

Opiskelijan ajankäyttö ja kuormitus

• Luentoja ja harjoituksia 35 tuntia
• Itsenäistä opiskelua 47 tuntia
• Yhteensä 80 tuntia

Arviointiasteikko

H-5

Arviointimenetelmät ja arvioinnin perusteet

Arviointi perustuu palautettaviin harjoitustehtäviin ja lopputestin pistemäärään:

• opiskelijan pistemäärä alle 35 % maksimipistemäärästä arvosana 0,
• 35 % - 47,75 % maksimista arvosana 1,
• 47,75 % - 60,5 % maksimista arvosana 2,
• 60,5 % - 73,25 % maksimista arvosana 3,
• 73,25 % - 86 % maksimista arvosana 4 ja
• yli 86 % maksimista arvosana 5.

Arviointikriteerit, tyydyttävä (1-2)

• Opiskelija osaa käyttää keskeisiä/yksittäisiä logiikan käsitteitä asianmukaisesti sekä osoittaa hallitsevansa osaamisalueen perustiedot.
• Opiskelija osaa toimia yksinkertaisia käytännön ongelmia ratkaistaessa tarkoituksenmukaisesti, joskin toiminta voi olla hapuilevaa.
• Opiskelija osaa toimia ohjeiden mukaisesti ja ratkaista logiikan perustehtäviä.

Arviointikriteerit, hyvä (3-4)

• Opiskelija osaa käyttää johdonmukaisesti klassisen lauselogiikan termejä ja käsitteitä sekä osoittaa hallitsevansa osaamisalueen perustiedot.
• Opiskelija osaa valita tarkoituksenmukaisia tapoja mallintaa yksinkertaisia käytännön ongelmia logiikan avulla. Opiskelija osaa ratkaista käytännön ongelmia logiikan avulla ja osaa arvioida omaa osaamistaan.
• Opiskelija osaa soveltaa osaamistaan perustehtävissä.

Arviointikriteerit, kiitettävä (5)

• Opiskelija osaa käyttää asiantuntevasti klassisen lauselogiikan termejä ja käsitteitä ja yhdistää niitä kokonaisuuksiksi.
• Opiskelija osaa mallintaa yksinkertaisia käytännön ongelmia matemaattisesti lauselogiikan merkintöjä käyttäen ja ratkaista ne sekä arvioida ratkaisujen oikeellisuutta.
• Opiskelija osaa soveltaa logiikkaa erilaisissa käytännön tehtävissä ja tilanteissa.