Computational Logic (WS 2022/23)
Abschnittsübersicht
-
326.010/326.011, Monday 15:30-17:00 (Lecture), 17:15-18:00 (Exercises), Room: S2 053, Start: October 10, 2022
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 (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):
-
- 2nd Exam: Wednesday, March 29, 2023, 17:15-18:45, S3 047
- Registration in KUSSS is required till Monday, March 27, 12:00.
- Open book (all printed/written materials allowed).
- The questions will be similar to those from the exercise sheets.
- Registration in KUSSS is required till Monday, March 27, 12:00.
- 2nd Exam: Wednesday, March 29, 2023, 17:15-18:45, S3 047