Opetusohjelma
2018–2019
Arkistoitu opetusohjelma 2018–2019
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MTTS1
Johdatus aikalogiikoihin
5
op
Periodit
Opetuskieli
suomi
Tyyppi
Syventävät opinnot
Suoritettavien opintojaksojen kuvaukset opinto-oppaissa
-
MTTS1
Muu erikseen sovittava opintojakso (syventävä)
Osallistuminen opetukseen
Matematiikan ja tilastotieteen tutkinto-ohjelma
Luonnontieteiden tiedekunta
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]tuni.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