摘要： 第一章 什么是证明 本学习报告用书是由电子工业出版社出版的《计算机科学中的数学 信息与只能时代的必修课》一书，会在我本身的理解上对原书内容加以修改，可能会与原书内容有出入；若有问题欢迎在下面评论指正探讨。:) 本章内容： 1.什么是命题，以及命题的相关种类 2.谓词跟命题的关系 3.了解公理化方法 阅读全文