Inhalt

[ 201SYMBAURU23 ] UE Automated Reasoning

Versionsauswahl
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B3 - Bachelor 3. Jahr Mathematik Teimuraz Kutsia 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2023W
Ziele Beschreibung der wesentlichen Methoden für das automatische Schließen.
Lehrinhalte Zusammenfassung der Prädikatenlogik erster Stufe; das Resolutionsverfahren; Vollständigkeit der Resolution (Herbrand-Theorem, semantische Bäume); Verfeinerungen der Resolution; die DPLL Methode für das Erfüllbarkeitsproblem; Sequenzenkalkül; das Theorema-System.
Beurteilungskriterien Schriftliche Klausur.
Abhaltungssprache Englisch
Lehrinhalte wechselnd? Nein
Frühere Varianten Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201LOSDAURU13: UE Automated Reasoning (2013W-2023S)
Präsenzlehrveranstaltung
Teilungsziffer 25
Zuteilungsverfahren Direktzuteilung