Logik

Winter Semester 2015

Armin Biere, Wolfgang Schreiner, Martina Seidl, Wolfgang Windsteiger

News

  • Lecture and exercises will start on October 6th, 2015

Schedule

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

Overview

Slides

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

Exercises

The exercises will be organized via the JKU Moodle.

Resources

Propositional Logic (SAT)

First Order Predicate Logic (FO)

Satisfiabily Modulo Theory (SMT)