The original textbook
Clive Newstead · An infinite descent into pure mathematics · SAMS 2017 · PDF updated August 11, 2017.
Open PDFCMU 15-151 / AN INDEPENDENT STUDY COMPANION
Mathematical foundations.
A new way to think.
Mathematical Foundations for Computer Science. Begin with the language of mathematics, then turn a promising idea into an argument that holds up.
High-school algebra is a useful starting point. Learn at your own pace.
01 interactive chapter available
12 learning stops in Chapter 1
72 practice problems in Chapter 1
2017 source textbook edition
YOUR TABLE OF CONTENTS
Choose a chapter.
Start at the beginning, or return to your current work. Only Chapter 1 is interactive today.
- Interactive · available now
Mathematical reasoning
12 learning stops · 72 practice problems · proof workshops and spaced review.
Original textbook · pp. 11–74
- Planned · not available
Further chapters
Additional chapter companions are planned. Titles, reading ranges, and release dates have not been set.
This is a companion roadmap, not a current CMU syllabus. Planned entries do not represent verified textbook chapters.
THE READING ROOM
Keep the source close.
Read. Practice. Revisit.
How to learn with Proof Atlas
A practical guide to diagnostics, practice, proof review, and spaced recall. No account or built-in AI service required.
Open Study guideLearn by doing.
The existing Chapter 1 companion: 12 lessons, hints, deterministic choice checks, and a place to draft proofs.
Open the Chapter 1 tutorialA note on the source.
Clive Newstead’s An infinite descent into pure mathematics, SAMS 2017. The local PDF is dated August 11, 2017. Chapter 1, Mathematical reasoning, spans pp. 11–74. Learning stops are our teaching arrangement, not additional textbook chapters.
Original Clive Newstead course page · Original PDF · CC BY-NC-SA 4.0. The textbook retains its original attribution and license; adaptations and code use the same license.