This section lists the course material for the course 2IT60 Logic and Set Theory.
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 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 ] |
[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] |