x !
Arkistoitu opetussuunnitelma 2012–2015
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MTTMA9 Johdatus modaalilogiikkaan 5 op
Vastuutaho
Matematiikan ja tilastotieteen tutkinto-ohjelma
Edeltävät opinnot
Suositellaan:
Vastaavat opinnot opetussuunnitelmassa
Informaatiotieteiden yksikkö
Opetussuunnitelma 2011 – 2012
MATEA20 Johdatus modaalilogiikkaan 5–8 op

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

Suoritusvaihtoehto 1
Kohderyhmät:
  • Tutkinto-ohjelman omat opiskelijat
  • Muut opiskelijat
  • Avoimen yliopisto-opetuksen opiskelijat
  • Tohtoriopiskelijat
  • Vaihto-opiskelijat
Luennot, harjoitukset ja loppukoe  Osallistuminen opetukseen  5 op
suomeksi
Arviointi 
Numerolla 1-5. 
Suoritusvaihtoehto 2
Kohderyhmät:
  • Tutkinto-ohjelman omat opiskelijat
  • Muut opiskelijat
  • Avoimen yliopisto-opetuksen opiskelijat
  • Tohtoriopiskelijat
  • Vaihto-opiskelijat
Kirjallinen tentti  5 op
suomeksi
Arviointi 
Numerolla 1-5. 

Arviointi

Numerolla 1-5.

Kirjallisuus/Oppimateriaali

Opintojaksolla käytetään oppikirjaa

Rantala, Virtanen,  Johdatus modaalilogiikkaan.

Kokonaisuudet johon opintojakso kuuluu

Informaatiotieteiden yksikkö
Informaatiotieteiden yksikkö
Informaatiotieteiden yksikkö
Informaatiotieteiden yksikkö
2015–2016
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
-
Informaatiotieteiden yksikkö