team
contact
software
publications
student
affairs
teaching
jobs
[ new | Schedule | overview | slides | exercises | resources ]
Logic
Winter Semester 2019
Armin Biere, Wolfgang Schreiner, Martina Seidl, Wolfgang Windsteiger
News
- Lecture and exercises will start on October 8th, 2019
Schedule
- Lecture: Tuesday, 8:30 - 10:00, HS 1, Linz
- Mini Test: Tuesday, 10:15 - 10:30, HS 1, Linz
- Exercises: Tuesday, 10:45 - 11:30, HS 1, Linz
The weekly minitests will also be offered in Vienna:
JKU Zentrum für Fernstudien
Strozzigasse 2
1080 Wien
Personal attendance is recommended but not requrired. Instead of the weekly minitests also one final exam at the end of the semester can be taken.
Details will be explained after the first lecture on Oct 8 (no minitest on Oct 8). Slides on Course Organization
Overview
- This course is a first year's Bachelor course.
- For further information on this course, please visit the
KUSSS page for the lecture (VL) and the
- KUSSS page for the exercises for Weekly-Minitest Mode in Linz or Big-Exam Mode in Linz/Vienna
- KUSSS page for the exercises for Weekly-Minitest Mode in Vienna
- Course organization There are changes compared to the organization of the last years. Details will be explained in the first lecture.
- Glossary English/German
Slides and Lecture Notes
We will update the material during the semester; it is not considered to be complete until the end of the semester.
- Module: Propositional Logic (SAT)
- A Gentle Introduction to SAT, Box Games
- Propositional Logic in CNF (Version 2019.2: added graph coloring; not relevant for 1st minitest)
- Propositional Logic in Non-CNF
- Propositional Reasoning
- Module: First Order Predicate Logic (FO)
- Module: Satisfiability Modulo Theory (SMT)
Exercises
The exercises will be organized via the JKU Moodle.