Example: bachelor of science
Mathematics for Computer Science - MIT OpenCourseWare

Mathematics for Computer Science - MIT OpenCourseWare

Back to document page

I Proofs Introduction 3 0.1 References 4 1 What is a Proof? 5 1.1 Propositions 5 1.2 Predicates 8 1.3 The Axiomatic Method 8 1.4 Our Axioms 9 1.5 Proving an Implication 11 1.6 Proving an “If and Only If” 13 1.7 Proof by Cases 15 1.8 Proof by Contradiction 16 1.9 Good Proofs in Practice 17 1.10 References 19 2 The Well Ordering Principle 27

  Mit opencourseware, Opencourseware

Download Mathematics for Computer Science - MIT OpenCourseWare


Information

Domain:

Source:

Link to this page:

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

Other abuse

Advertisement

Related search queries