Siirry suoraan sisältöön

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

  • LTDNS20
    Tradenomi (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.