(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Form der Prüfung
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Anbietende Uni
13,5 ECTS
Kumulative Fachprüfung
B1 - Bachelor 1. Jahr
Informatik
Sepp Hochreiter
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Artificial Intelligence 2019W
Ziele
(*)Logical modelling and reasoning are important techniques of classical AI. This subject provides core expertise in logic split into a hands-on introductory course on logic, followed by an introduction to modelling state-based systems with automata and related techniques, including temporal logic. An overview on classical concepts in computational logic with focus on AI completes the subject.
Lehrinhalte
(*)The contents of this subject result from the contents of its courses.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen
