Transcription of Mathematics for Computer Science - MIT OpenCourseWare
{{id}} {{{paragraph}}}
Mcs 2015/5/18 1:43 page i #1 Mathematics for Computer Science revised Monday 18th May, 2015, 01:43 Eric Lehman Google Inc. F Thomson LeightonDepartment of Mathematics and the Computer Science and AI Laboratory, Massachussetts Institute of Technology; Akamai Technologies Albert R MeyerDepartment of Electrical Engineering and Computer Science and the Computer Science and AI Laboratory, Massachussetts Institute of Technology 2015, Eric Lehman, F Tom Leighton,Albert R Meyer. This work is available under the terms of theCreative CommonsAttribution-NonCommercial-ShareAl ike license.
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
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}