User:IssaRice/Understanding definitions: Difference between revisions
(Created page with "{| class="sortable wikitable" |- ! Step !! Description !! Purpose !! Example |- | Type-checking and parsing || |- | Checking assumptions of objects introduced || Remove or alt...") |
No edit summary |
||
| Line 7: | Line 7: | ||
| 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. | | 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 || | |||
|} | |} | ||
Revision as of 21:03, 3 December 2018
| 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 |