Learning Resources
The reading guide gives bounded assignments and verified local
locators. Use it before opening another book. The website's mirrored source root is
library/raw/semester-01-math-foundations/; book directories sit directly under it.
| Source | Role and scope |
|---|---|
| Mathematics for Computer Science | Primary proof, logic, data-type and induction explanations |
| Discrete Mathematics and Its Applications | Selective alternate explanations and exercise volume; inspect your edition |
| Cornell: Induction and Recursion | Targeted distinction between inductive derivations, well-founded reasoning and recursive definitions |
| MIT 6.1200J syllabus, Spring 2024 | Primary course context and textbook information; not a claim that this module matches its assessment |
Resources is a support map, not a required reading dump. Use a source to repair a specific misconception, produce a proof with it closed, then test transfer. Repository paths for optional PDFs are in the reading guide; their availability does not imply each edition has been fully reviewed.