CS 173: Skills list for Examlet 6
- Identify which base cases and which implications are needed to prove a universal property by induction. (e.g. WS Q2)
- Come up with properties that could then be proven by induction. (e.g. the xy-1 from HW Q5 or the even coordinate sum from the robot in the notes)
- Prove algebraic properties by induction. (e.g. WS Q5, HW Q3/4)
- Avoid making common errors in inductive proofs, like "simplifying" P(k) to a true statement rather than using true statements to prove P(k). (e.g. WS Q4)