Mathematical Thinking DPF
20 patterns · 486 sections · 0.5 MB
Table of contents
- Mathematical Thinking DPF
- Table of Contents
- Public units
- Part A - Choose and relate constructions
- Part B - Construct and criticize arguments
- Part C - Change a construction and develop its theory
- Mathematical Thinking - Readme
- Practical entries
- MP-FRAME - Find the mathematical contribution in an unfamiliar problem
- MP-COMBINE-RESULTS - Change a rule so that separately obtained results can be combined
- Worked connection for MP-COMBINE-RESULTS
- Mathematical Thinking - Preface
- MATH.Preface:1 - Problem frame - Construct mathematics for the question
- MATH.Preface:2 - Problem and forces - Make a usable construction
- MATH.Preface:3 - Solution - Connect constructions through what they supply
- MATH.Preface:3.1 - Form objects, operations and representations
- MATH.Preface:3.2 - Obtain an argument and the object it supports
- MATH.Preface:3.3 - Change a construction and develop its theory
- MATH.Preface:3.4 - Return a construction to further work
- MATH.Preface:3.5 - Use this contribution within the wider repertoire
- MATH.Preface:3.6 - Constituent actions in ongoing work
- MATH.Preface:4 - Worked use - Choose a representation after the question changes
- MATH.Preface:5 - Worked use - Construct a choice after finding an obstruction
- MATH.Preface:6 - Checks and common failures - Preserve what the next construction needs
- MATH.Preface:7 - Consequences, biases and limits
- MATH.Preface:8 - Architectural Rationale - Organize by reusable constructions
- MATH.Preface:9 - Source use and currentness
- MATH.Preface:10 - Relations to further reasoning and work
- MATH.Preface:End
- Part A - Choose and relate constructions
- MATH.16MATH.16 - Choose a Mathematical Construction from Its Required Maps (Universal Property)
- MATH.16:1 - Problem frame
- MATH.16:2 - Problem
- MATH.16:3 - Forces
- MATH.16:4 - Solution
- MATH.16:4.1 - Express the needed use as maps and equations
- MATH.16:4.2 - State the universal property before choosing an encoding
- MATH.16:4.3 - Construct an object and establish the property
- MATH.16:4.4 - Derive the next map, comparison or operation
- MATH.16:4.5 - Use the result and return to a changed requirement
- MATH.16:5 - Archetypal Grounding
- MATH.16:5.1 - Two classifications, then one shared integer
- MATH.16:5.2 - Process both results or either result
- MATH.16:5.3 - Two views of one quantity
- MATH.16:5.4 - Construct an object that can itself be applied
- MATH.16:6 - Bias-Annotation
- MATH.16:7 - Conformance Checklist
- MATH.16:8 - Common Anti-Patterns and How to Avoid Them
- MATH.16:9 - Consequences
- MATH.16:10 - Architectural Rationale
- MATH.16:11 - SoTA-Echoing
- MATH.16:12 - Relations
- MATH.16:End
- MATH.17MATH.17 - Construct Mathematical Spaces of Operations and Operations on Them
- MATH.17:1 - Problem frame
- MATH.17:2 - Problem
- MATH.17:3 - Forces
- MATH.17:4 - Solution
- MATH.17:4.1 - Specify the operations and the question about them
- MATH.17:4.2 - Construct the admissible collections
- MATH.17:4.3 - Establish the composition that the work needs
- MATH.17:4.4 - Construct an operation on operations and its law
- MATH.17:4.5 - Use the construction to change or compare rules
- MATH.17:5 - Archetypal Grounding
- MATH.17:5.1 - Individually permitted changes and a permitted whole
- MATH.17:5.2 - Lift a rule, then change how repetition is distributed
- MATH.17:5.3 - An operator whose useful law has another form
- MATH.17:5.4 - Change a function while preserving its increments
- MATH.17:6 - Bias-Annotation
- MATH.17:7 - Conformance Checklist
- MATH.17:8 - Common Anti-Patterns and How to Avoid Them
- MATH.17:9 - Consequences
- MATH.17:10 - Architectural Rationale
- MATH.17:11 - SoTA-Echoing
- MATH.17:12 - Relations
- MATH.17:End
- MATH.1MATH.1 - Build a Mathematical Structure of Composable Paths
- MATH.1:1 - Problem frame
- MATH.1:2 - Problem
- MATH.1:3 - Forces
- MATH.1:4 - Solution
- MATH.1:4.1 - Choose objects and generating arrows
- MATH.1:4.2 - Form finite paths
- MATH.1:4.3 - Define composition by concatenation
- MATH.1:4.4 - Use the path at the needed level
- MATH.1:5 - Archetypal Grounding
- MATH.1:5.1 - A continuation that needs a permission
- MATH.1:5.2 - Natural numbers from repetition
- MATH.1:5.3 - Order matters under interpretation
- MATH.1:5.4 - Keep the intermediate states of interacting updates
- MATH.1:6 - Bias-Annotation
- MATH.1:7 - Conformance Checklist
- MATH.1:8 - Common Anti-Patterns and How to Avoid Them
- MATH.1:9 - Consequences
- MATH.1:10 - Architectural Rationale
- MATH.1:11 - SoTA-Echoing
- MATH.1:12 - Relations
- MATH.1:End
- MATH.2MATH.2 - Treat Objects as the Same While Preserving Operations (Quotient)
- MATH.2:1 - Problem frame
Showing 1–100 of 486 entries. Source edition 1f16950577d0.