Here is an alternative exercise program consisting of all exercises for which solutions are available. It is primarily intended for students taking the homologation variant of the course, who have to learn the course material by self-study. The exercises sufficiently cover the course material to be prepared for the examination. Students taking the bachelor variant of the course are advised to take part in the regular [Schedule] (which includes exercises without provided solutions), but, of course they may use the material below as supplementary practice material.
It requires a considerable amount of self-discipline to acquire
problem solving skills when solutions to exercises are immediately
available. Try to resist the temptation to look at the solution before
you have found a complete answer to an exercise yourself.
Note that solutions always look easy, even when finding them is hard!
| material: | book: Chapters 1-6 slides: [Propositional Logic] |
| exercises: |
2.4(c,d), 2.6, 2.8(c,d), 3.1(c,d), 4.4(e,f), 5.5(c,d), 6.5(b), 6.6(c)
[solutions] problems 1 and 3 of the problems 1 and 2 of the [exam of 21-Jan-2013] [solutions] problem 2 of the [exam of 31-Oct-2013] [solutions] problems 1 and 2 of the [exam of 30-Oct-2014] [solutions] problem 1 of the [exam 29-Oct-2015] [solutions] |
| material: | book: Chapters 7-9, 11 slides: [Predicate Logic] |
| exercises: |
7.1, 7.2(c), 7.3(b), 7.7(b), 8.2(e), 8.7(c), 8.9(b,d), 9.5(b),
9.6(b), 11.4(c), 11.6
[solutions] problem 2 of the problem 3 of the [exam of 21-Jan-2013] [solutions] problem 3 of the [exam of 31-Oct-2013] [solutions] problem 3 of the [exam of 30-Oct-2014] [solutions] problem 2 of the [exam 29-Oct-2015] [solutions] |
| material: | book: Chapters 12-15 slides: [Reasoning] |
| exercises: |
12.4(d), 13.1(b), 13.2(b), 14.2(a), 14.5(a), 14.6(b), 14.8(b,c), 14.9(b),
14.10(b), 15.5, 15.8, 15.9
[solutions] problem 4 of the problem 4 of the [exam of 21-Jan-2013] [solutions] problem 4 of the [exam of 31-Oct-2013] [solutions] problem 4 of the [exam of 30-Oct-2014] [solutions] problems 3 and 4 of the [exam 29-Oct-2015] [solutions] |
| material: | book: Chapter 16 slides: [Sets] |
| exercises: |
16.4(d), 16.7(c,d), 16.8, 16.12(c,d)
[solutions] problem 5 of the [exam of 21-Jan-2013] [solutions] problems 1 and 5 of the [exam of 31-Oct-2013] [solutions] problem 5 of the [exam of 30-Oct-2014] [solutions] |
| material: | book: Chapters 17-18 slides: [Relations], [Mappings] |
| exercises: |
17.7, 17.9(c), 17.10, 18.3(c), 18.4(c), 18.7, 18.8(b)
[solutions] problem 6 of the [exam of 21-Jan-2013] [solutions] problem 6 of the [exam of 31-Oct-2013] [solutions] problem 7 of the [exam of 30-Oct-2014] [solutions] problem 6 of the [exam 29-Oct-2015] [solutions] |
| material: | book: Chapters 19 slides: [Induction] |
| exercises: |
2, 5, 7, 10, and 14 of
[[Additional exercises],
19.7, 19.10
[solutions] problem 7 of the [exam of 21-Jan-2013] [solutions] problem 7 of the [exam of 31-Oct-2013] [solutions] problem 7 of the [exam of 30-Oct-2014] [solutions] problem 5 of the [exam 29-Oct-2015] [solutions] |
| material: | book: Chapters 20 slides: [Orderings] |
| exercises: |
20.4, 20.6, 20.7, 20.13, 20.16, 20.17(a,c)
[solutions] problem 8 of the [exam of 21-Jan-2013] [solutions] problem 8 of the [exam of 31-Oct-2013] [solutions] problem 8 of the [exam of 30-Oct-2014] [solutions] problem 7 of the [exam 29-Oct-2015] [solutions] |