AMPS | THARC | KE8QZC | SFW | TSW | WW
ORCID iD icon

Syllabus: [pdf]
Textbook: [pdf]

Homework
HW1 - due 22 January
HW2: p. 22 exercise B, p. 23 exercise D, p. 23-24 exercise F, p. 24-25 exercise H - due 28 January
HW3: p. 44 exercises B and D - due 2 February
HW4: p. 83 #A1, A2 - due 1 February
HW5: p. 83 #A6, A7 - due 4 February
HW6: p. 92 #B4, C3 - due 9 February
HW7: p. 94 #J1, J2 - due 12 February
HW8: p. 140 #C3 and write a proof of the argument "$A \rightarrow C \therefore (A \wedge B) \rightarrow C$"- due 16 February
HW9: p. 140 #C6 - due 22 February
HW10: p.140 #C5, C11 - due 24 February
HW11: p.159 #A2, C5 - due 26 February
HW12: p.159 #C3 - due 2 March
HW13: p.168 #B2, B3 - due 4 March
HW14: p.171 #A4, B2, C3 - due 9 March
HW15: p.211 #A5, A8, A12 - due 16 March
HW16: p.212-213 #C3, C4, C5, C6, D3 - due 19 March
HW17: p.226 #D - due 23 March
HW18: p.240 #A2, A5 - due 25 March
HW19: p.272 #B(all of them), C2, C3, C7, C8, C12 - due 30 March
HW20: p.282 #A2, B5, D2 - due 1 April
HW21: p.282 #C5; p.302 #D2, D5 - due 6 April
HW22: p.302 #E3, E6; p.313 B1 - due 8 April
HW23: Prove that $S0 \cdot S0 = S0$ in first-order arithmetic (as defined in the 8 April notes); Prove that $S0 \cdot SS0 = S0+S0$ in first-order arithmetic (you are allowed to copy $S0 \cdot S0=S0$ on a line in this proof if you cite your previous proof) - due 13 April
HW24: see here - due 20 April (note: there was a mistake in an axiom here that was fixed the morning of 20 April!)
HW25: see here - due 23 April
HW26: see here - due 23 April
HW27: see here - due 23 April

Course notes
15 April
13 April
8 April
6 April
1 April
30 March
25 March
23 March
18 March
16 March
11 March
9 March
4 March
2 March
25 February
23 February
18 February
16 February
11 February
9 February
4 February
2 February
26 January
21 January
19 January
14 January
12 January