From Mathematics to Generic Programming (2015)

From Mathematics to Generic Programming (2015)

1. What This Book Is About

2. The First Algorithm

3. Ancient Greek Number Theory

4. Euclid's Algorithm

5. The Emergence of Modern Number Theory

6. Abstraction in Mathematics

7. Deriving a Generic Algorithm

8. More Algebraic Structures

9. Organizing Mathematical Knowledge

10. Fundamental Programming Concepts

11. Permutation Algorithms

12. Extensions of GCD

13. A Real-World Application

14. Conclusions

Appendix A. Notation

Appendix B. Common Proof Techniques

Appendix C. C++ for Non-C++ Programmers

Bibliography