Example: air traffic controller
Mathematics for Computer Science - MIT OpenCourseWare

Mathematics for Computer Science - MIT OpenCourseWare

Back to document page

Attribution-NonCommercial-ShareAlike 3.0 license. “mcs” — 2015/5/18 — 1:43 — page ii — #2 “mcs” — 2015/5/18 — 1:43 — page iii — #3. Contents. 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

  Mit opencourseware, Opencourseware, Sharealike

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