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
Suoritusvaihtoehto
1
Kohderyhmät:
Tutkinto-ohjelman omat opiskelijat
Muut opiskelijat
Avoimen yliopisto-opetuksen opiskelijat
Tohtoriopiskelijat
Vaihto-opiskelijat
Luennot, harjoitukset ja loppukoeOsallistuminen opetukseen
5 op