[ 201LOSDAURV13 ] VL Automated Reasoning

Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B3 - Bachelor's programme 3. year Mathematics Tudor Jebelean 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2013W
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
On-site course
Maximum number of participants -
Assignment procedure Direct assignment