规范《GB5271.2-88数据处理词汇02-部分算术和逻辑运算》.pdfVIP

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