Inhalt

[ 404LFMTAURV20 ] VL (*)Automated Reasoning

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Bachelorstudium Technische Mathematik 2023W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS M1 - Master 1. Jahr Mathematik Tudor Jebelean 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Computer Mathematics 2020W
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.
Lehrinhalte wechselnd? Nein
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201LOSDAURV13: VL Automated Reasoning (2013W-2020S)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung