equal
deleted
inserted
replaced
1 \chapter{Advanced Simplification, Recursion, and Induction} |
1 \chapter{Advanced Simplification, Recursion and Induction} |
2 \markboth{}{CHAPTER 4: ADVANCED SIMPLIFICATION ...} |
2 \markboth{}{CHAPTER 4: ADVANCED SIMPLIFICATION, RECURSION ...} |
3 |
3 |
4 Although we have already learned a lot about simplification, recursion and |
4 Although we have already learned a lot about simplification, recursion and |
5 induction, there are some advanced proof techniques that we have not covered |
5 induction, there are some advanced proof techniques that we have not covered |
6 yet and which are worth knowing about if you intend to beome a serious |
6 yet and which are worth knowing about if you intend to beome a serious |
7 (human) theorem prover. The three sections of this chapter are almost |
7 (human) theorem prover. The three sections of this chapter are almost |