Logic, Language and Proof: Homework schedule.

MAT200 Homepage
Homework3 solutions(pdf)



Homework 1: (Due Thursday the 20th of July)
   Read chapter 2 from Wolf. In particular, read section 2.3.
   Sec. 2.1 : ...1,2 (f)-(j),4(g)-(k),5,6,9,10(a)-(e).
   Sec. 2.2 : ...2,3,5,8, 13,14.
   Sec. 2.3 : ...1,2, 4, 8, 9.
   For some recreation, read the start of chapter 4.


Homework 2: (Due Thursday the 27th of July)
   Read sections 3.2 and 3.3 from Wolf.
   Sec. 4.2 : ...3, 4, 5, 11, 12.
   Sec. 3.2 : ...1,3 (a-d), 5(c,d), 7(a-e) 8(a-e).
   Sec. 4.2 : ...1, 4, 5.
   For some recreation, read section 3.4.


Homework 3: (Due Thursday the 10th of August)
   Read sections 3.2 and 3.3 from Wolf.
   Sec. 4.3 : ...2, 5, 9.
   Sec. 4.5 : ...1, 2, 3, 4, 6(b), 13, 14.
   Sec. 5.1 : ...1(a-c), 2(c-e), 3, 4, 9, 13.
   For some recreation, read section 5.2.


Homework 4: (Due Monday the 21st of August)
   Read sections 5.3 and 6.2 from Wolf.
   Sec. 5.2 : ...3, 6, 7, 15.
   Sec. 5.3 : ...1, 2, 7, 9, 11, 12, 13.
   Sec. 6.1 : ...2(f-j), 3(f-j), 5, 7, 8.
   For some recreation, read sections 7.1 and 7.2.