Inhalt

[ 536KNRRFOMU25 ] UE Formal Models in AI

Versionsauswahl
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B3 - Bachelor's programme 3. year (*)Artificial Intelligence Martina Seidl 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Artificial Intelligence 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.
Is completed if Considered completed if: 'Formal Models' (UE INBIPUEFOMO) is completed by 30.9.2025.
On-site course
Maximum number of participants -
Assignment procedure Assignment according to priority