Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cs-401r:proofs [2014/09/05 14:10]
ringger created
cs-401r:proofs [2014/09/24 21:41] (current)
cs401rPML Added link to example proofs page.
Line 5: Line 5:
 * Each step must also be justified. ​ If you cannot provide a clear and convincing reason for a particular statement in your proof, then you need to give the matter further thought and consider adding additional steps to improve the argument. * Each step must also be justified. ​ If you cannot provide a clear and convincing reason for a particular statement in your proof, then you need to give the matter further thought and consider adding additional steps to improve the argument.
 * The last step is the conclusion, namely the statement which you set out to prove. * The last step is the conclusion, namely the statement which you set out to prove.
 +
 +See the proofs on the [[example_proofs|example proofs page]].
  
 A bad proof may have the following properties: A bad proof may have the following properties:
Line 10: Line 12:
 * Any step is a simple expression with some value other than true or false. * Any step is a simple expression with some value other than true or false.
 * Any step violates type constraints;​ e.g., a step that equates a number to a set cannot be valid. ​ Use your mental type-checker! * Any step violates type constraints;​ e.g., a step that equates a number to a set cannot be valid. ​ Use your mental type-checker!
 +
 +
  
cs-401r/proofs.txt ยท Last modified: 2014/09/24 21:41 by cs401rPML
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0