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.
Kotisivuna toimivalla Moodle-alueella. Liity kurssialueelle ja ilmoittaudu siellä olevan linkin kautta.
Loppukoe ti 25.2. klo 14-17, Paavo Koli -sali, Pinni A.