资料下载
×
国外计算机科学教材系列教程之离散数学第四版PDF电子书免费下载
消耗积分:1 |
格式:pdf |
大小:26.13 MB |
2020-08-26
ah此生不换
分享资料个
逻辑是研究推理的，它特别着重于推理过程是否正确。它不是研究某个特定的语句是否正确，而是着重于语句之间的关系。例如，考虑下列语句
所有数学家都穿凉鞋
任何穿凉鞋的人都是代数学家。
因此，所有的数学家都是代数学家。
从技术上来说，要单独确定这些语句中的某一句是否正确，逻辑并没有用。但是，如果前两个语句为真，逻辑可以肯定第三个语句因此，所有的数学家都是代数学家也是正确的。逻辑方法在数学中用于定理证明，在计算机科学中，用来证明程序是在作它应该作的事情。在本章的后面将讨论一些证明的一般方法，其中之一是数学归纳法，它广泛用于数学和计算机科学中。数学归纳法对离散数学特别有用
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
