[ 521THEOLOGV13 ] VL Logic

Es ist eine neuere Version 2021W dieser LV im Curriculum Bachelor's programme Electronics and Information Technology 2022W vorhanden.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B1 - Bachelor's programme 1. year Mathematics Armin Biere 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2017S
Objectives Logic as a working language; computational logic.
Subject Propositional logic, predicate logic, satisfiability, SAT, SMT, DPLL, resolution, proof calculus, skolemization, normal forms, decidability.
Criteria for evaluation Exam
Language English
Study material Slides.
Changing subject? No
Further information
On-site course
Maximum number of participants -
Assignment procedure Direct assignment