Opetusohjelma
2017–2018
Arkistoitu opetusohjelma 2017–2018
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMA9
Johdatus modaalilogiikkaan
5
op
Myös avoimen yliopisto-opetuksen opiskelijoille
Periodit
Opetuskieli
suomi
Tyyppi
Aineopinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
-
MTTMA9
Johdatus modaalilogiikkaan
Osallistuminen opetukseen - Luennot, harjoitukset ja loppukoe
Matematiikan ja tilastotieteen tutkinto-ohjelma
Luonnontieteiden tiedekunta
Luonnontieteiden tiedekunta
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
16.1.2018
–
2.3.2018
Luento-opetus
Ti 16.1.2018 - 27.2.2018 viikoittain klo 14-16, Päätalo A2b
To 18.1.2018 - 1.3.2018 viikoittain klo 14-16, Päätalo A2b
Poikkeukset:
Poikkeukset:
15.2.2018
, Päätalo A3
Harjoitukset
Ma 22.1.2018 - 26.2.2018 viikoittain klo 14-16, Pinni B0020
Arviointi
Numerolla 1-5.