From Mathematics to Generic Programming (2011)

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