Conditions

The course is taught in person (not hybrid), with digital support through MS Teams.

Exam

There will be an exam at the end of the semester (20.07.2022). Your grade for this exam will be your grade for the course.

To be admitted to the final exam, you may skip or fail at most one weekly exercise sheet.

Exercises

Exercise sheets are made available through MS Teams and are due before the next lecture slot. There will be 8 exercises in total.

During the exercise sessions, we will discuss questions about open exercises, and solutions to completed exercises in a Q&A style manner.

Prerequisites

Familiarity with first-order predicate logic. Specifically, we expect you to be familiar with the content described in the first two sections of this chapter: Logic in Action, Chapter 4 (Sections 4.1 & 4.2).