Logik

Winter Semester 2014

Armin Biere, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger

News

• Glossary English/German
• Infos on course organisation
• Lecture and exercises will start on October 7th, 2014

Schedule

• Lecture: Tuesday, 8:30 - 10:00, HS 18
• Exercises: Tuesday, 10:15 - 11:30, HS 18

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.
• Course organization
• Glossary English/German

Slides

We will upate the slides during the semester and they are not considered to be complete until the end of the semester.

• Module: Propositional Logic (SAT)
  • Introduction to Logic
  • SAT Basics
  • Reasoning with SAT
• Module: First Order Predicate Logic (FO)
  • Syntax of First Order Predicate Logic
  • Definitions in First Order Predicate Logic
  • General Reasoning in First Order Predicate Logic
  • Special Reasoning in First Order Predicate Logic
  • Semantics of First Order Predicate Logic
• Module: Satisfiability Modulo Theory (SMT)
  • SMT Basics
  • More Details on SMT Solving
  • SMTLib-Format v2 Overview

Exercises

The exercises will be organized via the JKU Moodle.

Resources

Propositional Logic (SAT)

• Limboole