LogiikkaLaajuus (3 op)
Opintojakson tunnus: LTD6033
Opintojakson perustiedot
- Laajuus
- 3 op
- Opetuskieli
- suomi
- Vastuuhenkilö
- Lisbeth Smolander
Osaamistavoitteet
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ö