Inhalt

[ 521THEOLOGV13 ] VL Logic

Versionsauswahl
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 http://fmv.jku.at/logik/
On-site course
Maximum number of participants -
Assignment procedure Direct assignment