User:IssaRice/Understanding definitions: Difference between revisions

Latest revision as of 21:17, 24 December 2018

Redirect to:

@@ 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.
-|-
-| 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 ||
-|}