《GBT 5271.2-1988 数据处理词汇 第2部分 算术和逻辑运算》.pdf

中 华 人 民 共 和 国 国 家 标 准 数据处理词汇 部分 算术和逻辑运算 发布 实施 中华人民共和国电子工业部 发 布 中 华 人 民 共 和 国 国 家 标 准 数据处理词汇 部分 算术和逻辑运算 概述 引言 本词汇包括约二十个部分 本部分阐述了数据处理中常用的一些有关数学和逻辑方面的概念 关于 数值量的一些概念 则按所采用的计算方法来阐明 本部分还包括算术和逻辑运算的一般术语 本部分的附录 参考件 和 参考件 中 附有一元和二元的布尔运算表 表中列有代表这些运算 的符号 这些符号不作为标准 在附录 参考件 中 补充列出了有关纯数学方面的术语和定义 本词汇的这一部分等效采用了国际标准 数据处理 词汇 部分 算术和逻 辑运算 范围 本词汇选出了有关数据处理领域中一些概念的术语及其简明定义 并阐明了不同概念之间的关系 以便于国内交流和国际交往 词汇涉及数据处理的各个主要方面 其中包括主要的处理过程和所用设备的类型 数据的表示 数 据的组织 数据的描述 计算机的程序设计和操作 外围设备 数据通信及其他的特殊应用 适用范围 本标准适用于有关电子计算机及信息处理各个领域的设计 生产 使用 维护 管理 科研 教学和出 版等方面 遵循的原则和规则 以下各项规则已在第一部分 即 部分 基本术语 中详细说明 它们同样适用 于本部分 这里不再重复 只将其各项的标题列出如下 词条的定义 词条的组成 词条的分类 术语的选择和定义的用语 多义术语 缩写 圆括号的用法 方括号的用法 黑体字术语和星号在定义中的用法 中华人民共和国电子工业部 批准 实施 拼法 索引表的编制 术语和定义 算术和逻辑运算 方法 探试法 一种探索解决问题的方法 这种方法通过评价一系列近似结果来逐步逼近 以求得满意的最 终结果 例如一种有目的的试凑法 数学归纳法 一种证明命题的方法 该命题涉及一系列项 这些项与不小于自然数 的自然数有关 证明 命题时 首行验证与 有关的项成立 而后假设与不小于 的自然数 有关的项成立 再证 明与 有关的项也成立 形式逻辑 研究有效论证的形式和结构 而不考虑论证所涉及的对象的含义 符号逻辑 数理逻辑 一门学科 在这门学科中 有效的论证和运算是用人工语言来进行的 以避免自然语言的二 义性和逻辑上的不适宜性 变量的表示法 逻辑变量 开关变量 只能取有限个可能的值或状态的一种变量 例 取值为字符集中的任一个字符的变量 变元 自变量 一个独立的变量 变元的值 自变量的值 独立变量的任何值 例 检索关键字 标识在表中项位置的号码 参量 参数 一种变量 针对每一特定应用场合 可赋予它一个常数值 也可用它来标志应用 标量 仅仅用一个值表征的