Example: bankruptcy
Inference Rules and Proof Methods - Engineering

Inference Rules and Proof Methods - Engineering

Back to document page

A formal proof is based simply on symbol manipulation (no need of thinking, just apply rules). A formal proof is rigorous but so can be a proof that does not rely on symbols! CSI2101 Discrete Structures Winter 2010: Rules of Inferences and Proof MethodsLucia Moura

  Amour

Download Inference Rules and Proof Methods - Engineering


Information

Domain:

Source:

Link to this page:

Please notify us if you found a problem with this document:

Other abuse

Advertisement

Related search queries