x !
Arkistoitu opetusohjelma 2018–2019
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTS1 Johdatus aikalogiikoihin 5 op
Periodit
I Periodi II Periodi II Periodi IV Periodi
Opetuskieli
suomi
Tyyppi
Syventävät opinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
Matematiikan ja tilastotieteen tutkinto-ohjelma
Luonnontieteiden tiedekunta

Yleiskuvaus

Opintojakson suoritettuaan opiskelija ymmärtää tavallisimpien aikalogiikoiden totuusmääritelmät ja osaa antaa niiden lauseille semanttisia todistuksia. Lisäksi opiskelija ymmärtää näihin logiikoihin liittyviä metatuloksia, kuten täydellisyys, ratkeavuus sekä äärellisen mallin ominaisuus. Kurssilla tutustutaan muun muassa logiikoihin nimeltä 'Linear-time temporal logic' (LTL), 'Computational tree logic' (CTL) ja 'Alternating-time temporal logic' (ATL).

 

Edeltäviksi opinnoiksi suositellaan jompaa kumpaa seuraavista kursseista:

  • MTTMA10 Johdatus logiikkaan 1
  • MTTMA9 Johdatus modaalilogiikkaan

Tutkinto-opiskelijoiden ilmoittautuminen

TTY:n opiskelijat ilmoittautuvat jaksolle ristiinopiskelupalvelun ohjeiden mukaisesti.

Ilmoittautuminen Nettiopsussa on päättynyt

Opettajat

Raine Rönnholm, Vastaava opettaja
Raine.Ronnholm[ät]uta.fi

Opetus

7.1.2019 – 28.2.2019
Luento-opetus
Ma 7.1.2019 - 25.2.2019 viikoittain klo 14-16, LS B0020, Pinni B
To 10.1.2019 - 28.2.2019 viikoittain klo 12-14, LS B0020, Pinni B
Harjoitukset
Ti 8.1.2019 - 26.2.2019 viikoittain klo 14-16, LS B0020, Pinni B