JKU / TNF / INF
[ new | Schedule | overview | slides |
exercises | resources ]
Winter Semester 2014
- Lecture: Tuesday, 8:30 - 10:00, HS 18
- Exercises: Tuesday, 10:15 - 11:30, HS 18
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)