MATA150 Logiikka (4 op)

Avaa opintojakson esite Sisussa
Opinnon taso:
Aineopinnot
Arviointiasteikko:
0-5
Suorituskieli:
englanti, suomi
Vastuuorganisaatio:
Matematiikan ja tilastotieteen laitos
Opetussuunnitelmakaudet:
2020-2021, 2021-2022, 2022-2023, 2023-2024

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)

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
Ei julkaistua opetusta
x

Tentti (4 op)

Tyyppi:
Tentti
Arviointiasteikko:
0-5
Suorituskieli:
englanti, suomi
Työskentelytavat:

Itsenäinen opiskelu ja lopputentti.

Ei julkaistua opetusta