数理逻辑把推理符号化之二 设M(x)x是金属.设C(x)x能导电 设∨x表示:所有的x.设a表示铜 例2的推理过程表示为: 前提:Vx(M(x)>C(x)(所有金属都导电) 前提M(a) (铜是金属.) 结论C(a) (铜能导电) (其中符号M(x)是谓词,所以这就是第 章“谓词逻辑”中所讨论的内容.)
数理逻辑把推理符号化之二 • 设M(x): x是金属 . 设C(x): x能导电. 设x 表示: 所有的x . 设 a 表示铜. 例2的推理过程表示为： 前提:x(M(x)→C(x)) (所有金属都导电.) 前提:M(a) (铜是金属.) 结论:C(a) (铜能导电.) (其中符号M(x)是谓词，所以这就是第二 章“谓词逻辑”中所讨论的内容.）
数理逻辑与计算杋 使用计算机必须首先学会编“程序”,那么什么 是程序? 程序=算法十数据 算法=逻辑十控制 可见“逻辑”对于编程序是多么重要。要想学 好、使用好计算机,必须学习逻辑,此外,通过 学习逻辑,掌握逻辑推理规律和证明方法,会 培 养学生的逻辑思维能力,提高证明问题的技巧
使用计算机必须首先学会编“程序”，那么什么 是程序？ 程序＝算法＋数据 算法＝逻辑＋控制 可见“逻辑”对于编程序是多么重要。要想学 好、使用好计算机，必须学习逻辑，此外，通过 学习逻辑，掌握逻辑推理规律和证明方法 ，会 培 养学生的逻辑思维能力，提高证明问题的技巧。 数理逻辑与计算机
钱学森谈“计算机与数理逻辑” 电子计算机与数理逻辑具有非常密切的 关系。正是在数理逻辑中,把人类的推理 过程分解成一些非常简单原始的、非常机 械的动作,才使得用机器代替人类的推理 的设想有了实现的可能。 有了电子计算机,使用它时,必须先进 行程序设计,把整个推理、计算过程,丝 毫不漏地考虑到,统统编入程序
钱学森谈“计算机与数理逻辑” 电子计算机与数理逻辑具有非常密切的 关系。正是在数理逻辑中，把人类的推理 过程分解成一些非常简单原始的、非常机 械的动作，才使得用机器代替人类的推理 的设想有了实现的可能。 有了电子计算机，使用它时，必须先进 行程序设计，把整个推理、计算过程，丝 毫不漏地考虑到，统统编入程序
而机器则依次而运行;如稍有错误,将立 即得到毫无意义的结果。可见必须有足够的 数理逻辑的训练,熟悉推理过程的全部细节, 才能从事程序设计。 此外,程序设计是一个很细致又很麻烦的 工作,如何从事程序设计,如何防止在计算 过程中出错,如何很快地发现这种错误而及 时加以改正,都是程序设计理论(软件理)中 非常根本又非常重要的内容,大家都认为, 这些内容都与数理逻辑息息相关
而机器则依次而运行；如稍有错误，将立 即得到毫无意义的结果。可见必须有足够的 数理逻辑的训练，熟悉推理过程的全部细节, 才能从事程序设计。 此外，程序设计是一个很细致又很麻烦的 工作，如何从事程序设计，如何防止在计算 过程中出错，如何很快地发现这种错误而及 时加以改正，都是程序设计理论(软件理)中 非常根本又非常重要的内容，大家都认为， 这些内容都与数理逻辑息息相关
正如著名的计算机软件大师戴克斯 特拉( E WDijkstra)曾经说过:我现在年纪 大了,搞了这么多年软件,错误不知犯了 多少,现在觉悟了。我想,假如我早在数 理逻辑上好好下点功夫的话,我就不会犯 这么多错误。不少东西逻辑学家早就说过 了,可是我不知道。要是我能年轻20岁的 话,我就会回去学逻辑
正如著名的计算机软件大师戴克斯 特拉 (E.W.Dijkstra)曾经说过：我现在年纪 大了，搞了这么多年软件，错误不知犯了 多少，现在觉悟了。我想，假如我早在数 理逻辑上好好下点功夫的话，我就不会犯 这么多错误。不少东西逻辑学家早就说过 了，可是我不知道。要是我能年轻20岁的 话，我就会回去学逻辑