Learn to formulate precise mathematical claims, construct and audit proofs, reason with dimensions and estimates, build and validate quantitative models, and communicate what calculations and computation actually establish.
Translate technical statements into precise definitions, predicates, quantifiers, sets, functions, and relations and negate or challenge them correctly.
Construct and critique direct, case, contrapositive, contradiction, and induction proofs with explicit hypotheses and domains.
Use invariants, equivalence, conjecture testing, and representation changes to expose mathematical structure.
Carry units, derive dimensional scalings, estimate orders of magnitude, calculate bounds and errors, and analyse sensitivity.
Translate system stories into variables, assumptions, balances, constraints, calibrated parameters, validation checks, and targeted revisions.
Write readable derivations and distinguish proof, calculation, finite computation, simulation evidence, and empirical model validation.
Create and defend an independent quantitative resource model with dimensional checks, calibration, holdout validation, sensitivity analysis, and explicit failure modes.
