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.
Sisältö
Modaalilogiikan kaavat, Kripke-kehykset ja -mallit, modaliteetit, validisuus malleissa ja kehyksissä, modaalisysteemit, modaalilogiikan todistusteoriaa, korrespondenssiteoriaa.
Vaadittavat opintosuoritukset
- Tutkinto-ohjelman omat opiskelijat
- Muut opiskelijat
- Avoimen yliopisto-opetuksen opiskelijat
- Tohtoriopiskelijat
- Vaihto-opiskelijat
- Tutkinto-ohjelman omat opiskelijat
- Muut opiskelijat
- Avoimen yliopisto-opetuksen opiskelijat
- Tohtoriopiskelijat
- Vaihto-opiskelijat
Arviointi
Numerolla 1-5.Kirjallisuus/Oppimateriaali
Opintojaksolla käytetään oppikirjaa
Rantala, Virtanen, Johdatus modaalilogiikkaan.
Kokonaisuudet johon opintojakso kuuluu
2018–2019