| Book Exercise Lanes | exercise | 1 | Open |
| Carrying Out the Plan Requires Per-Step Verification | concept | 2 | Open |
| Cluster 5: Bridge to Computing | practice | 1 | Open |
| Code Katas | practice | 1 | Open |
| Construction Turns Existence Claims into Procedures | concept | 4 | Open |
| Contradiction and Invariants Prove That Something Cannot Happen | concept | 3 | Open |
| Debugging Mathematical and Algorithmic Reasoning Is Its Own Skill | concept | 2 | Open |
| Devising a Plan Converts Random Attempts into Experiment | concept | 3 | Open |
| Divide-and-Conquer and Dynamic Programming as General Strategies | concept | 4 | Open |
| Generalization, Transfer, and Research-Level Problems | concept | 5 | Open |
| Learning Resources | resource | 1 | Open |
| Looking Back Is Where the Compounding Happens | concept | 3 | Open |
| Patterns and Analogies Port Solutions Across Domains | concept | 5 | Open |
| Problem-Solving Begins with Understanding, Not Computing | concept | 2 | Open |
| Problem-Solving Under Deadlines: Triage Under Partial Information | concept | 2 | Open |
| Reading Code as Problem-Solving: Decoding Intent from Implementation | concept | 2 | Open |
| Reference and Selective Reading | reference | 7 | Open |
| Special Cases and Simplification Generate Reliable Data | concept | 4 | Open |
| Translating Informal Problems into Formal Specifications | concept | 2 | Open |
| Working Backwards from the Goal Shrinks the Search | concept | 4 | Open |