|
|
| (23 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
| {| class="sortable wikitable"
| | #redirect [[learning:Understanding mathematical definitions]] |
| |-
| |
| ! Step !! Description !! Purpose !! Example
| |
| |-
| |
| | Type-checking and parsing ||
| |
| |-
| |
| | Checking assumptions of objects introduced || Remove or alter each assumption of the objects that have been introduced in the definition to see why they are necessary.
| |
| |-
| |
| | Come up with examples ||
| |
| |-
| |
| | Come up with counterexamples ||
| |
| |-
| |
| | Writing out a wrong version of the definition ||
| |
| |-
| |
| | Understand the kind of definition ||
| |
| |-
| |
| | If the definition defines an operations, check that it is well-defined ||
| |
| |-
| |
| | If the definition supersedes an older definition, check it is consistent with the old one ||
| |
| |}
| |