intTypePromotion=1

Sách: Mathematics for Computer Science

Chia sẻ: Nguyen Bao Ngoc | Ngày: | Loại File: PDF | Số trang:557

0
56
lượt xem
14
download

Sách: Mathematics for Computer Science

Mô tả tài liệu
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

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...

Chủ đề:
Lưu

Nội dung Text: Sách: Mathematics for Computer Science

ADSENSE
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2