Modaalilogiikan jatkokurssi
Syksy 2009


Luennot ja harjoitukset

Kurssi luennoidaan syksyn ensimmäisellä periodilla. Ensimmäinen luento on tiistaina 8.9., ja viimeinen luento on torstaina 15.10. 

Luentoajat ja paikat:
ti  14-16   A4  (päärakennus)
to 12-14   C8  (päärakennus)

Harjoitusryhmä:

          ti 12-14   A4

Kurssin luennoi Prof. Lauri Hella (lauri.hella@uta.fi, tavattavissa luentojen yhteydessä sekä vastaanotolla ma 13.00-14.00).

Loppukoe

Loppukoeaika ja -paikka sovitaan myöhemmin

Kurssin sisältö

Modaalilogiikan jatkokurssi on syventävien opintojen erikoiskurssi, ja se on tarkoitettu opiskelijoille, jotka ovat jo suorittaneet ainakin pääosan aineopinnoista. Kurssi on jatkoa aineopintotasoiselle Johdatus modaalilogiikkaan kurssille, joka luennoitiin viimeksi keväällä 2009.  Kurssin esitietona tarvitaan modaalilogiikan peruskäsitteiden (modaalilogiikan syntaksi, Kripke-mallit ja Kripke-kehykset) tuntemista.  Kurssin Johdatus modaalilogiikkaan suoritusta ei edellytetä, mutta luonnollisesti sen sisällön hallitseminen on on hyvä lähtökohta.

Kurssilla käytetään oppikirjan Rantala-Virtanen: Johdatus modaalilogiikkaan  (Gaudeamus, 2004)  Osaa II (Luvut 8-10). Osa kurssilla käsiteltävistä asioista pohjautuu puolestaan kirjaan Blacburn-de Rijke-Venema: Modal Logic (Cambridge University Press 2001).  Kurssilla käsitellään seuraavia asioita:
    - täydellisyyslauseita eri modaalisysteemeille
    - bisimulaatio ja modaalinen ekvivalenssi
    - puumallit ja äärelliset mallit
    - kehysmääriteltävyys
    - korrespondenssiteoriaa
    - erilliset yhdisteet, generoidut alimallit ja p-morfiset kuvat
Jos aikaa jää, luodaan vielä katsaus perusmodaalilogiikan yleistyksiin ja laajennuksiin.

Kurssin suorittaminen ja arvostelu

Kurssin laajuus on 5 op, ja se suoritetaan loppukokeella ja aktiivisella osallistumisella harjoituksiin. Loppukokeesta annetaan  0-24  pistettä; kurssin suorittamiseen tarvitaan n. 12 pistettä. Lisäksi harjoitustehtävistä on tehtävä vähintään  40 %.

Viikkoharjoitustehtävät

Tehtävät määrätään harjoitusta edeltävän viikon keskiviikkoon mennessä, ja ne löytyvät tältä kotisivulta.

    Harjoitus 1        Harjoitus 2        Harjoitus 3        Harjoitus 4        Harjoitus 5