中华人民共和国国家标准 数据处理词汇 UDC 681.3 : 001. 4 02部分算术和逻辑运算 GB5271.2—88 Data processing--vocabulary Section 02:Arithmetic and logic operations 1概述 1.1引言 本词汇包括约二十个部分，本部分阐述了数据处理中常用的一些有关数学和逻辑方面的概念。关于 数值量的一些概念，则按所采用的计算方法来阐明。本部分还包括算术和逻辑运算的一般术语。 本部分的附录A(参考件)和B(参考件)中，附有一元和二元的布尔运算表，表中列有代表这些运算 的符号，这些符号不作为标准。在附录C(参考件)中，补充列出了有关纯数学方面的术语和定义。 本词汇的这一部分等效采用了国际标准ISO2382/2一1976《数据处理-词汇一02部分：算术和 逻辑运算》。 1.2范围 本词汇选出了有关数据处理领域中一些概念的术语及其简明定义，并阐明了不同概念之间的关 系，以便于国内交流和国际交往。 词汇涉及数据处理的各个主要方面，其中包括主要的处理过程和所用设备的类型、数据的表示、数 据的组织、数据的描述、计算机的程序设计和操作、外围设备、数据通信及其他的特殊应用。 1.3适用范围 本标准适用于有关电子计算机及信息处理各个领域的设计、生产、使用、维护、管理、科研、教学和出 版等方面。 2遵循的原则和规则 以下各项规则已在第一部分（即GB5271.1一8501部分基本术语）中详细说明，它们同样适用 于本部分，这里不再重复，只将其各项的标题列出如下： 2.1词条的定义； 2.2词条的组成； 2.3词条的分类； 2.4术语的选择和定义的用语； 2.5多义术语； 2.6缩写； 2.7圆括号的用法； 2.8方括号的用法； 2.9黑体字术语和星号在定义中的用法； 中华人民共和国电子工业部1988-04-20批准 1989-05-01实施 GB5271.2—88 2.10.拼法； 2.11索引表的编制。 3术语和定义 02算术和逻辑运算 02.01 方法 02.01.01探试法 heuristic method 一种探索解决问题的方法，这种方法通过评价一系列近似结果来逐步逼近，以求得满意的最 终结果，例如一种有目的的试凑法。 02.01.02数学归纳法 mathematical induction 一种证明命题的方法，该命题涉及一系列项，这些项与不小于自然数N的自然数有关，证明 命题时，首行验证与N有关的项成立，而后假设与不小于N的自然数n有关的项成立，再证 明与n十1有关的项也成立。 02.01.03形式逻辑 formal logic 研究有效论证的形式和结构，而不考虑论证所涉及的对象的含义。 02.01.04 符号逻辑 symbolic logic 数理逻辑 mathematical logic 一门学科，在这门学科中，有效的论证和运算是用人工语言来进行的，以避免自然语言的二 义性和逻辑上的不适宜性。 02. 02 变量的表示法 02.02.01 逻辑变量 logicvariable 开关变量 switching variable 只能取有限个可能的值或状态的一种变量。 例：取值为字符集中的任一个字符的变量。 02.02.02 变元，自变量 argument 一个独立的变量。 02.02.03 变元的值，自变量的值 argument 独立变量的任何值。 例：检索关健字；标识在表中项位暨的号码。 02.02.04 参量，参数 parameter 一种变量，针对每一特定应用场合，可赋予它一个常数值，也可用它来标志应用。 02.02.05标 scalar 仅仅用一个值表征的量。