Mathematics for Computer Science
文档内容节选
mcsftl 201098 040 page i 1 Mathematics for Computer Science revised Wednesday 8th September 2010 0040 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 mcsftl 201098 040 page ii 2 mcsftl 201098 040 page iii 3 Contents I Proofs 1 2 3 Propositional Logic in Computer Programs Predicates and Quantiers 11 6 5......
猜您喜欢
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
京公网安备 11010802033920号
Copyright © 2005-2026 EEWORLD.com.cn, Inc. All rights reserved
评论