名詞及術語久不用就會忘記
這份列表列出一些我較常接觸的語言的名詞及術語的對照
若這份檔案的內容有誤，歡迎發issue，我會盡快更正
繁中 | 英 | 簡中
----- | ----- | -----
唯讀 | read only | 只读
| interface | 接口
| robustness | 鲁棒性
| abstract data type | 抽象数据结构
| implementation | 具体实现
資料結構 | Data Structure | 数据结构
| time complexity | 时间复杂度
| space complexity | 空间复杂度
| asymptotic analysis | 渐进分析
| worst case | 最坏实例，最坏情况
| best case | 最好情况
| average case | 平均情况
| base case of recursion | 递归基
| linear recursion | 线性递归
| recursion trace | 递归跟踪
| recurrence equation | 递归方程
| tail recursion | 尾递归
| binary recursion | 二分递归
| multi-way recursion | 多路递归
| decrease-and-conquer | 減而治之
| divide-and-conquer | 分而治之
| in-place algorithm| 就地算法
| degeneracy | 退化
| tabulation | 制表
| memoization | 记忆
陣列 | array | 数组
串列 | list | 列表
堆疊 | stack | 栈
| stack permutation | 栈混洗
佇列 | queue | 队列
二元樹 | binary tree | 二叉树
二元搜尋樹、二分搜尋樹 | binary search tree | 二叉搜索树
| ordered tree | 有序树
| full binary tree | 满二叉树
| depth | 深度
| height | 高度
| traversal | 遍历
| AVL tree | AVL树
| splay Tree | 伸展树
| B-tree | B树
| red black tree | 红黑树
| reverse polish notation | 逆波兰表达式
| locality | 局部性
| hash fuction | 散列函数
| hash table | 散列表
| load factor | 装填因子
| perfect hashing | 完美散列
| clustering | 聚集
| probing sequence / chaning | 查找键
| open addressing | 开放寻址
| linear probing | 线性试探
| quadratic probing | 平方试探
| double hashing | 再散列
| lexicographic order | 词典序
| bucket sort | 桶排序
| counting sort | 计数排序
| skip list | 跳转表
| bitmap | 位图
| priority queue | 优先级队列
| tournament tree | 锦标赛树
| binary heap | 二叉推
| substring | 子串
| prefix | 前缀
| suffix | 后缀
| | 关联
| | 空串
| string matching | 串匹配
| Turing machine |
图灵机 |
| Random Access Machine, RAM |
随机存储机 |
| tractable |
可有效求解的，易解的 |
| intractable |
难解的 |
| intractability |
难解性 |
| computability |
可计算性 |
| formal language |
形式语言 |
| 不可約多項式 |
irreducible polynomial |
| 項 |
term |
| 等差級數、等差數列 |
arithmetic progression |
| 等比級數、等比數列 |
geometric progression |
| 二項式定理 |
binomial theorem |
| 分子 |
numerator |
| 分母 |
denominator |
| 被除數 |
dividend |
| 除數 |
divisor |
| 全等 |
congruent |
| 一元二次方程 |
Quadratic equation |
| 象限、第一象限 |
quadrant, quadrant I |
| 嵌射 |
one to one, injection |
单射 |
| 映成映射、蓋射 |
onto, surjection |
满射 |
| 對射 |
bijection |
双射 |
| inductive definition |
归纳定义 |
| 定義域 |
domain |
定义域 |
| 值域 |
range |
值域 |
| complete |
完备的 |
| 周長 |
perimeter |
| 圓周（長） |
circumference |
| 圓心 |
center (of circle) |
| 四邊形 |
quadrilateral |
| 平行四邊形 |
parallelogram |
| 菱形 |
rhombus |
| 不等邊（三角形） |
scalene (triangle) |
| 等腰的（三角形） |
isosceles (triangle) |
| 腰 |
legs |
| 底 |
base |
| 銳角（三角形） |
acute (triangle) |
| 鈍角（三角形） |
obtuse (triangle) |
| 直角（三角形） |
right (triangle) |
繁中 | 英 | 簡中
----- | ----- | -----
| tetrahedron |
| octahedron |
| finite set |
有限集 |
| infinite set |
無限集 |
| empty set |
空集 |
| cardinality |
基數 |
| subset |
子集合．子集 |
| collection |
集合族 |
| union set |
并集 |
| intersection set |
交集 |
| difference set |
差集 |
| complement set |
补集 |
| power set |
冪集 |
| index set |
標志集 |
| ordered pairs |
序偶、二元有序組 |
| Cartesian product |
笛卡尔积 |
| extensionality axiom |
外延性公理 |
| n-ary relation |
n元关系 |
| graph of relation |
关系图 |
| matrix of relation |
关系矩阵 |
| converse |
逆关系、逆 |
| composition |
合成关系、复合关系 |
| reflexive |
自反的 |
| irreflexive |
反自反的 |
| symmetric |
对称的 |
| antisymmetric |
反对称的 |
| transitive |
传递的 |
| equivalent relation |
等价关系 |
| equivalent class |
等价类 |
| partition |
划分 |
| quotient |
商集 |
| ordered relation |
序关系 |
| ordered set |
有序集 |
| least element |
最小元 |
| greatest element |
最大元 |
| minimal element |
极小元 |
| maximal element |
极大元 |
| upper bound |
上界 |
| lower bound |
下界 |
| least upper bound |
最小上界、上确界 |
| least lower bound |
最大下界、下确界 |
| chain |
链 |
| antichain |
反链 |
| partially ordered relation |
半序关系 |
| poset |
半序集 |
| well founded |
良基的 |
| totally ordered |
有序的 |
| well ordered set |
良序集 |
| flat ordered set |
平序集 |
| flat partial ordered set |
半平序集 |
| narmally ordered relation |
标准序 |
| 圖 |
graph |
图 |
| 相鄰矩陣 |
adjacency matrix |
邻接矩阵 |
| 關聯矩陣 |
incidence matrix |
关联矩阵 |
| path |
路径、通路 |
| connected |
连通图 |
| acyclic |
无环图 |
| cycle, loop |
环路 |
| 簡單圖 |
simple graph |
| 二部圖 |
bipartite graph |
| 完全圖 |
complete graph |
| 獨立集 |
independent set |
| 導出子圖 |
induced subgraph |
| 譜圖論 |
Spectral graph theory |
| 極端圖 |
extremal graph |
| 極端圖理論、圖的極值理論 |
Extremal Graph Theory |
繁中 | 英 | 簡中
----- | ----- | -----
| proposition | 命题
| tautology | 重言式、永真式
| major disjunctive form| 主析取范式
| major conjunctive form| 主合取范式
| contradiction | 矛盾式
| contingency | 可满足式
| propostiton | 命题
| true | 真
| false | 假
| logical connective | 逻辑联结词
| atom | 原子命题
| compositive proposition | 复合命题
| negation | 否定词
| conjunction | 合取词
| disjunction | 析取词
| implication | 蕴涵词
| substantive implication | 实质蕴涵
| two-way implication | 双向蕴涵词
| propostion constant | 命题常元
| propostion variable | 命题变元
| propostion formula | 命题公式
| assignments | 指派
| truth table | 真值表
| disjunctive clause | 析取文字
| conjunctive clause | 合取文字
| complemented pairs of letters | 互补文字対
| complete group of connectives | 完备路联结词组
| satisfactable formula | 可满足式
| logically implication | 逻辑蕴涵式
| rule of substitution | 代入原理
| rule of replacement | 替换原理
| dual | 对偶
| letter | 文字
| universe | 全总域
| domain of individuals | 个体域
| predicate | 谓词
| term | 个体项
| quantifier | 量词
| bound variable | 约束变元
| free variable | 自由变元
| predicate formula | 谓词公式
| 質數 |
prime (number) |
| 互質 |
coprime |
| 合成數、合數 |
composite |
| 自然數 |
natural number |
| 不盡根 （無法以整數表達的根，如√(5)） |
surd |
| 因數（式）分解 |
factorization |
| 平均數 |
mean |
| 眾數 |
mode |
| 中位數 |
median |