ICS 35.020 CCS L 00 吉 DB22 林 省 地 方 标 准 DB 22/T 2798.2—2021 朝鲜文信息技术 术语和定义 第 2 部分:算术与逻辑运算 The Korean alphabet information technology terms and definitions Part 2: Arithmetic and logic operations 2021 - 06 - 01 发布 吉林省市场监督管理厅 2021 - 06 - 15 实施 发 布 DB22/T 2798.2—2021 目  次 前言..................................................................................................................................................................... II 1 范围................................................................................................................................................................... 1 2 算术与逻辑运算............................................................................................................................................... 1 2.1 方法........................................................................................................................................................... 1 2.2 变量的表示法........................................................................................................................................... 2 2.3 数............................................................................................................................................................... 3 2.4 函数和映射............................................................................................................................................... 5 2.5 布尔运算................................................................................................................................................... 6 2.6 精度、准确度和误差............................................................................................................................... 9 2.7 算术运算................................................................................................................................................. 11 2.8 数学中的算符表示法............................................................................................................................. 13 2.9 数和量的处理......................................................................................................................................... 13 2.10 运算，操作........................................................................................................................................... 15 2.11 移位....................................................................................................................................................... 17 2.12 表和图................................................................................................................................................... 18 2.13 辅助术语............................................................................................................................................... 19 附 录 A （资料性附录） 一元布尔运算表.............................................................................................. 24 附 录 B （资料性附录） 二元布尔运算表.............................................................................................. 25 索引..................................................................................................................................................................... 26 I DB22/T 2798.2—2021 前  言 DB22/T 2798《朝鲜文信息技术 术语和定义》拟分为以下部分： ——第 1 部分：基本术语； ——第 2 部分：算术与逻辑运算； 本部分是 DB22/T 2798 的第 2 部分。 本部分按照GB/T 1.1—2020《标准化工作导则 第1部分：标准化文件的结构和起草规则》给出的规 则起草。 请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别专利的责任。 本部分由吉林省民族事务委员会提出并归口。 本部分起草单位：延吉北亚信息技术研究所、中国朝鲜语信息学会、延边朝鲜族自治州朝鲜语文工 作办公室、延边朝鲜族自治州工业和信息化局、延边大学、吉林省标准研究院。 本部分主要起草人：玄龙云、玄利吉、金千根、黄浩、郑昭林、金光洙、卢星华、张越。 II DB22/T 2798.2—2021 朝鲜文信息技术 术语和定义 第 2 部分:算术与逻辑运算 1 范围 DB22/T 2798的本部分规定了朝鲜文信息技术算术与逻辑运算的相关概念的术语和定义，并确定了 这些词条之间的关系。 本部分适用于朝鲜文信息技术算术与逻辑领域的概念理解和国内外信息交流。 2 算术与逻辑运算 2.1 方法 2.1.1 探试法 heuristic method 계발식 방법， 발견적 방법 一种探索解决问题的方法，这种方法通过评价一系列近似结果来逐步逼近，以求得满意的最终结果， 例如一种有目的的试凑法。 일련의 근사적 결과들을 리용하면서 접수할 만한 최종결과에로 접근해가는 평가가 진행하 는 문제해결의 탐색적방법. 례를 들어 일정한 지침에 따라 진행되는 시행착오적방법이 여기 에 속한다. 2.1.2 数学归纳法 mathematical induction 수학적 귀납법 一种证明命题的方法，该命题涉及一系列项，这些项与不小于自然数N的自然数有关，证明命题时， 首行验证与N有关的项成立，而后假设与不小于N的自然数n有关的项成立，再证明与n+1有关的项也成立。 N보다 큰 자연수에 기초한 항들과 관련한 명제를 증명하는 한가지 방법으로서 우선 그 명제가 N에 대하여 성립한다는것을 제시한 다음에 만일 N이상의 임의의 n에 대하여 그 명제가 성립하면 (n+1)에 대해서도 역시 성립한다는것을 보여 주는 방법으로 그 명제를 증 명하는 방법. 2.1.3 形式逻辑 formal logic 형식 론리 研究有效论证的形式和结构，而不考虑论证所涉及的对象的含义。 론증에 들어 있는 용어들의 의미에는 무관하게 성립하는 타당한 연구대상으로 삼는 학문. 론증의 구조와 형식을 2.1.4 1 DB22/T 2798.2—2021 符号逻辑，数理逻辑 symbolic logic，mathematical logic 기호론리，수리론리 一门学科，在这门学科中，有效的论证和运算是用人工语言来进行的，以避