Myös avoimen yliopisto-opetuksen opiskelijoille
suomi
Aineopinnot
Matematiikan ja tilastotieteen tutkinto-ohjelma
Informaatiotieteiden yksikkö
Osaamistavoitteet
Opintojakson suorittanut opiskelija osaa itsenäisesti tutkia, onko annettu propositiolause tautologia, tai päteekö looginen seuraus annetun lausejoukon ja lauseen välillä. Hän tuntee opintojaksolla opetetut menetelmät näiden kysymysten ratkaisemiseen, ja osaa valita menetelmistä tilanteeseen parhaiten sopivan. Hän ymmärtää sekä semanttisten puiden menetelmän, että luonnollisen päättelyn periaatteet, ja osaa todistaa eheyslauseen ja täydellisyyslauseen todistuksiin liittyvät keskeiset aputulokset.
Tutkinto-opiskelijoiden ilmoittautuminen
Ilmoittautuminen Nettiopsussa on päättynyt
Opettajat
Lauri Hella, Vastaava opettaja
lauri.hella[ät]tuni.fi
Opintojakson kotisivu
Opetus
8.9.2016
–
20.10.2016
Luento-opetus
Ke 7.9.2016 klo 12-14, Päätalo C6
To 8.9.2016 - 20.10.2016 viikoittain klo 14-16, Päätalo A2a
Poikkeukset:
20.10.2016
klo 13
–16
, Pinni B3116, loppukoe.
Ti 13.9.2016 - 18.10.2016 viikoittain klo 14-16, Päätalo A2a
Harjoitukset
Ryhmä 1
Ke 14.9.2016 - 19.10.2016 viikoittain klo 10-12, Päätalo A2b
Ryhmä 2
To 15.9.2016 - 20.10.2016 viikoittain klo 12-14, Pinni B0016
Poikkeukset:
20.10.2016
klo 10
–12
, Pinni B0020
Arviointi
Numerolla 1-5.