Selaat menneen lukuvuoden (2019–2020) opintotietoja.
Haluatko vaihtaa kuluvaan lukuvuoteen?
Opintojakso, lukuvuosi 2019–2020
MTTMS15
Johdatus aikalogiikoihin, 5 op
Tampereen yliopisto
- Kuvaus
- Suoritustavat
Opetusperiodit
Koodi
MTTMS15Opetuskieli
suomiLukuvuosi
2019–2020Opintojakson taso
Syventävät opinnotArvosteluasteikko
Yleinen asteikko, 0-5Vastuuhenkilö
Vastuuopettaja:
Raine RönnholmVastuuopettaja:
Lauri HellaVastuuorganisaatio
Informaatioteknologian ja viestinnän tiedekunta 100 %
Kurssilla tutustutaan muun muassa logiikoihin nimeltä 'Linear-time temporal logic' (LTL), 'Computational tree logic' (CTL) ja 'Alternating-time temporal logic' (ATL).
Osaamistavoitteet
Suositellut esitiedot
Kokonaisuudet, joihin opintojakso kuuluu
Suoritustapa 1
Osallistuminen opetukseen
Tietoja ei opetusohjelmassa
Suoritustapa 2
Tentti
Tietoja ei opetusohjelmassa