Computational Logic (WS 2021/22)
Abschnittsübersicht
-
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.
-
As an extra service, it is intended to live-stream and record the course 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.
-
-
-
-
-
-
-
Geöffnet: Montag, 15. November 2021, 18:19Fällig: Sonntag, 5. Dezember 2021, 23:59
-
-
-
-
-
The following software is used in this course (this software is all pre-installed on a virtual machine for your easy use):
-
- Second Exam (Online): Wednesday, March 30, 2022, 17:15-19:30
- Open book (all materials allowed).
- The questions will be similar to those from the exercise sheets.
- See the regulations for the online exam below.
- There will be no more general exam before January 2023, but you can contact me any time for an individual exam.
- Open book (all materials allowed).
- Second Exam (Online): Wednesday, March 30, 2022, 17:15-19:30
-
Date: Wednesday, March 30, 2022, 17:15-19:30, Zoom/JKU Moodle
- To participate in the exam, you have to do until Friday, March 25 the following:
- You have to register in KUSSS for the exam and
- you have to upload in the corresponding course of the
JKU Moodle in the assignment "Exam March 30, 2022" a picture file
"Ausweis.*" with a photo of your student id card:
-
- I will announce per email in KUSSS by Monday, March 28, who may participate in the exam.
- To take part in the exam, you need a computer with internet connection and Web-/Laptop-/Phone-Cam (mandatory). You also need a device to convert handwritten DIN A4 pages into picture files of good quality (smartphone, tablet, scanner).
- The exam will proceed as follows:
- Login into the corresponding course of the JKU Moodle (the link above).
- At 17:15 (not later) you enter the Zoom Meeting whose id and password is announced in the JKU Moodle course. Join the meeting with only one client using your full name and registration number
(format: "FAMILYNAME GivenName (kXXXXXXX)"). Activate your webcam and
position it such that it shows yourself and your work place. Make sure
that no one else is in the room and that no one
will enter the room during the exam.
- At 17:30 I will make the exam questions (a PDF
file) visible in the Moodle course (you may print the file, but this is
not necessary). From that time on, you may start your elaboration. You
may use any materials (open book exam) but not perform any attempt at external communication. Furthermore, no headsets or earplugs are allowed during the exam.
- The exam is to be written manually with a dark pen on empty DIN A4 pages within the area well covered by your webcam. This area must not be left during the whole exam.
- During the exam, you may ask questions (only) via the "Chat" feature of the Zoom session (German or English, no audio questions).
- At 19:00 (not before) you stop your elaboration and start to photograph/scan and upload your results in the form indicated below.
- Until 19:15 latest the results of the exam have to be uploaded in the assignment "Exam March 30, 2022" of the JKU Moodle in the following form:
- One picture file "Foto.*" with a photo that shows your face, your student id card, and the first page of your manually written elaboration (Example).
- Picture files "Seite1.*", "Seite2.*", etc. with
photos of every page of your manually written elaboration. You may also
combine all files to a single archive file (preferably in
zip format) or to a single document (preferably in PDF format).
- At 19:15 (not before), position your camera such that it clearly shows (on your desk or in your hand) your student id card and the first page of your elaboration (as you have submitted it). Stay till 19:30 in the Zoom meeting.
- If your Zoom connection is interrupted during the exam, join the Zoom meeting again as quickly as possible. If there are longer Zoom interruptions or above regulations are violated, I may not grade your exam. The Zoom session will not be recorded, but after the exam I will check the Zoom/Moodle logs for conformance to the regulations.
- After the exam, preserve your written elaboration without changes. If the quality of your photos is not good enough for grading, I may ask for new ones.
- Please use the upload of the photo of your student id card to test your abilities to take photos and upload them in the Moodle course. Also test with some sample Zoom meetings your equipment (webcam).
