【文件属性】：
文件名称：Mathematics for Computer Science
文件大小：12.78MB
文件格式：PDF
更新时间：2021-04-28 19:28:41
discrete math, mit
2018年3月23日版本
This text explains how to use mathematical models and methods to analyze problems
that arise in computer science. Proofs play a central role in this work because
the authors share a belief with most mathematicians that proofs are essential for
genuine understanding. Proofs also play a growing role in computer science; they
are used to certify that software and hardware will always behave correctly, something
that no amount of testing can do.