equal
deleted
inserted
replaced
1 \chapter{Advanced Simplification, Recursion and Induction} |
1 \chapter{Advanced Simplification, Recursion and Induction} |
2 \markboth{}{CHAPTER 4: ADVANCED SIMPLIFICATION, RECURSION ...} |
|
3 |
2 |
4 Although we have already learned a lot about simplification, recursion and |
3 Although we have already learned a lot about simplification, recursion and |
5 induction, there are some advanced proof techniques that we have not covered |
4 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 |
5 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 |
6 (human) theorem prover. The three sections of this chapter are almost |