Computational Logic (WS 2024/25)
Section outline
-
326.010/326.011, Monday 15:30-17:00 (Lecture), 17:15-18:00 (Exercises), Start: October 7, 2024, S2 053 (Lecture October 21: 8:30-10:00, S2 219)
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 (using your students.jku.at email address) and self-register as a course participant (link "Enrol me in this course" at the top). You are then able to submit your assignments; furthermore, you receive per email all messages posted in the "Announcements" forum and may yourself post messages in the "Questions and Answers" forum.
-
As an extra service, we intend to live-stream and record the lectures via the following Zoom session:https://jku.zoom.us/j/95970972547?pwd=VmZic3dzb3VRMldYOHV3SkcydEtCQT09
Meeting Id: 959 7097 2547 Password: complogicHowever, no guarantee is given with respect to completeness and quality of the stream/recordings. The basic course format is on-site, not hybrid. -
-
Each exercise sheet allows you to earn 100 grade points. The best 8 sheets will be used for calculating the grade: >= 400 GEN4, >= 500 BEF3, >= 600 GUT2, >= 700 SGT1.
-
-
The following software is used/demonstrated in this course (this software is all pre-installed on a virtual machine for your easy use):
-
- Exam: Monday, February 3, 2025, 15:30-17:00, S2 053
- Registration in KUSSS is required till Monday, January 27, 12:00.
- Open book (all printed/written materials allowed).
- The questions will be similar to those from the exercise sheets.
- Exam: Monday, February 3, 2025, 15:30-17:00, S2 053