Logic and Set Theory

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.