# Schedule

## Week 1

 [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

## Week 2

 [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

## Week 3

 [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

## Week 4

 [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

## Week 5

 [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

## Week 6

 [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

## Week 7

 [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.

## Week 8

 [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.