MATA150 Logiikka (4 op)
Opinnon taso:
Aineopinnot
Arviointiasteikko:
0-5
Suorituskieli:
englanti, suomi
Vastuuorganisaatio:
Matematiikan ja tilastotieteen laitos
Opetussuunnitelmakaudet:
2020-2021, 2021-2022, 2022-2023
Kuvaus
Propositio- ja predikaattilogiikkaa. Päättely, totuustaulut, eheys- ja täydellisyyslauseet.
Osaamistavoitteet
Opintojakson suoritettuaan opiskelija:
- osaa tehdä päättelyitä propositio- ja predikaattilogiikan päättelysääntöjä käyttäen.
- osaa muodostaa luonnollisella kielellä (esim. suomen kielellä) tehdyistä päättelyistä vastineet logiikan kielellä ja osaa tutkia näiden päättelyiden oikeellisuutta logiikan näkökulmasta
- ymmärtää loogisten kielien syntaksin ja semantiikan käsiteet ja näiden eron
- ymmärtää validin kaavan ja teoreeman käsiteet ja näiden eron
- osaa selvittää kaavan totuusarvon totuustaulun avulla
- tuntee propositio- ja predikaattilogiikoiden eheys- ja täydellisyyslauseiden sisällöt sekä keskeiset ideat näiden todistuksista
Oppimateriaalit
Kurittu: Propositio- ja predikaattilogiikka (luentomoniste)
Salminen ja Väänänen: Johdatus logiikkaan (luvut 1-3)
Salminen ja Väänänen: Johdatus logiikkaan (luvut 1-3)
Suoritustavat
Tapa 1
Arviointiperusteet:
Kurssitenttiin saa lisäpisteitä tehdyistä harjoitustehtävistä opetusohjelmassa ilmoitettavan laskutavan mukaisesti. Opintojakson arvosana määräytyy kurssitentin pistemäärän ja laskuharjoitushyvitysten summan perusteella. Hyväksyttyyn suoritukseen vaaditaan vähintään puolet maksimipistemäärästä.
Valitaan kaikki merkityt osat
Tapa 2
Arviointiperusteet:
Opintojakson arvosana määräytyy lopputentin pistemäärän perusteella. Hyväksyttyyn suoritukseen vaaditaan vähintään puolet maksimipistemäärästä.
Valitaan kaikki merkityt osat
Suoritustapojen osat
x
Osallistuminen opetukseen (4 op)
Tyyppi:
Osallistuminen opetukseen
Arviointiasteikko:
0-5
Suorituskieli:
suomi
Työskentelytavat:
Luennot 28h, 6-7 harjoituskertaa
x
Tentti (4 op)
Tyyppi:
Tentti
Arviointiasteikko:
0-5
Suorituskieli:
englanti, suomi
Työskentelytavat:
Itsenäinen opiskelu ja lopputentti.