《离散数学》双语专业词汇表 名词术语中英文索引 | 您所在的位置:网站首页 › 有理数集英文翻译 › 《离散数学》双语专业词汇表 名词术语中英文索引 |
《离散数学》双语专业词汇表 set:集合 subset:子集 element, member:成员,元素 well-defined: 良定,完全确定 brace:花括号 representation:表示 sensible: 有意义的 rational number:有理数 empty set:空集 Venn diagram:文氏图 contain(in):包含(于) universal set:全集 finite (infinite) set:有限(无限)集 cardinality:基数,势 power set:幂集 operation on sets:集合运算 disjoint sets: 不相交集 intersection:交 union: 并 complement of B with respect to A:A与B的差集 symmetric difference:对称差 commutative: 可交换的 associative:可结合的 distributive:可分配的 idempotent:等幂的 de Morgan’s laws:德摩根律 inclusion-exclusion principle:容斥原理 sequence:序列 subscript:下标 recursive:递归 explicit: 显式的 string:串,字符串 set corresponding to a sequence:对应于序列的集合 linear array(list):线性表 characteristic function: 特征函数 countable(uncountable):可数(不可数) alphabet:字母表 word:词 empty sequence(string):空串 catenation:合并,拼接 regular expression:正则表达式 division:除法 multiple:倍数 prime:素(数) algorithm:算法 common divisor:公因子 GCD(greatest common divisor):最大公因子 LCM(least common multiple):最小公倍数 Euclidian algorithm:欧几里得算法,辗转相除法 pseudocode:伪码(拟码) matrix:矩阵 square matrix:方阵 row:行 column:列 entry(element):元素 diagonal matrix:对角阵 Boolean matrix:布尔矩阵 join:并 meet:交 Boolean product:布尔乘积 mathematical structure(system):数学结构(系统) closed with respect to:对…是封闭的 binary operation:二元运算 unary operation:一元运算 identity:么元,单位元 inverse:逆元 statement, proposition:命题 logical connective:命题联结词 compound statement:复合命题 propositional variable:命题变元 negation:否定(式) truth table:真值表 conjunction:合取 disjunction:析取 quantifier:量词 universal quantification:全称量词化 propositional function:命题公式 predicate:谓词 existential quantification:存在量词化 converse:逆命题 conditional statement, implication:条件式,蕴涵式 |
CopyRight 2018-2019 实验室设备网 版权所有 |