Es ist eine neuere Version 2024W dieser LV im Curriculum Masterstudium Artificial Intelligence 2024W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Semesterstunden
Anbietende Uni
4,5 ECTS
M1 - Master 1. Jahr
Mathematik
Teimuraz Kutsia
3 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Masterstudium Computational Mathematics 2023W
Ziele
(*)Understand the principles of Automated Reasoning and its mathematical models, learn about and train the use of main tools for Automated Reasoning.
Lehrinhalte
(*)Basic notions and proving algorithms in propositional logic and in first order logic. Main tools for automated theorem proving and satisfiability.
Beurteilungskriterien
(*)Amount of knowledge on the basic notions and algorithms. Ability to use the main algorithms and the main tools on simple examples.
Lehrmethoden
(*)Presentation and discussion of the material in the classroom, accompanying lecture notes, exercises in the classroom and homeworks, individual presentations by the students.
Abhaltungssprache
Englisch
Literatur
(*)Lecture notes, tool presentation on their home page on the internet.