Computational Logic (WS 2021/22)

326.010/326.011, Monday 15:30-17:00 (Lecture), 17:15-18:00 (Exercises), Room: S2 046, Start: October 4, 2021

From Monday November 22 on (until further notice), the course takes place in online form only (see the Zoom link below).

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.