MATA150 Logiikka (4 op)

Opinnon taso:
Aineopinnot
Arviointiasteikko:
0-5
Suorituskieli:
suomi
Vastuuorganisaatio:
Matematiikan ja tilastotieteen laitos
Opetussuunnitelmakaudet:
2017-2018, 2018-2019, 2019-2020

Kuvaus

Sisältö

Propositio- ja predikaattilogiikkaa. Päättely, totuustaulut, eheys- ja täydellisyyslauseet.

Suoritustavat

Kurssitentti. Kurssitenttiin saa lisäpisteitä tehdyistä harjoitustehtävistä opetusohjelmassa ilmoitettavan laskutavan mukaisesti.

Opintojakson vaihtoehtoisena suoritustapana on lopputentti.

Arviointiperusteet

Opintojakson arvosana määräytyy
a) kurssitentin pistemäärän ja laskuharjoitushyvitysten summan
TAI
b) lopputentin pistemäärän
perusteella.

Hyväksyttyyn suoritukseen vaaditaan vähintään puolet maksimipistemäärästä.

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

Lisätietoja

Luennot 28h, 6-7 harjoituskertaa

Oppimateriaalit

Kurittu: Propositio- ja predikaattilogiikka (luentomoniste)
Salmela-Väänänen: Johdatus logiikkaan (luvut 1-3)

Suoritustavat

Tapa 1

Valitaan kaikki merkityt osat
Suoritustapojen osat
x
Julkaisematon arviointikohde