Logiikka (3 op)

Arviointiasteikko

H-5

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