Sách: Mathematics for Computer Science
Mathematics
for
Computer Science
Eric Lehman F Thomson Leighton Albert R Meyer
September,2010
.Mathematics for Computer Science
revised Wednesday 8th September, 2010, 00:40
Eric Lehman
Google Inc.
F Thomson Leighton
Department of Mathematics and CSAIL, MIT Akamai Technologies
Albert R Meyer
Massachusets Institute of Technology
Copyright © 2010, Eric Lehman, F Tom Leighton, Albert R Meyer . All rights reserved.
..Contents
I Proofs
1 Propositions 5
1.1 1.2 1.3 1.4 1.5 Compound Propositions 6 Propositional Logic in Computer Programs Predicates and Quantifiers 11 Validity 19 Satisfiability 21 The Axiomatic Method 23 Proof by Cases 26 Proving an Implication 27 Proving an “If and Only If” 30 Proof by Contradiction 32 Proofs about Sets 33 Good Proofs in...