x !
Arkistoitu opetusohjelma 2015–2016
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTMA9 Johdatus modaalilogiikkaan 5 op
Myös avoimen yliopisto-opetuksen opiskelijoille
Periodit
I Periodi II Periodi II Periodi IV Periodi
Opetuskieli
suomi
Tyyppi
Aineopinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
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]uta.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.