5计算学科中的数学方法.pptVIP

* * 第5章 计算学科中的数学方法 理论上，凡能被计算机处理的问题均可以转换为一个数学问题，凡能以离散数学为代表的构造性数学方法描述的问题，当该问题所涉及的论域为有穷，或者为无穷但存在有穷表示时，这个问题也一定能用计算机来处理。 一、数学的基本特征及数学方法的作用（P97-P98） 二、计算学科中常用的数学概念和术语 集合（已讲） 函数和关系 论域：一定场合（语境）中思考和议论所涉及的对象的范围。即某一范围内被论及对象的全部所构成的集合。 个体：可以独立存在的物体。 谓词：用来刻画个体的性质，或关系的词，刻画 一个个体性质的词为一元谓词，刻画几个 个体之间关系的词称为n元谓词。 （1）谓词：充当谓语（说明主语“怎么样”，“是什么”） 和能同副词结合的动词、形容词（辞海）。 （Predicate，谓词、断言） 命题：一个能分辩真假的陈述句称作一个命题 量词：全称量词 ?：所有的 存在量词 ?：存在 （2）谓词逻辑：将命题分解为主词、谓词和量词，研究 其形式结构，导出有关的逻辑形式和规 律的逻辑理