Logic

Winter Semester 2020

Armin Biere, Wolfgang Schreiner, Martina Seidl, Wolfgang Windsteiger

News

  • Lecture and exercises will start on October 6th, 2020.
  • The whole course will be held online because of Corona.

Schedule

  • Lecture: recordings will be provided weekly
  • Weekly Mini Test: Tuesday, 10:00 - 10:45 online in Moodle + Zoom (alternative: big exam at the end of the semester)
  • Exercises: Tuesday, 10:45 - 11:45, live stream

Overview

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.