Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2024W vorhanden.
(*) Unfortunately this information is not available in english.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
1,5 ECTS
B2 - Bachelor's programme 2. year
Computer Science
Martina Seidl
1 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Computer Science 2021W
Objectives
Students possess knowledge of formal methods to model and specify systems in computer science.
Subject
The content is in accordance with the corresponding lecture: Reactive systems, finite state machines, Petri nets, process algebra, temporal logics, bounded model checking, Markov decision processes.
Criteria for evaluation
Bi-weekly tests and presentations of exercises or exam over the full course content (both jointly with the lecture).
Methods
Presentation of exercises by students.
Moodle self-assessments.
