[ 404LFMTAURV20 ] VL Automated Reasoning

Es ist eine neuere Version 2023W dieser LV im Curriculum Bachelor's programme Technical Mathematics 2023W vorhanden.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS M1 - Master's programme 1. year Mathematics Tudor Jebelean 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Mathematics 2020W
Objectives Understand the principles of Automated Reasoning and its mathematical models, learn about and train the use of main tools for Automated Reasoning.
Subject Basic notions and proving algorithms in propositional logic and in first order logic. Main tools for automated theorem proving and satisfiability.
Criteria for evaluation Amount of knowledge on the basic notions and algorithms. Ability to use the main algorithms and the main tools on simple examples.
Methods Presentation and discussion of the material in the classroom, accompanying lecture notes, exercises in the classroom and homeworks, individual presentations by the students.
Language English
Study material Lecture notes, tool presentation on their home page on the internet.
Changing subject? No
Earlier variants They also cover the requirements of the curriculum (from - to)
201LOSDAURV13: VL Automated Reasoning (2013W-2020S)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment