Informaatiotieteiden yksikkö
Osaamistavoitteet
Kurssilla syvennetään opiskelijoiden tietoja modaalilogiikan todistusteoriasta, sekä perehdytään modaalilogiikan määriteltävyysteoriaan. Kurssin suoritettuaan opiskelija osaa mm. itsenäisesti tutkia onko annettu modaalilogiikan kaava tosi/validi annetussa mallissa/kehyksessä/kehysluokassa. Lisäksi opiskelija ymmärtää, kuinka bisimulaatiota käytetään työkaluna tutkittaessa malliluokkien ja kehysluokkien määriteltävyyttä.
Yleiskuvaus
Sisältö
Täydellisyyslause eri modaalisysteemeille; bisimulaatio ja modaalinen ekvivalenssi; puumallit ja äärelliset mallit; kehysmääriteltävyys; korrespondenssiteoriaa; erilliset yhdisteet, generoidut alimallit ja p-morfiset kuvat.
Esitiedot
Kurssi MTTMA9 Johdatus modaalilogiikkaan tai vastaavat tiedot.
Tutkinto-opiskelijoiden ilmoittautuminen
Opettajat
Opintojakson kotisivu
Opetus
Poikkeukset:
Poikkeukset:
Poikkeukset:
Arviointi
Oppimateriaalit
- Rantala, V., Virtanen, A., Johdatus modaalilogiikkaan. Gaudeamus 2004.
- Blackburn, P., de Rijke, M., Venema, Y., Modal Logic. Cambridge University Press 2002.
Lisätiedot
Kurssi käy osaksi matematiikan syventäviä opintoja ja se toteutetaan ns. erikseen sovittavan opintojakson koodilla.
Opintojakso vastaa vanhaa kurssia MATES53 Modaalilogiikan jatkokurssi.
Loppukoe pidetään pe 13.5. klo 12-15 salissa B3116.