# Course Material

This section lists the course material for the course 2IT60 Logic and Set Theory.

## Book:

Rob Nederpelt, Fairouz Kamareddine:

Logical Reasoning: A First Course

Text in Computing, Vol. 3

King's College Publications, London

Second revised edition, 2011

TU/e students can buy this book via their study association.

The collection of tables appearing at the end of the book, summarizing the most important definitions, axioms and rules, can be downloaded here.)

## Slides used in 2016-2017

(Slides will be added per topic and when the topic is completed; for the slides used in a particular lecture, see the [Schedule].)

[ Introduction ] |

[ Propositional Logic ] |

[ Predicate Logic ] |

[ Other binders ] |

[ Reasoning ] |

[ Sets ] |

[ Relations ] |

[ Mappings ] |

[ Induction ] |

[ Orderings ] |

## Solutions to Selected Exercises

## Additional Material

(The 'detailed examples' below should be viewed with a PDF viewer in full-screen or presentation mode in order to correctly show the incremental builds.) comparison of derivation-style and natural language proofs using strong induction of the fact that every postage greater than 7 can be formed with 3- and 5-cent stamps## Old Exams

[31-Oct-2013] |
[solutions
(including suggestions for correction)
] Disclaimer: the suggestions for correction may give you an impression of how we have decided to grade the exam in the year 2013-2014. In particular, when it comes to being lenient with respect to certain mistakes (wrong notation, omitting hints, etc.), we may be less lenient in other years. |

[23-Jan-2014] | |

[07-Apr-2014] | |

[30-Oct-2014] |
[solutions
(including suggestions for correction)
] Disclaimer: the suggestions for correction may give you an impression of how we have decided to grade the exam in the year 2014-2015. In particular, when it comes to being lenient with respect to certain mistakes (wrong notation, omitting hints, etc.), we may be less lenient in other years. |

[22-Jan-2015] | |

[14-Apr-2015] | |

[29-Oct-2015] |
[solutions
(including suggestions for correction)
] Disclaimer: the suggestions for correction may give you an impression of how we have decided to grade the exam in the year 2015-2016. In particular, when it comes to being lenient with respect to certain mistakes (wrong notation, omitting hints, etc.), we may be less lenient in other years. |

[21-Jan-2016] | |

[12-Apr-2016] | |

[03-Nov-2016] | [solutions] |

[26-Jan-2017] | |

[13-Apr-2017] |