Schedule

Week	Date	Subject	Material
1	12-11	Introduction	Chapter 0
	14-11	Propositional logic	Chapter 1
2	19-11	Sets	Chapter 2
	21-11	Boolean algebra	Chapter 3
3	26-11	Predicate logic	Chapter 4
	28-11	Proof strategies	Chapter 5
4	03-12	Functions	Chapter 6
	05-12		Chapter 7
5	10-12		Chapter 8
	12-12
6	16-12	Mid-term exam	Chapters 0-7
	17-12		Chapter 9
	19-12		Chapter 9