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
- 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)
Salmela-Väänänen: Johdatus logiikkaan (luvut 1-3)
Completion methods
Method 1
Select all marked parts
Parts of the completion methods
x
Teaching (4 cr)
Type:
Participation in teaching
Grading scale:
0-5
Language:
Finnish