Logic and Sets

Summary of the slides of Wan Fokkink and Oliver Fabert. Some details were taken from the following books: "Logic in Computer Science" by Michael Huth and Mark Ryan "Set Theory for Computer Science" by Sandjai Bhulai The summary is divided into two parts, the first part (1 to 3) discusses the study material for the midterm, the second part (4 to 6) treats the study material for the end term. *This is study material for the year 2020-2021, study material may differ per academic year*

Lecture notes of Sets.

Study Material Sets.

Lecture notes Logic