Inhalt

[ INBIPUEFOMO ] UE Formal Models

Versionsauswahl
(*) 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 Bernhard Aichernig 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2026W
Learning Outcomes
Competences
See lecture of the same name
Skills Knowledge
See lecture of the same name See lecture of the same name
Criteria for evaluation Weekly individual exercises with assignment interviews.
Methods Solving of exercises. Moodle self-assessments.
Language English
Study material Slides from the lecture and additional examples from the exercise.
Changing subject? No
Further information This exercise course and the associated lecture form an inseparable didactic unit. The learning outcomes presented here are achieved through the close interaction of the two courses.
Corresponding lecture (*)INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS) bzw. INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment