Syllabus

Textbook

5 Weeks 1

WHW1

WHW2: p. 24: G2, G5, G6, G7; p.45-46 D

WHW3: p. 83: A1, A2, A6, A7

WHW4: p. 92: B1, B2, D4, E4

WHW5: p. 92: C2, C3, I2 I3

WHW6 p.159 A2, A6, A7

WHW7 p.159 C1, C4, D2 (D2 requires IP)

5 Weeks 2

WHW8 p.168 B2, B3; p.187 A1

WHW9 p.187: A4, A11, B6

WHW10 p.211: A3, A6, A7, C

WHW11 p.211: D1, D2, D6; p.224 E

WHW12: p.272 C3-C8, p.282: A2, A5

WHW13: p.282 B4, C7, D6

WHW14: p.302 E4, G1, H2

WHW15: prove the following theorems of theory of first order arithmetic: $S0+SS0=SSS0$ and $S0 \cdot SS0 = SS0$ (axioms on p.1 of these slides)

WHW16: [pdf]

WHW17: [pdf]

WHW18: [pdf]

5 Weeks 1

Quiz 1

Quiz 2

Quiz 3

5 Weeks 2

Quiz 4

Quiz 5

Quiz 6

Quiz 7

Quiz 8 (take-home quiz -- just give it to me when you complete)