326.010/326.011, Monday 15:30-17:00 (Lecture), 17:15-18:00 (Exercises), Room: S2 046, Start: October 4, 2021
This course gives an introduction to computational logic, i.e., to those aspects of logic that can be supported by software and/or are relevant for software development: satisfiability solving in propositional logic, computer-supported and fully automated proving in first-order logic, and decision procedures for certain (combinations of) logical theories. In line with the topic of this course, the theory will be explained with the help of software that implements this theory. Furthermore, we will present computational tools that are actually used in real life and demonstrate their practical application.
You have to create an account in this Moodle instance
and self-register as a course participant. You will then be able to submit your exercises; furthermore, you will receive per
email all messages posted in the Announcements forum and may yourself
post messages in the Questions and Answers forum.