fpf.tools
Library / Computational Thinking DPF
Jump to passage
In this reading
Source · lines 671–678

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 03:45:20 UTC

CMP.2:12 - Relations

  • C.29.2 - Computational Formulation: supplies the requested computational result, elementary operations and connection to use.
  • CMP.1: supplies reuse through an effective reduction; recursion constructs the repeated same-family reduction and its return.
  • MATH.4 and MATH.12: supply inductive construction and the obtaining operations recoverable from proof.
  • CMP.3: shares repeated calls and chooses their evaluation and storage; CMP.4 handles exclusions among alternative extensions.
  • MATH.20: supplies bounds used when comparing cost or consequences. The general resource and portfolio methods choose among the constructed alternatives.