Myös avoimen yliopisto-opetuksen opiskelijoille
suomi
Aineopinnot
Matematiikan ja tilastotieteen tutkinto-ohjelma
Informaatiotieteiden yksikkö
Osaamistavoitteet
Opintojakson suorittanut opiskelija tuntee modaalilogiikan kielen ja hallitsee Kripke-mallin ja Kripke-kehyksen käsitteet. Hän osaa tutkia, onko annettu kaava tosi/validi annetussa mallissa/kehyksessä, ja hän ymmärtää totuuden ja validisuuden käsitteiden eron. Hän tuntee perusmodaalisysteemien aksiomatisoinnit, ja osaa kirjoittaa todistuksia valideille kaavoille näissä systeemeissä. Opiskelija ymmärtää myös korrespondenssiteorian perusajatuksen, ja osaa todistaa yksinkertaisia vastaavuustuloksia.
Tutkinto-opiskelijoiden ilmoittautuminen
Ilmoittautuminen Nettiopsussa on päättynyt
Opettajat
Lauri Hella, Vastaava opettaja
lauri.hella[ät]tuni.fi
Opintojakson kotisivu
Opetus
12.1.2016
–
4.3.2016
Luento-opetus
Ti 12.1.2016 - 1.3.2016 viikoittain klo 14-16, Päätalo A2b
To 14.1.2016 - 3.3.2016 viikoittain klo 14-16, Päätalo A2b
Poikkeukset:
3.3.2016
klo 14
–17
, Pinni B3107, loppukoe.
Harjoitukset
Ma 18.1.2016 - 29.2.2016 viikoittain klo 10-12, Päätalo A2b
Arviointi
Numerolla 1-5.