[ 201SYMBAURU23 ] UE Automated Reasoning

Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B3 - Bachelor's programme 3. year Mathematics Teimuraz Kutsia 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2023W
Objectives Description of the main methods for automated reasoning
Subject Summary of first order predicate logic; the resolution method; completeness of resolution (Herbrand Theorem, semantic trees); refinements of resolution; the DPLL method for SAT; sequent calculus; the Theorema system.
Criteria for evaluation Written examination
Language English
Changing subject? No
Earlier variants They also cover the requirements of the curriculum (from - to)
201LOSDAURU13: UE Automated Reasoning (2013W-2023S)
On-site course
Maximum number of participants 25
Assignment procedure Direct assignment