MIT与Google联袂编著的Mathematics for Computer Science最近开放下载,998页,有空可以看看。微博上的链接很慢,就上传到我的服务器,大家可以下载,顺便也是测试下服务器性能吧。

Mathematics for Computer Science. 下载连接

Chapter 1:What is proof?

new concepts:

  • proposition: A proposition is a statement (communication) that is either true or false. 如果记得没错,这就是命题。
  • logical deduction:
  • axiom: