Es ist eine neuere Version 2022W dieses Fachs/Moduls im Curriculum Masterstudium Artificial Intelligence 2024W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Form der Prüfung
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Anbietende Uni
18 ECTS
Kumulative Fachprüfung
M1 - Master 1. Jahr
Informatik
Sepp Hochreiter
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Masterstudium Artificial Intelligence 2019W
Ziele
(*)Classical methods in AI rely on symbolic reasoning based on logic and mathematics. The focus of this elective track is on such deductive reasoning, including model checking and theorem proving. These techniques are also essential for software and hardware verification. Together with computer algebra they provide advanced tools to develop and reason about machine learning in a formal way.
Lehrinhalte
(*)The contents of this subject result from the contents of its courses.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen