中文 | 外文 |
Abel 范畴 | Abel category |
Abel 群(交换群) | Abel group (commutative group) |
Abel 半群 | Abel semigroup |
Bell 数 | Bell number |
Berry 悖论 | Berry paradox |
Boundy 定理 | Boundy theorem |
Boole 代数 | Boole algebra |
Boole 函数 | Boole function |
Boole 同态 | Boole homomorophism |
Boole 格 | Boole lattice |
Bruijn 定理 | Bruijn theorem |
Burali-Forti 悖论 | Burali-Forti paradox |
Burnside 引理 | Burnside lemma |
伴随 | adjugate |
布置问题 | arrangement problem |
不对称的(非对称的) | asymmetric |
并集公理 | axiom of union |
标准满态射 | canonical epimorphism |
闭项 | closed term |
闭包 | closure |
补图(子图的余) | complement |
补元 | complement element |
被包含关系定向 | directed by inclution |
边色数 | edge chromatic number |
边着色 | edge coloring |
边连通度 | edge connectivity |
边覆盖 | edge covering |
边覆盖数 | edge covering number |
边割集 | edge cut |
边集 | edge set |
边独立数 | edge-independence number |
不动点 | fixed point |
包含与排斥原理 | inclusion and exclusion principle |
包含关系 | inclusion relation |
不变因子 | invariant factor |
不变因子理想 | invariant factor ideal |
标准模型 | normal model |
本原元 | primitive element |
本原多项式 | primitive polynomial |
表示 | representation |
饱和的 | saturated |
半群 | semigroup |
标准单项式 | standard monomil |
并(并集) | union |
并运算 | union operation |
变换群 | tranformation group |
Cantor 悖论 | Cantor paradox |
Cantor 猜想 | Cantor conjecture |
Cantor 对角线法 | Cantor diagonal method |
Catalan 数 | Catalan number |
Cayley 图 | Cayley graph |
Cayley 定理 | Cayley theorem |
Coxeter 图 | Coxeter graph |
次数,次(度) | degree |
次(度)序列 | degree sequence |
初等因子理想 | elementary divisor ideal |
初等积 | elementary product |
初等和 | elementary sum |
错误函数 | error function |
错误模式 | error pattern |
存在量词 | existential quantifier |
存在推广规则 | existential generalization |
存在特指规则 | existential specification |
超八面体图 | hyperoctahedron |
长度 | length |
乘法原理 | multiplication principle |
出弧 | outarc |
出次(出度) | outdegree |
出(外)邻集 | outerneighbour set |
初始联结词 | primitive connective |
差集 | substraction |
差运算 | substraction operation |
传递的 | transitive |
超滤子 | ultrafilter |
超幂 | ultrapower |
超积 | ultraproduct |
超越元素 | transcendental element |
常用等值式 | useful equivalent |
簇 | variery |
除环 | divison ring |
存在正则前束范式 (Skolem 正则范式) |
-prenex normal form (Skolem normal form) | |
De Morgan律 | De Morgan law |
Descartes 积 | Descartes product |
Dirac 条件 | Driac condition |
代数闭域 | algebraic closed field |
代数元素 | algebraic element |
代数扩域(代数扩张) | algebraic extension |
对应的通用映射 | corresponding universal map |
定义域 | domain |
对偶范畴 | dual category |
对偶图 | dual graph |
对偶式 | dual form |
对偶原理 | principal of duality |
对偶原则 | dual principle |
对偶命题 | dual statement |
端点 | endpoint |
等势 | equipotent |
等价类 | equivalent class |
等价范畴 | equivalent category |
等价矩阵 | equivalent matrix |
等价对象 | equivalent object |
等价关系 | equivalent relation |
第一类边色图 | graph of first class for edge coloring |
第二类边色图 | graph of second class for edge coloring |
单位元 | identity |
单射 | injection |
单射函子 | injection functor |
单射(内射) | injective (one to one mapping) |
独立的 | independent |
独立数 | independent number |
独立集 | independent set |
独立超越元素 | independent transcendental element |
单同态 | monic morphism |
单态射 | monomorphism |
单元半群 | monoid |
导出子图 | induced subgraph |
多重图 | multigraph |
多项式 | polynomail |
多项式码 | polynomial code |
多项式表示法 | polynomial representation |
多项式环 | polynomial ring |
多值命题逻辑 | many valued proposition logic |
多项式系数 | multinomial coefficient |
多项式展开定理 | multinomial expansion theorem |
对象 | object |
定向 | orientation |
单扩域 | simple extension |
单代数扩域 | simple algebraic extension |
单超越扩域 | simple transcental extension |
代入定理 | substitution theorem |
对称的 | symmetric |
对称差 | symmetric difference |
对称图 | symmetric graph |
对称群 | symmetric group |
对角线函子 | diagonal functor |
定理 | theorem (provable formal) |
单位理想 | unit ideal |
单元 | unity element |
点覆盖 | vertex cover |
点割集 | vertex set |
点传递图 | vertex transitive graph |
带权形式的Burnside引理 | weighted form for Burnside lemma |
带符号的一阶系统 | first order theory with equality |
Euler 闭迹 | Euler tour |
Euler 多面体公式 | Euler polyhedron formula |
Euler 函数 | Euler function |
Euler 迹 | Euler trail |
Euler 数 | Euler number |
Euler 图 | Euler graph |
Euler 特征 | Euler characteristic |
二元关系 | binary relation |
二进制对称信道 | binary symmetric channel |
二项式系数 | binomial coefficient |
二项式定理 | binomial theorem |
二项式变换 | binomial transform |
二分图 | bipartite graph |
二难推理 | dilemma |
Ferrers图 | Ferrers graph |
Fibonacci 数 | Fibonacci number |
F-归纳积 | F-reduced product |
反演 | inversion |
分离规则 | modus ponens |
否定后件式 | modus tollens |
非结合代数 | non-associative algebra |
分裂域 | splitting field |
非特指值 | undesignated truth value |
泛圈图 | pancycle graph |
| universal algebra |
泛上界 | universal upper bound |
废码字 | useless code |
赋值 | valuation |
仿射平面 | affine plane |
反同构 | anti-isomorphism |
反对称性 | anti symmetry |
辅助符号 | auxiliary symbol |
分组码 | block code |
范畴 | category |
复合 | composite |
复合运算 | composite operation |
复合(分子)命题 | composition (molecular proposition) |
覆盖 | covering |
覆盖数 | covering number |
分配格 | distributive lattice |
反变函子 | contravariant functor |
非标准逻辑 | non-standard logic |
Galileo 悖论 | Galileo paradox |
Gauss 系数 | Gauss coefficient |
GBN系统 | GBN (Gödel-Bernays-von Neumann system) |
Gödel 完全性定理 | Gödel completeness theorem |
Grelling 悖论 | Grelling paradox |
Grötzsch 图 | Grötzsch graph |
广义 petersen 图 | generalized petersen graph |
关联 | incident |
关联公理 | incident axiom |
关联矩阵 | incident matrix |
个体变元 | individual variable |
格 | lattice |
格同态 | lattice homomorphism |
规律 | law |
轨道 | orbit |
鸽子笼原理 | pigeonhole principle |
根域 | root field |
公理系统 L | system L |
公理系统 L1 | system L1 |
公理系统 L2 | system L2 |
公理系统 L3 | system L3 |
公理系统 L4 | system L4 |
公理系统 L5 | system L5 |
公理系统 L6 | system L6 |
公理系统 Ł | system Ł |
公理系统 Łn | system Łn |
公理系统 S1 | system S1 |
公理系统 T(系统M) | system T (system M) |
关于公式Ф的替换公式 | axiom of replacement for the formula Ф |
古典完全的 | classical completeness |
古典相容的 | classical consistent |
公因子 | common factor |
割边 | cut edge |
割点 | cut vertex |
广义 Fibonacci 数 | extended Fibonacci number |
广义Lucas 数 | extended Lucas number |
Hajós 猜想 | Hajós conjecture |
Hamilton 圈 | Hamilton cycle |
Hamilton 图 | Hamilton graph |
Hamilton 路 | Hamilton path |
Harary 图 | Harary graph |
Hasse 图 | Hasse graph |
Heawood 图 | Heawood graph |
Herschel 图 | Herschel graph |
hom 函子 | hom functor |
(共变)函子 | covariant functor |
核 | kernel |
环 | loop |
后件 | succedent |
横截设计 | tranverse design |
合式公式(wff) | well-formed formula (wff) |
幻方 | magic |
厚度 | thickess |
弧集 | arc set |
回路 | circuit |
黄金分割数(黄金分割率) | golden section number |
恒等自然变换 | identity natural transformation |
互素 | prime to each other |
环的特征 | characteristic of ring |
Jordan 代数 | Jordan algebra |
Jordan 乘积 | Jordan product (anti-commutator) |
Jordan 筛法公式 | Jordan sieve formula |
j-斜元 | j-skew |
极大元 | maximal element |
极大理想 | maximal ideal |
极大外平面图 | maximal outerplanar graph |
极大平面图 | maximal planar graph |
极大项(基本析取式) | maxterm |
极大项范式(合取范式) | maxterm normal form (conjunctive normal form) |
极小项 | mini term |
极小多项式 | minimal polynomial |
|
|
极小项(基本合取式) | minterm (fundamental conjunctive form) |
极小项范式(析取范式) | minterm normal form (disjunctive normal form) |
交 | meet |
纠多错码 | multiple-error-correcting code |
纠 t -错BCH码 | t-error-correcing BCH code |
阶 | order |
阶理想 | order ideal |
集合的划分数 | partition number of set |
积 | product |
积范畴 | product category |
积和式 | product-sum form |
简单图 | simple graph |
简单(原子)命题 | simple proposition (atomic proposition) |
简化规则 | simplication |
截口 | section |
竞赛图 | tournament |
迹 | trace (trail) |
解释真 | true in an interpretation |
基础图 | underlying graph |
价 | valence |
加法原理 | addition principle |
接合 | adjunction |
|
|
结合代数 | associative algebra |
结合子 | associator |
加强的鸽子笼原理 | augmenting digeon hole principle |
基 | base |
基数 | cardinal number |
校验位 | check digits |
纠正错误 | correct error |
检验错误 | detect errer |
计数函数 | enumeration function |
假言三段论 | hypothelical syllogism |
假设 | hypothese (premise) |
交集 | intersection |
交运算 | intersection operation |
交换图 | commutative diagram |
交换环 | commutative ring |
交换半群 | commutative seimgroup |
校验子 | syndrome |
Kirkman 女生问题 | Kirkman schoolgirl problem |
Kuratowski 定理 | Kuratowski theorem |
k-色图 | k-chromatic graph |
k-连通图 | k-connected graph |
k-色临界图 | k-critical graph |
k-边色图 | k-edge chromatic graph |
k-边连通图 | k-edge-connected graph |
k-边临界图 | k-edge-critical graph |
可增路 | augmenting path |
空集存在公理 | axiom of the empty set |
块 | block |
块图(区组) | block |
可重组合 | combination with repetation |
可列无限集(可列集) | countably infinite set |
空图 | empty graph |
空关系 | empty relation |
空集 | empty set |
扩充(扩张) | extension |
扩图 | extension graph |
扩域 | extension field |
可因子化的 | factorable |
亏格 | genus |
可重排列 | permutation with repetation |
(可)平面图 | planar graph |
可能世界 | possible world |
可表示函子 | representation functor |
可满足的 | satisfiable |
可分元 | separable element |
可分扩域 | separable extension |
可靠性(有效性)定理 | soundness (validity) theorem |
开关网络 | switching-network |
可达关系 | accessibility relation |
Lah 数 | Lah number |
Latin 方 | Latin square |
Latin 矩形 | Latin rectangle |
Lie 代数 | Lie algebra |
Lucas 数 | Lucas number |
联结词的功能完备(全)集 | adequate set of connectives |
邻接矩阵 | adjacent matrix |
邻接运算 | concatenation (juxtaposition) |
零化子 | annihilator |
理发师悖论 | barber paradox |
笼 | cage |
类 | class |
连通图 | concatenation graph |
连通度 | connectivity |
连接的 | connective |
连通分支 | connected component |
连续统 | continuum |
离散 Fourier 变换 | discrete Fourier transform |
离心率 | eccentricity |
滤子 | filter |
理想 | ideal |
邻集 | neighbour set |
邻接乘法 | juxtaposition |
逻辑等价 | logically equivanlent |
逻辑蕴涵 | logically implies |
逻辑有效的(普效的) | logically valid |
零对象 | null object |
零元运算 | nullary operation |
路 | path |
拉回 | pullback |
量词 | quantifier |
量词理论 | quantification theory |
旅行商问题 | traveling saleman problem |
零因子 | zero divison |
零元(泛下界) | zero element (universal lower bound) |
McGee 图 | McGee graph |
Menger 定理 | Menger theorem |
Meredith 图 | Meredith graph |
Minimanoff 悖论 | Minimanoff paradox |
Minkowski 和 | Minkowski sum |
Möbius 变换(反演) | Möbius transform (inversion) |
Möbius 函数 | Möbius function |
Möbius 梯 | Möbius ladder |
码 | code |
码元 | code element |
码长 | code length |
码率 | code rate |
码字 | code word |
矛盾式(永假式) | contradiction |
满态射 | epimorphism |
面 | face |
模型 | model |
模同态 | module homomorphism |
幂函子 | power functor |
幂集 | power set |
命题 | proposition |
命题常量 | propositional constant |
命题变量 | propositional variable |
命题形式(合式公式) | propositional formula (well-formed formula,wff) |
命题函数 | propositional function |
满射 | surjection (surjective) |
模态逻辑 | modal logic |
模态命题逻辑系统 | system of modal prepositional logic |
Norlund 公式 | Norlund formula |
内面 | inner face |
内(入)邻集 | inner neighbour set |
内直和 | internal direct sum |
n-元运算 | n-ary operation |
n-元积 | n-ary product |
n-元关系 | n-relation |
扭元 | torsion |
扭模 | torsion module |
逆向极限 | inverse limit |
逆态射 | inverse morphism |
逆自然变换 | inverse natural transformation |
逆运算 | inverse operation |
逆关系 | inverse relation |
Ore 条件 | Ore condition |
欧几里德算法 | Euclid algorithm |
欧氏整环 | Euclid domain |
p- 图 | p-graph |
Pascal 公式 | Pascal formula |
Petersen 图 | Petersen graph |
Pierce 箭 | Pierce arrow |
Pólya 定理 | Pólya theorem |
配对公式 | axiom of pairs |
平衡不完全区组设计 | balanced imcomplete block design |
陪集 | cuset |
陪集头 | leader cuset |
判决过程 | decision procedure |
匹配 | matching |
平行 | parallelism |
平行类 | parallelism class |
偏函数 | partial function |
偏序关系 | partial ordering (partial relation) |
排列(置换) | permutation |
平面图 | plane graph |
谱半径 | spetral radius |
平凡图 | trivial graph |
平凡子群 | trivial subgroup |
前件 | antecedent |
区组设计 | block design |
桥 | bridge |
圈 | cycle |
圈基 | cycle basis |
圈秩 | cycle rank |
圈矩阵 | cycle matrix |
圈空间 | cycle space |
圈向量 | cycle vector |
确定的 | deterministic |
距离 | distance |
距离传递图 | distance transitive graph |
群 | group |
群码 | group code |
嵌入 | imbedding |
区间 | interval |
矩阵表示 | matrix representation |
奇偶校验码 | parity-check code |
奇偶校验方程 | parity-check equation |
奇偶校验器 | parity-check machine |
奇偶校验矩阵 | parity-check matrix |
前束范式 | prenex normal form |
全色数 | total chromatic number |
全色数猜想 | total chromatic number conjecture |
全着色 | total coloring |
全图 | total graph |
全方阵环 | total matrix ring |
全序集 | total order set |
全排列 | total permutation |
全关系 | total relation |
全集 | universal |
全称闭包 | universal closure |
全称量词 | universal quantifier |
全称推广规则 | universal generalization |
全称特指规则 | universal specification |
Ramsey 图 | Ramsey graph |
Ramsey 数 | Ramsey number |
Ramsey 定理 | Ramsey theorem |
Richard 悖论 | Richard paradox |
Russell 悖论 | Russell paradox |
R-线性无关 | R-linear independence |
弱反对称的 | weakly antisymmetric |
入次(入度) | indegree |
Sheffer 竖(谢弗竖) | Sheffer stroke |
Steiner 三元系大集 | Steiner triple |
Socrates 论断(苏格拉底论断) | Socrates argument |
Stirling 变换 | Stirling transform |
Stirling 数 | Stirling number |
Sylvester公式 | Sylvester formula |
三次交代群 | alternating group |
双射 | bijective |
双模 | bi-mdule |
色数 | chromatic number |
系数 | coefficient |
上象 | coimage |
上核 | co-kernal |
上积 | coproduct |
森林 | forest |
四色定理(猜想) | four-color theorem(conjecture) |
生成函数 | generating function |
生成过程 | generating procedure |
生成子(生成元) | generator |
生成矩阵 | generator matrix |
上确界(最小上界) | least upper bound |
数学结构 | mathematical structure |
素域 | prime field |
四元数 | quaternion |
商代数 | quotient algebra |
商(差)代数 | quotient (difference) algebra |
商域(分式域) | quotient field (field of fraction) |
商群 | quotient group |
商模 | quotient module |
商环(差环,同余类环) | quotient ring (difference ring , residue ring) |
商集 | quotient set |
受限命题形式 | restricted proposition form |
收缩 | retraction |
生成子图 | spanning subgraph |
生成树 | spanning tree |
时间序列 | timed sequence |
树 | tree |
三元系 | triple system |
三倍重复码 | triple-repetition code |
上(下)界 | upper (lower) bound |
始端 | initial endpoint |
矢列式 | sequent |
系统 Ł3 , Łn , Łא0 , Łא | system Ł3 , Łn , Łא0 , Łא |
系统 Pm | system Pm |
三值命题逻辑 | 3-value proposition logic |
Turán 图 | Turán graph |
Turán 定理 | Turán theorem |
Tutte 图 | Tutte graph |
Tutte 定理 | Tutte theorem |
Tutte-coxeter 图 | Tutte-coxeter graph |
图的自同构群 | automorphism group of graph |
图的笛卡儿积 | Cartesion product of graph |
图的闭包 | closure of graph |
特征函数 | characteristic function |
特征多项式 | characteristic polynomial |
图的收缩 | contraction of graph |
团 | clique |
团数 | clique number |
图的合成(字典积) | composition of graph (lexicographic product) |
同余关系 | congruence relation |
推论(后承) | consequence |
图的叉数 | crossing number of graph |
特指真值 | designated truth value |
特异元 | distinguished element |
图的特征值 | eigenvalue of graph |
图的群 | group of graph |
图 | graph |
图的同胚 | homemorphism |
图的同态 | homomorphism of graph |
图的同构 | isomorphism of graph |
图的交 | intersection of graph |
图的联 | join of graph |
图的线群 | line- group |
同态(同态映射) | homomorphism |
同构范畴 | isomorphic category |
同构态射 | isomorphism |
态射(箭) | morphism (arrow) |
图的幂 | power of graph |
推出 | pushout |
替换定理 | replacement theorem |
推理规则 | rule of inference |
图的谱 | spectra of graph |
图的细分 | subdivison of graph |
图的并 | union of graph |
通用结构 | universal construction |
通用包络代数 | universal enveloping algebra |
通道 | walk |
图秩 | graph rank |
图序列 | graph sequence |
Ulam 猜想 | Ulam conjecture |
Vandermonde 公式 | Vandermonde formula |
Venn 图 | Venn graph |
Vizing 定理 | Vizing theorem |
外延公式 | axiom of extensionality |
无穷公理 | axiom of infinity |
完全二分图 | complete bipartite graph |
完全k-分图 | complete k-partite graph |
完全图 | complete graph |
完全格 | complete lattice |
微分代数 | derivation algebra |
外代数 | exterior algebra |
忘却函子 | forgetful functor |
(腰)围长 | girth |
无限扩域 | infinite extension |
无限群 | infinite group |
无限(穷)集 | infinite set |
外面 | outer face |
外(出)邻集 | outer neighbour |
外平面图 | outerplanar graph |
完全码 | perfect code |
完美图 | perfect graph |
谓词 | predicate |
无向图 | undirected graph |
唯一分解 | unique factorization |
唯一分解整域 | unique factorization domain (Gauss domain) |
唯一k着色 | unique k-colorable graph |
无标号图 | unlabeled graph |
无扭模 | untorsion |
五色定理 | five-color theorem |
五倍重复码 | five-time-repetition |
相邻(邻接) | adjacent |
相伴元 | associate |
选择公里 | axiom of choice |
相等公里 | axiom of equality |
循环图 | circulant graph |
循环(轮转)指标 | cyclic index |
循环群 | cyclic group |
循环半群 | cyclic semigroup |
循环单元半群 | cyclic monoid |
优美图 | graceful graph |
优美树猜想 | graceful tree conjecture |
有标号图 | labeled graph |
拟序集 | pre-ordered set |
拟序关系 | quasi order relation |
冗余性原则 | principal of redundancy |
冗余位 | redundant digits |
右伴随函子 | right adjoint functor |
右可消的 | right cancellable |
右因子 | right factor |
右零因子 | right zero divison |
有单元的环 | ring with unity element |
语义完全的(弱完全的) | semantical completeness |
语义相容 | semantical consistent |
语法完全的(强完全的) | syntactical completeness |
语法相容 | Syntactical consistent |
一元运算 | unary operation |
一元关系 | unary relation |
余秩 | corank |
ZFC系统 | ZFC (Zermelo-Fraenkel-Cohen) system |
作用 | action |
自同构 | automorphism |
正则公理 | axiom of regularity |
中心 | center |
中国邮递员问题 | Chinese postman problem |
周长 | circumference |
着色 | coloring |
着色问题 | coloring problem |
组合数 | combination number |
正则合取范式 | conjunctive normal form |
直径 | diameter |
直接推论(直接后承) | direct consequence |
正向极限 | direct limit |
直和 | direct sum |
正则析取范式 | disjunctive normal form |
整除 | divisibility |
子除环 | division subring |
忠实(完满)函子 | faithful (full) functor |
自由元 | free element |
自由单元半群 | free monoid |
自由出现 | free occurrence |
自由变元 | free variable |
自由Ω代数 | free-Ω-algebra |
自由R-模 | free R-module |
最大公因子 | greatest common factor |
最大元(素) | greatest element |
直接先行 | immediate predcessor |
直接后继 | immediate successor |
指数 | index |
初始对象 | initial object |
整环 | integral domain |
子整环 | integral subdomain |
最小元 | least element |
左伴随函子 | left adjoint functor |
左可消的 | left cancellable |
左陪集 | left coset |
左(右)模 | left (right) module |
左(右)零元 | left (right) zero |
左(右)单位元 | left (right) identity |
左(右)可逆元 | left (right) invertible element |
左(右)零因子 | left (right) zero divisor |
最大匹配 | maximum matching |
最小距离 | minimum distance |
自然同构 | natural isomorphism |
自然推理系统 | natural deduction system |
自然变换 | natural transformation |
状态转移函数 | next state transition function |
正规形 | normal form |
正规子群(不变子群) | normal subgroup (invariant subgroup) |
正交拉丁方 | orthogonal Latin square |
正交表 | orthogonal layout |
整数的分拆数 | partition number of integer |
置换群 | permutation group |
准素循环模 | primary cycle module |
主理想 | principal ideal |
主理想整环 | principal ideal domain |
证明(演绎) | proof (deduction) |
正常着色 | proper coloring |
真正因子 | proper factor |
真滤子 | proper filter |
真子群 | proper subgroup |
真包含关系 | properly inclusive relation |
重构猜想 | reconstruction conjecture |
自反的 | reflexive |
正则图 | regular graph |
正则表示 | regular representation |
值域 | range |
秩 | rank |
自同态 | endomorphism |
自同态环 | ring of endomorphism |
自补图 | self-complement graph |
最小元(素) | smallest element |
子代数 | subalgebra |
子范畴 | subcategory |
子图 | subgraph |
子直积 | subdirect product |
子域 | subfield |
子群 | subgroup |
子公式 | subformula |
子模 | sub-module |
子关系 | subrelation |
子环 | subring |
子半群 | sub-semigroup |
子集 | subset |
重言式(永真公式) | tautology |
真值表 | truth table |
真值函数 | truth value function |
真值表技术 | technique of truth table |
终端 | terminal endpoint |
终结对象 | terminal object |
重(权) | weight |
字 | word |
| |
|
|