Logic and Sets (X_401090)

Logic Lecture Notes

Sets Lecture notes

Sets Working Group - Answers fully worked out

Logic Working Group - Answers fully worked out

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 Logic

Lecture notes of Sets.