Logiikka (3 op)
Toteutuksen tunnus: LTD6033-3001
Toteutuksen perustiedot
Ilmoittautumisaika
01.10.2020 - 31.10.2020
Ajoitus
11.01.2021 - 05.03.2021
Opintopistemäärä
3 op
Toteutustapa
Lähiopetus
Yksikkö
Tradenomi / Tietojenkäsittely (DD)
Toimipiste
Wärtsilä-kampus Karjalankatu 3 (WÄR)
Opetuskielet
- Suomi
Paikat
20 - 100
Koulutus
- Tietojenkäsittelyn koulutus
Opettaja
- Lisbeth Smolander
Vastuuopettaja
Lisbeth Smolander
Ryhmät
-
LTDNS20Tradenomi (AMK), Tietojenkäsittely, päivä, syksy, 2020
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 kevät (kevät 2021), jakso 4.
Oppimateriaalit
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 maaliskuussa 2021 opettajan kanssa sovittavana aikana. Koe tehdään Moodlessa. Samalla sisällöllä kokeen voi uusia kaksi kertaa 15.10.2021 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 palautettavien harjoitustehtäviin ja lopputestin pistemäärään.
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.