JKU / TNF / INF
[ new | Schedule | overview | slides |
exercises | resources ]
Winter Semester 2015
- Lecture and exercises will start on October 6th, 2015
- Lecture: Tuesday, 8:30 - 10:00, HS 19
- Exercises: Tuesday, 10:15 - 11:30, HS 19
We will upate the slides during the semester and they are not
considered to be complete until the end of the semester.
- Module: Propositional Logic (SAT)
- Module: First Order Predicate Logic (FO)
- Module: Satisfiability Modulo Theory (SMT)
The exercises will be organized via the JKU Moodle.
Propositional Logic (SAT)
First Order Predicate Logic (FO)
Satisfiabily Modulo Theory (SMT)