MATA150 Logiikka (4 op)
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
Suoritustavat
Kurssitentti. Kurssitenttiin saa lis盲pisteit盲 tehdyist盲 harjoitusteht盲vist盲 opetusohjelmassa ilmoitettavan laskutavan mukaisesti.
Opintojakson vaihtoehtoisena suoritustapana on lopputentti.
厂颈蝉盲濒迟枚
Propositio- ja predikaattilogiikkaa. P盲盲ttely, totuustaulut, eheys- ja t盲ydellisyyslauseet.
尝颈蝉盲迟颈别诲辞迟
Luennot 28h, 6-7 harjoituskertaa
Oppimateriaalit
Kurittu: Propositio- ja predikaattilogiikka (luentomoniste)
Salmela-V盲盲n盲nen: Johdatus logiikkaan (luvut 1-3)
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盲.