Embed Doc
Copy Link
Readcast
Collections

CommentGo Back

Download

Mathematics for Computer ScienceEric Lehman and Tom Leighton2004

2

Contents

1.1 Propositions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151.2 Axioms. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191.3 Logical Deductions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.4 Examples of Proofs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.4.1 A Tautology. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211.4.2 A Proof by Contradiction. . . . . . . . . . . . . . . . . . . . . . . . . 22

2 Induction I23

2.1 A Warmup Puzzle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232.2 Induction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 242.3 Using Induction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252.4 A Divisibility Theorem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 282.5 A Faulty Induction Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302.6 Courtyard Tiling. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312.7 Another Faulty Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

3 Induction II35

3.1 Good Proofs and Bad Proofs. . . . . . . . . . . . . . . . . . . . . . . . . . . . 353.2 A Puzzle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363.3 Unstacking. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403.3.1 Strong Induction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403.3.2 Analyzing the Game. . . . . . . . . . . . . . . . . . . . . . . . . . . . 413