文件名称：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.