MATA150 Logic (4 cr)

Study level:
Intermediate studies
Grading scale:
0-5
Language:
Finnish
Responsible organisation:
Department of Mathematics and Statistics
Curriculum periods:
2017-2018, 2018-2019, 2019-2020

Description

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ä.

Learning outcomes

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

Additional information

Luennot 28h, 6-7 harjoituskertaa

Study materials

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

Completion methods

Method 1

Select all marked parts
Parts of the completion methods
x
Unpublished assessment item