Qikun Xiang   项启昆

Week 2

Handwritten notes with additional remarks (number theory)

​

Week 3

Handwritten notes with additional remarks (propositional logic)

​

Week 4

Handwritten notes with additional remarks (predicate logic)

​

Week 5

Handwritten notes with additional remarks (proof techniques)

​

Week 6

Handwritten notes with additional remarks​ (combinatorics + linear recurrence relation)

​

Week 7

Handwritten notes with additional remarks (CA1 + linear recurrence relation)

Rearranged handwritten notes (combinatorics)

Rearranged handwritten notes (linear recurrence relation)

​

Week 8

Handwritten notes with additional remarks (set theory)

​

Week 9

Handwritten notes with additional remarks (set theory + relations)

Rearranged handwritten notes (set theory)

​

Week 10

Handwritten notes with additional remarks (relations)

Rearranged handwritten notes (relations)

​

Week 11

Handwritten notes with additional remarks (functions)

Note about bit strings and linear recurrence relation explained with the help of notions about functions (updated to include the discussion of Q5 from the final of 2020S1)

​

Week 12

Handwritten notes with additional remarks (graph theory + CA2)

​

Week 13

Handwritten notes with additional remarks (graph isomorphism + additional exercises)

​

Q&A

Handwritten solution to 2020S1 Question 3

​

​

​