Inhalt

[ 536KNRRFOMU25 ] UE (*)Formal Models in AI

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B3 - Bachelor 3. Jahr Artificial Intelligence Martina Seidl 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Artificial Intelligence 2025W
Lernergebnisse
Kompetenzen
(*)See lecture of the same name
Fertigkeiten Kenntnisse
(*)See lecture of the same name (*)See lecture of the same name
Beurteilungskriterien (*)Multiple small tests and exercises or exam over the full course content (both jointly with the lecture).
Lehrmethoden (*)Solving of exercises. Moodle self-assessments.
Abhaltungssprache Englisch
Literatur (*)Slides and videos.
Lehrinhalte wechselnd? Nein
Sonstige Informationen (*)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.
Gilt als absolviert, wenn (*)Considered completed if: 'Formal Models' (UE INBIPUEFOMO) is completed by 30.9.2025.
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Zuteilung nach Vorrangzahl