Construction Turns Existence Claims into Procedures
This generated surface maps a learner-facing curriculum unit to its canonical source routes.
Curriculum surface
- Open learner-facing unit
- Curriculum path:
content/curriculum/foundations/semester-01-math-foundations/module-05-problem-solving/concepts/cluster-03-structural-reasoning-and-construction/09-construction-turns-existence-claims-into-procedures-primary.md - App:
foundations - Semester:
semester-01-math-foundations - Module:
module-05-problem-solving - Unit kind:
concept - Curation level:
generated_default
Learning objectives
- Explain Construction Turns Existence Claims into Procedures in the language of the current curriculum, not just the source book.
- Apply Construction Turns Existence Claims into Procedures to one concrete learner task or example inside this semester.
- Use
elementary-number-theory,how-to-solve-it-by-computersas a selective source of truth when the learner-facing explanation is not enough.
Prerequisites
- The earlier concept pages and practice tasks in the current module.
Source books
elementary-number-theoryhow-to-solve-it-by-computers
Source routes
Elementary Number Theory
- /books/elementary-number-theory via
Elementary Number Theory: 2.3 The greatest common divisor,Elementary Number Theory: 2.4 The Euclidean algorithm
How To Solve It By Computers
- /books/how-to-solve-it-by-computers/algorithm-3-4-generating-prime-numbers-part-1 via
Dromey: Algorithm 3.4 Generating prime numbers (Part 1) - /books/how-to-solve-it-by-computers/chapter-01-getting-started-on-a-problem via
Dromey: 1.3.2 Choice of a suitable data structure,Dromey: 1.3.6 Termination of loops,Dromey: 1.5.8 Proof of termination - /books/how-to-solve-it-by-computers/chapter-03-design-an-algorithm-that-finds-the-integer-whose-square-is-cl via
Dromey: Algorithm 3.3 The greatest common divisor (Part 1)
Supporting curriculum routes
No supporting curriculum routes linked yet.
External enrichment
No curated enrichment resources yet.
AI companion modes
- Explain simply
- Socratic tutor
- Quiz me
- Challenge my understanding
- Diagnose my confusion
- Generate extra practice
- Revision mode
- Connect forward / backward
Source-of-truth note
This teaching unit is learner-facing guidance assembled from multiple canonical book routes. Use the listed source books as the primary conceptual spine for Construction Turns Existence Claims into Procedures, and treat outside material as supporting enrichment only.