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 Martina Seidl 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2025W
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 Multiple small tests and exercises or exam over the full course content (both jointly with the lecture).
Methods Solving of exercises. Moodle self-assessments.
Language English
Study material Slides and videos.
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