Damian Brunold
Alexander Stepanov, Paul McJones: Elements of Programming
Das Buch verankert das Programmieren in der Mathematik, indem konsequent mittels rigoroser Mathematik Typen und Algorithmen entwickelt, bewiesen und in C++ implementiert werden.
Inhaltsverzeichnis
- Foundations
- Transformations and Their Orbits
- Associative Operations
- Linear Orderings
- Ordered Algebraic Structures
- Iterators
- Coordinate Structures
- Coordinates with Mutable Successors
- Copying
- Rearrangements
- Partition and Merging
- Composite Objects