MATA150 Logiikka (4 op)

Opinnon taso:
Aineopinnot
Arviointiasteikko:
0-5
Suorituskieli:
englanti, suomi
Vastuuorganisaatio:
Matematiikan ja tilastotieteen laitos
Opetussuunnitelmakaudet:
2024-2025, 2025-2026, 2026-2027, 2027-2028

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äsitteet ja näiden eron
  • ymmärtää validin kaavan ja teoreeman käsitteet 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)

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

Opetus

x

Tentti (4 op)

Tyyppi:
Tentti
Arviointiasteikko:
0-5
Suorituskieli:
suomi

Opetus