Where can I find more?

We do not have that many places where we explicitly talk about the difference between proof idea and proof details but do check out:

• Support page on proofs
• Advice from CSE 331 TAs

Walkthrough Video

Below is the three part walk-through video created by Wei Chen .

Part 1

Here is the first part of the walkthrough video:

Part 2

Here is the second part of the walkthrough video:

Part 3

Here is the third part of the walkthrough video:

Related Pages

Here are some pages that have some stuff that is related to the content of the above walkthrough video:

• Support page on proofs considers more non-trivial algorithms to list all permutations of an input list than the one considered in the walkthrough video above.
• The walk though video contains a few example of proof by induction as well. The support page on induction has more on proof by induction.