| [06-Sep-2017] | |
| lecture 1: | Chapters 1-6 |
| [08-Sep-2017] | |
| tutorial 1: |
2.1, 2.2, 2.3, 2.4(a,b), 2.6 (only for 2.4(a,b)), 2.8 (only for 2.4(a,b)) 3.1, 3.2, 4.1, 4.2, 4.3, 4.4(b,c), 4.5(a,b), 4.8*, problem 1 of the [Exam of 07-Apr-2014] 5.1(c,d), 5.6, 5.2*, 6.1(b), 6.2(c,d), 6.3(a,b,d,e), 6.5(a,c), 6.6(a,b) problem 2 of the [Exam of 07-Apr-2014] |
| lecture 2: | Chapters 7-8 |
| [13-Sep-2017] | |
| test & instruction 1: | See the programme of the preceding tutorial. |
| lecture 3 | Chapters 9-10 |
| [15-Sep-2017] | |
| tutorial 2: |
7.1, 7.2(c,d), 7.3(a), 7.4, 7.5(a,b), 7.6(a,b), 7.7(a) problem 2 of the [Exam of 21-Jan-2016] 8.1, 8.2(a-d), 8.3(a-c), 8.5, 8.7(d) problem 3 of the [Exam of 07-Apr-2014] 9.1, 9.2, 9.5(a), 9.6(a), 9.4 10.1*, 10.3* |
| lecture 4: | Chapters 11-14 |
| [20-Sep-2017] | |
| test & instruction 2: | See the programme of the preceding tutorial. |
| lecture 5 | Chapter 14-15 |
| [22-Sep-2017] | |
| tutorial 3: | 11.1, 11.3(a,c), 12.3, 12.4(a-c), 12.5(a), 13.1(a), 13.2(a), 14.1, 14.2(b), 14.3(a), 14.5(b),14.6(a), 14.7 problem 2 of the [Exam of 26-Jan-2017] 15.2, 15.3 |
| lecture 6: | Chapters 15-16 |
| [27-Sep-2017] | |
| test & instruction 3: | See the programme of the preceding tutorial. |
| lecture 7: | Chapter 16 |
| [29-Sep-2017] | |
| tutorial 4: | 15.4, 15.5†, 15.6, 15.7, 15.9*,14.8(a,b) problem 3 of [Exam of of 12-Apr-2016] 16.1, 16.2, 16.3, 16.4(b,c), 16.6, 16.7(a,b), 16.9 problem 3 of [ Exam of 22-Jan-2015] † You may ignore the suggestion in the book and use the alternative methods for existential quantification in Section 15.4 also in your solutions to exercise 15.5. |
| lecture 8: | Chapters 16 and 17 |
| [04-Oct-2017] | |
| test & instruction 4: | See the programme of the preceding tutorial. |
| lecture 9: | Chapters 17 and 18 |
| [06-Oct-2017] | |
| tutorial 5: | 16.10(a,b), 16.11, 16.12(a,b), 17.2, 17.3, 17.4, 17.5, 17.9(a,b) problem 8 of [Exam of 12-Apr-2016] 18.1, 18.2, 18.3(a,b), 18.4 |
| lecture 10: | Chapter 18 |
| [11-Oct-2017] | |
| test & instruction 5: | See the programme of the preceding tutorial. |
| lecture 11 | Chapter 19 |
| [13-Oct-2017] | |
| tutorial 6: | 18.5, 18.8(a), problem 5 of [Exam of 14-Apr-2015] problem 6 of [Exam of 12-Apr-2016] problem 4 of [Exam of 22-Jan-2015] 19.4(a) problem 7 of [Exam of 12-Apr-2016] problem 7 of [Exam of 07-Apr-2014] 19.3(a), 19.6 |
| lecture 12: | Chapter 19 |
| [18-Oct-2017] | |
| test & instruction 6: | See the programme of the preceding tutorial. |
| lecture 13 | Chapter 20 |
| [20-Oct-2017] | |
| tutorial 7: | 19.8, 19.9, exercises 9-12 of [Additional
exercises] 20.1, 20.2, 20.3, 20.4, 20.8, 20.11, 20.12 problem 7 of [Exam of 23-Jan-2014] |
| lecture 14 | No lecture. |
| [25-Oct-2017] | |
| test & instruction 7: | See the programme of the preceding tutorial. |
| Lecture 15 | There will be a lecture about topics that are not be part of the course material, and there will be a quiz. |
| [27-Oct-2017] | |
| final instruction: | [Exam of 22-Jan-2015] [Exam of 14-Apr-2015] |
| lecture 16 | No lecture. |