国外计算机科学教材系列教程之离散数学第四版PDF电子书免费下载

资料大小: 26.13 MB

所需积分: 1

下载次数:

用户评论: 0条评论,查看

上传日期: 2020-08-26

上 传 者: 大锅炖鱼他上传的所有资料

资料介绍

标签:代数(20)程序(1804)计算机(3171)

  逻辑是研究推理的,它特别着重于推理过程是否正确。它不是研究某个特定的语句是否正确,而是着重于语句之间的关系。例如,考虑下列语句

  所有数学家都穿凉鞋

  任何穿凉鞋的人都是代数学家。

  因此,所有的数学家都是代数学家。

  从技术上来说,要单独确定这些语句中的某一句是否正确,逻辑并没有用。但是,如果前两个语句为真,逻辑可以肯定第三个语句因此,所有的数学家都是代数学家也是正确的。逻辑方法在数学中用于定理证明,在计算机科学中,用来证明程序是在作它应该作的事情。在本章的后面将讨论一些证明的一般方法,其中之一是数学归纳法,它广泛用于数学和计算机科学中。数学归纳法对离散数学特别有用

用户评论

查看全部 条评论

发表评论请先 , 还没有账号?免费注册

发表评论

用户评论
技术交流、我要发言! 发表评论可获取积分! 请遵守相关规定。
上传电子资料