You are browsing the curriculum of a past academic year (2019–2020).
Do you want to change to the ongoing academic year?
Course unit, curriculum year 2019–2020
MTTMS15
Introduction to temporal logics, 5 cr
Tampere University
- Description
- Completion options
Teaching periods
Course code
MTTMS15Language of instruction
FinnishAcademic year
2019–2020Level of study
Advanced studiesGrading scale
General scale, 0-5Persons responsible
Responsible teacher:
Raine RönnholmResponsible teacher:
Lauri HellaResponsible organisation
Faculty of Information Technology and Communication Sciences 100 %
Kurssilla tutustutaan muun muassa logiikoihin nimeltä 'Linear-time temporal logic' (LTL), 'Computational tree logic' (CTL) ja 'Alternating-time temporal logic' (ATL).
Learning outcomes
Recommended prerequisites
Studies that include this course
Completion option 1
Participation in teaching
No scheduled teaching
Completion option 2
Exam
No scheduled teaching