%PDF-1.4 5 0 obj << /S /GoTo /D (section*.1) >> endobj 8 0 obj (Executive summary) endobj 9 0 obj << /S /GoTo /D (section.1) >> endobj 12 0 obj (1. Basic ideas and motivation) endobj 13 0 obj << /S /GoTo /D (subsection.1.1) >> endobj 16 0 obj (1.1. Basic idea: preview) endobj 17 0 obj << /S /GoTo /D (subsection.1.2) >> endobj 20 0 obj (1.2. The way things work) endobj 21 0 obj << /S /GoTo /D (subsection.1.3) >> endobj 24 0 obj (1.3. A review of the idea of proof) endobj 25 0 obj << /S /GoTo /D (section*.2) >> endobj 28 0 obj (If P, then Q) endobj 29 0 obj << /S /GoTo /D (subsection.1.4) >> endobj 32 0 obj (1.4. Understanding the two main components of proof by induction) endobj 33 0 obj << /S /GoTo /D (section.2) >> endobj 36 0 obj (2. Induction to prove identities involving natural numbers) endobj 37 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 40 0 obj (2.1. Review of Example 1 from the book) endobj 41 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 44 0 obj (2.2. Executing the induction step) endobj 45 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 48 0 obj (2.3. Proof writing red flag) endobj 49 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 52 0 obj (2.4. Some additional caveats with proofs by induction) endobj 53 0 obj << /S /GoTo /D (subsection.2.5) >> endobj 56 0 obj (2.5. Strengths and weaknesses of induction) endobj 57 0 obj << /S /GoTo /D (subsection.2.6) >> endobj 60 0 obj (2.6. Summation notation: a brief introduction) endobj 61 0 obj << /S /GoTo /D (subsection.2.7) >> endobj 64 0 obj (2.7. More induction problems involving summation) endobj 65 0 obj << /S /GoTo /D (subsection.2.8) >> endobj 68 0 obj (2.8. The product notation) endobj 69 0 obj << /S /GoTo /D (subsection.2.9) >> endobj 72 0 obj (2.9. A trickier example involving telescoping) endobj 73 0 obj << /S /GoTo /D (section.3) >> endobj 76 0 obj (3. Induction and inequalities) endobj 77 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 80 0 obj (3.1. Induction and inequalities: why we need them) endobj 81 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 84 0 obj (3.2. Inequalities and auxiliary inequalities) endobj 85 0 obj << /S /GoTo /D (section*.13) >> endobj 88 0 obj (Detailed discussion of example 2 from the book) endobj 89 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 92 0 obj (3.3. Confusing: marching forwards and bending over backwards) endobj 93 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 96 0 obj (3.4. Discussion of Exercise 9 from the book \(homework problem\)) endobj 97 0 obj << /S /GoTo /D (subsection.3.5) >> endobj 100 0 obj (3.5. Detailed discussion of an example not in the book or exercises) endobj 101 0 obj << /S /GoTo /D (section.4) >> endobj 104 0 obj (4. Fancy forms and interpretations of induction) endobj 105 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 108 0 obj (4.1. Induction is conceptually like differentiation/integration) endobj 109 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 112 0 obj (4.2. Induction for sufficiently large integers) endobj 113 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 116 0 obj (4.3. Induction where a statement is assumed for all smaller values) endobj 117 0 obj << /S /GoTo /D (subsection.4.4) >> endobj 120 0 obj (4.4. Induction on multiple parameters: simultaneous and separate) endobj 121 0 obj << /S /GoTo /D (subsection.4.5) >> endobj 124 0 obj (4.5. Induction on congruence classes) endobj 125 0 obj << /S /GoTo /D [126 0 R /Fit ] >> endobj 128 0 obj << /Length 3905 /Filter /FlateDecode >> stream xڵZY~7c+ZsTAQC,]" $Rs{W|oK]+4s]epWۿ'?vEr۟Uyrow?˛w{U^+3U]hVUU.Q7&+|ʓou8%߲<ۻ/?rϯA/8/ˍ&UZW7H\o=7>-z*ۺ㖌³I]w.~hyUeiYuѲiY|h6Hlla#4&Qi)(