《離散數學》雙語專業詞匯表

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：條件式，蘊涵式

consequent, conclusion：結論，后件

contrapositive：逆否命題 hypothesis： 假設，前提，前件

biconditional, equivalence：雙條件式，等價

logically equivalent：（邏輯）等價的 contingency：可滿足式

tautology：永真(重言)式 contradiction, absurdity：永假(矛盾)式

logically follow：是…的邏輯結論 rules of reference：推理規則

modus ponens：肯定律 modus tollens：否定律

indirect method：間接證明法 proof by contradiction：反證法

counterexample；反例 basic step：基礎步

principle of mathematical induction：（第一）數學歸納法

induction step：歸納步 strong induction：第二數學歸納法

relation：關系 digraph：有向圖

ordered pair：有序對，序偶 product set, Caretesian set：叉積，笛

partition, quotient set：劃分，商集 block, cell：劃分塊，單元

domain：定義域 range：值域

R-relative set：R相關集 vertex(vertices)：結點，頂點

edge：邊 in-degree：入度

out-degree：出度 path：通路，路徑

cycle：回路 connectivity relation：連通性關系

reachability relation：可達性關系 composition：復合

reflexive：自反的 irreflexive：反自反的

empty relation：空關系 symmetric：對稱的

asymmetric：非對稱的 antisymmetric：反對稱的

graph：無向圖 undirected edge：無向邊

adjacent vertices：鄰接結點 connected：連通的

transitive：傳遞的 equivalent relation：等價關系

congruent to：與…同余 modulus：模

equivalence class：等價類 linked list：鏈表

storage cell：存儲單元 pointer：指針

complementary relation：補關系 inverse：逆關系

closure：閉包 symmetric closure：對稱閉包

reflexive closure：自反閉包 composition：關系的復合

transitive closure：傳遞閉包 Warshal’s algorithm：Warshall算法

function, mapping, transformation：函數，映射，變換

argument：自變量 value, image：值，像，應變量

labeled digraph：標記有向圖 identity function on A：A上的恒等函數

everywhere defined：處處有定義的 onto：到上函數，滿射

one to one：單射，一對一函數

bijection, one-to-one correspondence：雙射，一一對應

invertible function：可逆函數 floor function：下取整函數

ceiling function：上取整函數 Boolean function：布爾函數

base 2 exponential function：以2為底的指數函數

logarithm function to the base n：以n為底的對數

hashing function：雜湊函數 key：鍵

growth of function：函數增長 same order：同階

lower order：低階 running time：運行時間

permutation：置換，排列 cyclic permutation：循環置換，輪換

transposition：對換 odd(even) permutation：奇（偶）置換

order relation：序關系 partial order：偏序關系

partially ordered set, poset：偏序集 dual：對偶

comparable：可比較的 linear order(total order)：線序，全序

linearly ordered set, chain：線（全）序集，鏈

product partial order：積偏序

lexicographic order：字典序 Hasse diagram：哈斯圖

topological sorting：拓撲排序 isomorphism：同構

maximal(minimal) element：極大(小)元 extremal element：極值元素

greatest(least) element：最大(小)元 unit element：么(單位)元

zero element：零元 upper(lower) bound：上(下)界

least upper(greatest lower) bound：上(下)確界 lattice：格

join：，保聯，并 meet：保交，交

sublattice：子格 absorption property：吸收律

bounded lattice：有界格 distributive lattice：分配格

complement：補元 modular lattice：模格

Boolean algebra：布爾代數 involution property：對合律

Boolean polynomial, Boolean expression：布爾多項式（表達式）

or(and, not) gate：或(與，非)門 inverter：反向器

circuit design：線路設計 minterm：極小項

Karnaugh map：卡諾圖

tree：樹 root：根，根結點

rooted tree：（有）根樹 level：層，

parent：父結點 offspring：子女結點

siblings：兄弟結點 height：樹高

leaf(leave)：葉結點 ordered tree：有序樹

n-tree：n-元樹 complete n-tree：完全n-元樹

(complete) binary tree：(完全)二元(叉)樹 descendant：后代

subtree：子樹 positional tree：位置樹

positional binary tree：位置二元(叉)樹 doubly linked list：雙向鏈表

tree searching：樹的搜索（遍歷） traverse：遍歷，周游

preorder search：前序遍歷 Polish form：（表達式的）波蘭表示

inorder search：中序遍歷 postorder search：后序遍歷

reverse Polish form：（表達式的）逆波蘭表示

linked-list representation：鏈表表示

undirected tree：無向樹 undirected edge：無向邊

adjacent vertices：鄰接結點 simple path：簡單路徑（通路）

simple cycle：簡單回路 acyclic：無（簡單）回路的

spanning tree：生成樹，支撐樹 Prim’s algorithm：Prim算法

minimal spanning tree：最小生成樹 weighted graph：（賦）權圖

weight：樹 distance：距離

nearest neighbor：最鄰近結點 greedy algorithm：貪婪算法

optimal solution：最佳方法 Kruskal’s algorithm：Kruskal算法

graph：(無向)圖 vertex(vertices)：結點 edge：邊

end point：端點 relationship：關系 connection：連接

degree of a vertex：結點的度 loop：自回路 path：路徑

isolated vertex：孤立結點 adjacent vertices：鄰接結點

circuit：回路 simple path(circuit)：基本路徑(回路)

connected：連通的 disconnected：不連通的 component：分圖

discrete graph(null graph)：零圖 complete graph：完全圖

regular graph：正規圖，正則圖 linear graph：線性圖

subgraph：子圖 Euler path(circuit)：歐拉路徑(回路)

Konisberg Bridge problem：哥尼斯堡七橋問題 ordinance：法規

recycle：回收，再循環 bridge：橋，割邊

Hamiltonian path(circuit)：哈密爾頓路徑(回路)

dodecahedron：正十二面體 weight：權

TSP(traveling salesperson problem)：貨郎擔問題

transport network：運輸網絡 capacity：容量

maximum flow：最大流 source：源

sink：匯 conversation of flow：流的守恒

value of a flow：流的值 excess capacity：增值容量

cut：割 the capacity of a cut：割的容量

matching problems：匹配問題 matching function：匹配函數

compatible with：與…相容 maximal match：最大匹配

complete match：完全匹配 coloring graphs：圖的著色

proper coloring：正規著色 chromatic number of G：G的色數

map-coloring problem：地圖著色問題 conjecture：猜想

planar graph：(可)平面圖 bland meats：未加調料的肉

chromatic polynomial：著色多項式

binary operation on a set A：集合A上的二元運算

closed under the operation：運算對…是封閉的

commutative：可交換的 associative：可結合的

idempotent：冪等的 distributive：可分配的

semigroup：半群 product：積

free semigroup generated by A：由A生成的自由半群

identity(element)：么（單位）元 monoid：含么半群，獨異點

subsemigroup：子半群 submonoid：子含么半群

isomorphism：同構 homomorphism：同態

homomorphic image：同態像 Kernel：同態核

congruence relation：同余關系 natural homomorphism：自然同態

group：群 inverse：逆元 quotient group：商群

Abelian group：交換（阿貝爾）群 cancellation property：消去律

multiplication table：運算表 finite group：有限（階）群

order of a group：群的階 symmetric group：對稱群

subgroup：子群 alternating group：交替群

Klein 4 group：Klein四元群 coset：陪集

(left) right coset：(左)右陪集 normal subgroup：正規(不變)子群

prerequisite：預備知識 virtually：幾乎

informal brand：不嚴格的那種 notation：標記

sensible：有意義的 logician：邏輯學家

extensively：廣泛地，全面地 commuter：經常往來于兩地的人

by convention：按常規，按慣例 dimension：維(數)

compatible：相容的

discipline：學科 reasoning：推理

declarative sentence：陳述句 n-tuple：n-元組

component sentence：分句 tacitly：默認

generic element：任一元素 algorithm verification：算法證明

counting：計數 factorial：階乘

combination：組合 pigeonhole principle：鴿巢原理

existence proof：存在性證明 constructive proof：構造性證明

category：類別，分類 factor：因子

consecutively：相繼地 probability(theory)：概率(論)

die：骰子 probabilistic：概率性的

sample space：樣本空間 event：事件

certain event：必然事件 impossible event：不可能事件

mutually exclusive：互斥的，不相交的 likelihood：可能性

frequency of occurrence：出現次數(頻率) summarize：總結，概括

plausible：似乎可能的 equally likely：等可能的，等概率的

random selection(choose an object at random)：隨機選擇

terminology：術語 expected value：期望值

backtracking：回溯 characteristic equation：特征方程

linear homogeneous relation of degree k：k階線性齊次關系

binary relation：二元關系 prescribe：命令，規定

coordinate：坐標 criteria：標準，準則

gender：性別 graduate school：研究生院

generalize：推廣 notion：概念

intuitively：直覺地 verbally：用言語

approach：方法，方式 conversely：相反地

pictorially：以圖形方式 restriction：限制

direct flight：直飛航班 tedious：冗長乏味的

main diagonal：主對角線 remainder：余數

random access：隨機訪問 sequential access：順序訪問

custom：慣例 polynomial：多項式

substitution：替換 multi-valued function：多值函數

collision：沖突 analysis of algorithm：算法分析

sophisticated：復雜的

set inclusion(containment)：集合包含 distinguish：區分

analogous：類似的 ordered triple：有序三元組

recreational area：游樂場所

multigraph：多重圖 pumping station：抽水站

depot：貨站，倉庫 relay station：轉送站

轉載于:https://www.cnblogs.com/emanlee/archive/2011/01/31/1948337.html

總結

以上是生活随笔為你收集整理的《离散数学》双语专业词汇表 名词术语中英文索引的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。