click below
click below
Normal Size Small Size show me how
CS 257 Test 2
Reasoning, Proofs, & Recursion
Term | Definition |
---|---|
Inductive Reasoning | You can't prove it is true. It is a rule of thumb. |
Deductive Reasoning | Uses logic rules to deduce a conclusion. You can prove something is not true by counter example. |
Direct Proof | Formally proves a statement given hypothesis and rules to deduce the conclusion. Formally proves the hypothesis lead to the conclusion by rules and justifying each step by rules. |
Exhaustive Proof | Shows that all the possible cases involved in the proof have been exhausted. |
Proof by Contraposition | Proves by looking at the contraposition. |