下载文档原格式
常用离散数学名词中英文对照集合：set元素：element严格定义:well defined成员:member外延原理:principle of extension 泛集(全集):universal set空集:empty set(null set)子集:subset文氏图:venn diagram并:union交:intersection相对补集:relative complement 绝对补集:absolute complement 补集:complement对偶性:duality幂等律:idempotent laws组合律:associative laws交换律:commutative laws分配律:distributive laws同一律:identity laws对合律:involution laws求补律:complement laws对偶原理:principle of duality 有限集:finite set计算原理:counting principle 类:class幂集:power set子类:subclass子集合:subcollection命题:proposition命题计算:proposition calculus 语句:statement复合:compound子语句:substatement合取:conjunction析取:disjuction否定:negation真值表:truth table重言式:tautology有界格:bounded lattice分配格:distributeve lattice补格:complemented lattice表示定理:representation theorem 象:image自变量:independent variable因变量:dependent variable函数图象:graph of a function合成函数:composition function可逆函数:invertible function一一对应:one to one correspondence 内射:injective满射:surjective双射:bijective基数度:cardinality基数:cardinal number图论:graph theory多重图:multigraphy顶点:vertix(point,node)无序对:unordered pair边:edge相邻的adjacent端点:endpoint多重边:multiple edge环:loop子图:subgraph生成子图:generated subgraph平凡图:trivial graph入射:incident孤立点:isolated vertex连通性:connectivity通路:walk长度:length简单通路:chain(trail)圈:path回路:cycle连通的:connected连通分支:connected component距离:distance欧拉图:eulerian graph欧拉链路:eulerian trail哈密顿图:hamilton graph。
离散数学大一上知识点总结离散数学是计算机科学和数学专业中一门重要的基础课程，它主要研究离散的数学结构和离散对象。
在大一上学期的学习中，我们学习了一些离散数学的基础知识和概念。
本文将对这些知识点进行总结和归纳。
1. 集合论(Set Theory)- 集合的定义和表示方法；- 子集、并集、交集和补集的运算；- 集合的基本运算规则；- 集合的基数和幂集；2. 命题逻辑(Propositional Logic)- 命题和命题变量；- 逻辑运算符（非、与、或、异或、蕴含、等价）；- 真值表和逻辑等价性；- 合取范式和析取范式；3. 谓词逻辑(Predicate Logic)- 谓词逻辑的基本概念；- 量词（全称量词和存在量词）；- 代入实例和量化顺序；- 合取与析取的关系；4. 图论(Graph Theory)- 图的基本概念（顶点、边、路径、环）；- 图的表示方法（邻接矩阵、邻接表）；- 图的遍历算法（深度优先遍历、广度优先遍历）；- 最短路径算法（Dijkstra算法、Floyd-Warshall算法）；5. 关系(Relations)- 关系的定义和表示方法；- 关系的性质（自反性、对称性、传递性）；- 等价关系和偏序关系；- 关系的闭包和传递闭包；6. 函数(Function)- 函数的定义和表示方法； - 单射、满射和双射的概念； - 函数的复合和反函数；- 函数的性质和分类；7. 计数(Counting)- 排列和组合的概念；- 基本计数原理和乘法原理； - 集合的幂级数；- 分配原理和容斥原理；8. 递归(Recursion)- 递归的定义和特性；- 递归关系的建立和求解； - 递归算法的设计和分析；- 递归的应用领域；9. 张量(Tensor)- 张量的定义和表示方法；- 张量的运算规则；- 张量的秩和余秩；- 张量的应用领域；10. 图的着色(Graph Coloring)- 图的着色问题的基本概念；- 色数和固定点数的关系；- 图的可着色性定理；- 图的四色定理及其证明；总结：离散数学作为计算机科学和数学领域的重要基础课程，涵盖了集合论、逻辑、图论、关系、函数、计数、递归、张量和图的着色等多个知识点。
离散数学的基础知识点总结离散数学是研究离散结构和离散对象的数学分支。
它以集合论、图论和逻辑等为基础，涉及了许多重要的基础知识点。
下面是对离散数学的基础知识点进行的总结。
1. 集合论（Set theory）：集合论是离散数学的基础，涉及了集合的概念、运算和恒等关系，以及集合的分类、子集、幂集和笛卡尔积等基本概念和性质。
2. 逻辑（Logic）：逻辑是离散数学的重要组成部分，涉及了命题逻辑和谓词逻辑的基本概念和推理规则，包括命题的真值表、谓词的量化、逻辑等价和逻辑蕴含等概念。
3. 函数（Functions）：函数是离散数学中的核心概念之一，涉及了函数的定义、域和值域、函数的性质、特殊的函数（如恒等函数、常值函数、单射函数和满射函数等）以及函数的复合和逆函数等。
4. 关系（Relations）：关系是离散数学中的另一个核心概念，涉及了关系的定义、关系的特性（如自反性、对称性、传递性和等价关系等）、关系的闭包和自反闭包、关系的图示表示和矩阵表示、等价关系和偏序关系等。
5. 图论（Graph theory）：图论是离散数学的重要分支，涉及了图的基本概念（如顶点、边、路径和圈等）、图的表示方法（如邻接矩阵和邻接表等）、图的遍历算法（如深度优先和广度优先等）、图的连通性和可达性、最小生成树和最短路径等基础知识。
7. 代数结构（Algebraic structures）：代数结构是离散数学的一个重要方向，涉及了群、环、域和格等基本代数结构的定义、性质和分类，以及同态映射和同构等概念。
8. 数论（Number theory）：数论是离散数学的一个重要分支，涉及了自然数的性质和结构，包括质数和素数、最大公因数和最小公倍数、同余和模运算、欧几里得算法和扩展欧几里得算法、费马小定理和欧拉函数等。
9. 排序和选择（Sorting and selection）：排序和选择是离散数学中的一类重要问题，涉及了各种排序算法（如冒泡排序、插入排序、快速排序和归并排序等）和选择算法（如选择排序和堆排序等），以及它们的复杂度分析和应用。
计算机844考研科目计算机科学与技术（Computer Science and Technology）是计算机科学与技术专业考研的一个重要科目，主要包括以下内容：1. 离散数学与图论（Discrete Mathematics and Graph Theory）：包括图论、逻辑、集合论、代数结构和离散概率等内容。
2. 数据结构与算法分析（Data Structures and Algorithm Analysis）：包括树、图、排序算法、查找算法、动态规划等内容。
3. 计算机组成原理（Computer Organization and Architecture）：包括数字系统、计算机组成、指令集、存储系统、输入输出等内容。
4. 操作系统（Operating System）：包括进程管理、内存管理、文件系统、设备管理等内容。
5. 数据库原理与应用（Database Principles and Applications）：包括数据库设计、关系数据库模型、SQL语言、数据库管理系统等内容。
6. 编程语言原理与编译技术（Principles of Programming Languages and Compiler Technology）：包括编程语言的语法、语义、编译器的构造原理与技术等内容。
7. 计算机网络（Computer Networks）：包括OSI模型、传输层协议、网络层协议、应用层协议等内容。
8. 软件工程（Software Engineering）：包括软件开发方法学、需求工程、软件测试、软件工程管理等内容。
除了以上科目外，还可能包括数值分析、人工智能、计算机视觉、计算机图形学等内容，具体考试科目会根据不同学校和专业的设置而有所差异。
大一离散数学知识点总结笔记离散数学是计算机科学和信息技术等领域的基础学科，它主要研究离散对象以及离散结构及其关系。
以下是本文对大一离散数学的知识点总结。
1. 集合论（Set Theory）- 集合的定义和表示方法- 集合间的运算：并、交、差、对称差- 集合的基本性质：幂集、空集、全集- 集合的相等和包含关系- 集合的基数和无穷集合2. 命题逻辑（Propositional Logic）- 命题的定义和符号表示- 命题的逻辑运算：非、合取、析取、条件、双条件- 命题之间的等价和蕴含关系3. 谓词逻辑（Predicate Logic）- 一阶逻辑的基本概念：谓词、量词、项、公式 - 一阶逻辑的语义：解释、真值- 一阶逻辑的语法：公式的语法规则- 命题逻辑与谓词逻辑的比较4. 证明方法与技巧（Proof Methods and Techniques） - 直接证明与间接证明- 分情况讨论和归纳法- 反证法和递归法- 等价变换和代入法5. 计数原理（Counting Principles）- 乘法原理和加法原理- 排列和组合：全排列、循环排列、组合数- 二项式系数和三角形数- 鸽笼原理和抽屉原理6. 图论（Graph Theory）- 图的基本概念：顶点、边、路径、环- 图的存储结构：邻接矩阵、邻接链表- 图的遍历算法：深度优先搜索、广度优先搜索- 最短路径算法：Dijkstra算法、Floyd-Warshall算法7. 关系代数与关系数据库（Relational Algebra and Relational Databases）- 关系代数的基本运算：选择、投影、并、差、笛卡尔积- 关系数据库的基本概念：关系模型、关系实例、关系模式 - 关系数据库查询语言：结构化查询语言（SQL）- 范式理论和函数依赖8. 有限状态自动机（Finite State Automata）- 自动机的定义和表示：状态、转移函数、初始状态、接受状态- 有限状态自动机的类型：确定性有限状态自动机（DFA）、非确定性有限状态自动机（NFA）- 正则表达式与有限状态自动机的等价性- 有限状态自动机的应用：词法分析、编译原理以上是大一离散数学的主要知识点总结，希望对你的学习有所帮助。
图论介绍（GraphTheory）1 图论概述1.1 发展历史第⼀阶段：1736：欧拉发表⾸篇关于图论的⽂章，研究了哥尼斯堡七桥问题，被称为图论之⽗1750：提出了拓扑学的第⼀个定理，多⾯体欧拉公式：V-E+F=2第⼆阶段（19~20世纪）：1852: Francis Guthrie提出四⾊问题1856: Thomas P. Kirkman & William R.Hamilton研究了哈密尔顿图1878: Alfred Kempe给出给出四⾊定理证明1890: 希伍德（Heawood）推翻原有四⾊定理证明1891: 彼得森（Petersen 丹麦）给出关于图论的理论知识的第⼀篇论⽂1936: 哥尼格(Dénes Kőnig Hungarian), 写出第⼀本图论专著《有限图与⽆限图的理论》，图论成为了⼀门独⽴学科第三阶段（现代图论）：1941: F. P. Ramsey开创 Extremal graph theory1959: Erd˝os and Rényi 引⼊随机图理论（边的存在的概率为p）1976: Kenneth Appel & Wolfgang Haken使⽤计算机最终证明了四⾊问题1.2 参考教材Graph Theory with Application - J.A. Bondy and U.S.R. Murty, Elsevier, 1976《图论及其应⽤》经典教材，吴望名译，有电⼦版Graph theory - J.A. Bondy and U.S.R. Murty, Springer, 2008《图论》GTM244，可以认为是 “Graph Theory with Application” 的第⼆版，推荐教材Graph Theory, 5th - Reinhard Diestel, Springer, 2017《图论》GTM173，有电⼦版Introduction to Graph Theory, 2nd- Douglas B. West, 2017⼊门教材2 图的初步知识（注：⼀般考虑simple graph (no graph loops or multiple edges), 且阶⼤于等于2）2.1 不规则图Definition: 所有顶点的度都不同的图叫不规则图 (irregular graph)Definition: 只有⼀对顶点的度相同的图叫⼏乎不规则图 (almost irregular graph)Theorem:1）不规则图不存在2）恰好存在两个阶数相同的⼏乎不规则图，且互为补图（顶点相同，边合起来是完全图）3）对于任意最⼤值为n的正整数集合，存在n+1阶的图，使其顶点数正好等于这些整数（以上结论不适⽤于多重图和加权图）2.2 正则图Definition: 所有顶点的度为r的图叫 r-正则图 (r-regular graph)e.g. 单连通的0-regular是单个点，单连通的1-regular是⼀条边的图，单连通的2-regular是⼀个圈，单连通的3-regular称为⽴⽅图Theorem: n阶r正则图存在，只要r, n不都是奇数，且r<=n-1常⽤正则图：Kn: n阶完全图，r = n-1Cn: n(n>=3)阶圈， r = 2Qr: n=2^r阶的超⽴⽅体(r-cube)Kr,r: n=2r阶的⼆分图2.3 ⼆分图（bipartite graph）Definition：顶点被分为两个集合，所有边只在两个集合之间连接的图叫⼆分图Theorem：图G是⼆分图\Leftrightarrow G中⽆奇圈2.4 ⼦图图G，⼦图（subgraph）Hsubgraph ---> spanning subgraph---> induced subgraph ---> vertex-delete subgraphspanning subgraph: ⽣成⼦图，H和G的顶点相同induced subgraph: 诱导⼦图，H = G[S] (从图中去除1个或多个顶点)vertex-delete subgraph: 去顶点⼦图，从图中去除1个顶点Theorem：任意图都可以表⽰为某个正则图的导出⼦图未解问题：给定某⼀图G的所有去顶点⼦图，是否能够重构出唯⼀的图G（同构意义上是唯⼀的）？2.5 距离Definition：连通图（connected），由多个连通分⽀（component）构成的图为不连通图（disconnected）G-v ⽐ G有更多的连通分⽀，则点v称为G的割点（cut-vertex）G-e ⽐ G有更多的连通分⽀，则边e称为G的桥（bridge）Theorem:连通图G，e是桥\Leftrightarrow e不属于G的任何⼀个圈\Leftrightarrow存在顶点u，v，使得任意路径u-v的路径经过e连通图G，w是割点\Leftrightarrow存在顶点u，v，使得任意路径u-v的路径经过wDefinition：点u, v之间的距离（distance）：u,v之间最短路径的长度d(u,v)点u的离⼼率（eccentricity）：u 与其它点的最⼤距离\epsilon(u)=\max\limits_v d(u,v)最⼩离⼼率为图的半径（radius），达到最⼩离⼼率的点为中⼼点（central vertex）最⼤离⼼率为图的直径（diameter），达到最⼤离⼼率的点为边缘点（peripheral vertex）2.6 TreeDefinition：不包含圈的连通图为树（Tree）Theorem：图G是树\Leftrightarrow G中任意两个顶点都有且只有⼀条连通路径n阶树有n-1条边在G内添加任意⼀条边，就会形成⼀个回路。
离散数学中英文名词对照表外文中文AAbel category Abel 范畴Abel group (commutative group) Abel 群(交换群)Abel semigroup Abel 半群accessibility relation 可达关系action 作用addition principle 加法原理adequate set of connectives 联结词的功能完备（全）集adjacent 相邻（邻接）adjacent matrix 邻接矩阵adjugate 伴随adjunction 接合affine plane 仿射平面algebraic closed field 代数闭域algebraic element 代数元素algebraic extension 代数扩域（代数扩张）almost equivalent 几乎相等的alternating group 三次交代群annihilator 零化子antecedent 前件anti symmetry 反对称性anti-isomorphism 反同构arboricity 荫度arc set 弧集arity 元数arrangement problem 布置问题associate 相伴元associative algebra 结合代数associator 结合子asymmetric 不对称的(非对称的)atom 原子atomic formula 原子公式augmenting digeon hole principle 加强的鸽子笼原理augmenting path 可增路automorphism 自同构automorphism group of graph 图的自同构群auxiliary symbol 辅助符号axiom of choice 选择公理axiom of equality 相等公理axiom of extensionality 外延公式axiom of infinity 无穷公理axiom of pairs 配对公理axiom of regularity 正则公理axiom of replacement for the formula Ф关于公式Ф的替换公式axiom of the empty set 空集存在公理axiom of union 并集公理Bbalanced imcomplete block design 平衡不完全区组设计barber paradox 理发师悖论base 基Bell number Bell 数Bernoulli number Bernoulli 数Berry paradox Berry 悖论bijective 双射bi-mdule 双模binary relation 二元关系binary symmetric channel 二进制对称信道binomial coefficient 二项式系数binomial theorem 二项式定理binomial transform 二项式变换bipartite graph 二分图block 块block 块图（区组）block code 分组码block design 区组设计Bondy theorem Bondy 定理Boole algebra Boole 代数Boole function Boole 函数Boole homomorophism Boole 同态Boole lattice Boole 格bound occurrence 约束出现bound variable 约束变量bounded lattice 有界格bridge 桥Bruijn theorem Bruijn 定理Burali-Forti paradox Burali-Forti 悖论Burnside lemma Burnside 引理Ccage 笼canonical epimorphism 标准满态射Cantor conjecture Cantor 猜想Cantor diagonal method Cantor 对角线法Cantor paradox Cantor 悖论cardinal number 基数Cartesion product of graph 图的笛卡儿积Catalan number Catalan 数category 范畴Cayley graph Cayley 图Cayley theorem Cayley 定理center 中心characteristic function 特征函数characteristic of ring 环的特征characteristic polynomial 特征多项式check digits 校验位Chinese postman problem 中国邮递员问题chromatic number 色数chromatic polynomial 色多项式circuit 回路circulant graph 循环图circumference 周长class 类classical completeness 古典完全的classical consistent 古典相容的clique 团clique number 团数closed term 闭项closure 闭包closure of graph 图的闭包code 码code element 码元code length 码长code rate 码率code word 码字coefficient 系数coimage 上象co-kernal 上核coloring 着色coloring problem 着色问题combination number 组合数combination with repetation 可重组合common factor 公因子commutative diagram 交换图commutative ring 交换环commutative seimgroup 交换半群complement 补图(子图的余) complement element 补元complemented lattice 有补格complete bipartite graph 完全二分图complete graph 完全图complete k-partite graph 完全k-分图complete lattice 完全格composite 复合composite operation 复合运算composition (molecular proposition) 复合（分子）命题composition of graph (lexicographic product)图的合成（字典积）concatenation (juxtaposition) 邻接运算concatenation graph 连通图congruence relation 同余关系conjunctive normal form 正则合取范式connected component 连通分支connective 连接的connectivity 连通度consequence 推论（后承）consistent (non-contradiction) 相容性（无矛盾性）continuum 连续统contraction of graph 图的收缩contradiction 矛盾式（永假式）contravariant functor 反变函子coproduct 上积corank 余秩correct error 纠正错误corresponding universal map 对应的通用映射countably infinite set 可列无限集（可列集）covariant functor (共变)函子covering 覆盖covering number 覆盖数Coxeter graph Coxeter 图crossing number of graph 图的叉数cuset 陪集cotree 余树cut edge 割边cut vertex 割点cycle 圈cycle basis 圈基cycle matrix 圈矩阵cycle rank 圈秩cycle space 圈空间cycle vector 圈向量cyclic group 循环群cyclic index 循环（轮转）指标cyclic monoid 循环单元半群cyclic permutation 圆圈排列cyclic semigroup 循环半群DDe Morgan law De Morgan 律decision procedure 判决过程decoding table 译码表deduction theorem 演绎定理degree 次数,次(度)degree sequence 次(度)序列derivation algebra 微分代数Descartes product Descartes 积designated truth value 特指真值detect errer 检验错误deterministic 确定的diagonal functor 对角线函子diameter 直径digraph 有向图dilemma 二难推理direct consequence 直接推论（直接后承）direct limit 正向极限direct sum 直和directed by inclution 被包含关系定向discrete Fourier transform 离散 Fourier 变换disjunctive normal form 正则析取范式disjunctive syllogism 选言三段论distance 距离distance transitive graph 距离传递图distinguished element 特异元distributive lattice 分配格divisibility 整除division subring 子除环divison ring 除环divisor (factor) 因子domain 定义域Driac condition Dirac 条件dual category 对偶范畴dual form 对偶式dual graph 对偶图dual principle 对偶原则(对偶原理) dual statement 对偶命题dummy variable 哑变量（哑变元）Eeccentricity 离心率edge chromatic number 边色数edge coloring 边着色edge connectivity 边连通度edge covering 边覆盖edge covering number 边覆盖数edge cut 边割集edge set 边集edge-independence number 边独立数eigenvalue of graph 图的特征值elementary divisor ideal 初等因子理想elementary product 初等积elementary sum 初等和empty graph 空图empty relation 空关系empty set 空集endomorphism 自同态endpoint 端点enumeration function 计数函数epimorphism 满态射equipotent 等势equivalent category 等价范畴equivalent class 等价类equivalent matrix 等价矩阵equivalent object 等价对象equivalent relation 等价关系error function 错误函数error pattern 错误模式Euclid algorithm 欧几里德算法Euclid domain 欧氏整环Euler characteristic Euler 特征Euler function Euler 函数Euler graph Euler 图Euler number Euler 数Euler polyhedron formula Euler 多面体公式Euler tour Euler 闭迹Euler trail Euler 迹existential generalization 存在推广规则existential quantifier 存在量词existential specification 存在特指规则extended Fibonacci number 广义 Fibonacci 数extended Lucas number 广义Lucas 数extension 扩充（扩张）extension field 扩域extension graph 扩图exterior algebra 外代数Fface 面factor 因子factorable 可因子化的factorization 因子分解faithful (full) functor 忠实（完满）函子Ferrers graph Ferrers 图Fibonacci number Fibonacci 数field 域filter 滤子finite extension 有限扩域finite field (Galois field ) 有限域（Galois 域）finite dimensional associative division algebra有限维结合可除代数finite set 有限（穷）集finitely generated module 有限生成模first order theory with equality 带符号的一阶系统five-color theorem 五色定理five-time-repetition 五倍重复码fixed point 不动点forest 森林forgetful functor 忘却函子four-color theorem(conjecture) 四色定理（猜想）F-reduced product F-归纳积free element 自由元free monoid 自由单元半群free occurrence 自由出现free R-module 自由R-模free variable 自由变元free-Ω-algebra 自由Ω代数function scheme 映射格式GGalileo paradox Galileo 悖论Gauss coefficient Gauss 系数GBN (Gödel-Bernays-von Neumann system)GBN系统generalized petersen graph 广义 petersen 图generating function 生成函数generating procedure 生成过程generator 生成子（生成元）generator matrix 生成矩阵genus 亏格girth （腰）围长Gödel completeness theorem Gödel 完全性定理golden section number 黄金分割数（黄金分割率）graceful graph 优美图graceful tree conjecture 优美树猜想graph 图graph of first class for edge coloring 第一类边色图graph of second class for edge coloring 第二类边色图graph rank 图秩graph sequence 图序列greatest common factor 最大公因子greatest element 最大元（素）Grelling paradox Grelling 悖论Grötzsch graph Grötzsch 图group 群group code 群码group of graph 图的群HHajós conjecture Hajós 猜想Hamilton cycle Hamilton 圈Hamilton graph Hamilton 图Hamilton path Hamilton 路Harary graph Harary 图Hasse graph Hasse 图Heawood graph Heawood 图Herschel graph Herschel 图hom functor hom 函子homemorphism 图的同胚homomorphism 同态（同态映射）homomorphism of graph 图的同态hyperoctahedron 超八面体图hypothelical syllogism 假言三段论hypothese (premise) 假设(前提)Iideal 理想identity 单位元identity natural transformation 恒等自然变换imbedding 嵌入immediate predcessor 直接先行immediate successor 直接后继incident 关联incident axiom 关联公理incident matrix 关联矩阵inclusion and exclusion principle 包含与排斥原理inclusion relation 包含关系indegree 入次（入度）independent 独立的independent number 独立数independent set 独立集independent transcendental element 独立超越元素index 指数individual variable 个体变元induced subgraph 导出子图infinite extension 无限扩域infinite group 无限群infinite set 无限（穷）集initial endpoint 始端initial object 初始对象injection 单射injection functor 单射函子injective (one to one mapping) 单射（内射）inner face 内面inner neighbour set 内（入）邻集integral domain 整环integral subdomain 子整环internal direct sum 内直和intersection 交集intersection of graph 图的交intersection operation 交运算interval 区间invariant factor 不变因子invariant factor ideal 不变因子理想inverse limit 逆向极限inverse morphism 逆态射inverse natural transformation 逆自然变换inverse operation 逆运算inverse relation 逆关系inversion 反演isomorphic category 同构范畴isomorphism 同构态射isomorphism of graph 图的同构join of graph 图的联JJordan algebra Jordan 代数Jordan product (anti-commutator) Jordan乘积（反交换子）Jordan sieve formula Jordan 筛法公式j-skew j-斜元juxtaposition 邻接乘法Kk-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 k-边临界图kernel 核Kirkman schoolgirl problem Kirkman 女生问题Kuratowski theorem Kuratowski 定理Llabeled graph 有标号图Lah number Lah 数Latin rectangle Latin 矩形Latin square Latin 方lattice 格lattice homomorphism 格同态law 规律leader cuset 陪集头least element 最小元least upper bound 上确界（最小上界）left (right) identity 左（右）单位元left (right) invertible element 左（右）可逆元left (right) module 左（右）模left (right) zero 左（右）零元left (right) zero divisor 左（右）零因子left adjoint functor 左伴随函子left cancellable 左可消的left coset 左陪集length 长度Lie algebra Lie 代数line- group 图的线群logically equivanlent 逻辑等价logically implies 逻辑蕴涵logically valid 逻辑有效的（普效的）loop 环Lucas number Lucas 数Mmagic 幻方many valued proposition logic 多值命题逻辑matching 匹配mathematical structure 数学结构matrix representation 矩阵表示maximal element 极大元maximal ideal 极大理想maximal outerplanar graph 极大外平面图maximal planar graph 极大平面图maximum matching 最大匹配maxterm 极大项（基本析取式）maxterm normal form(conjunctive normal form) 极大项范式（合取范式）McGee graph McGee 图meet 交Menger theorem Menger 定理Meredith graph Meredith 图message word 信息字mini term 极小项minimal κ-connected graph 极小κ-连通图minimal polynomial 极小多项式Minimanoff paradox Minimanoff 悖论minimum distance 最小距离Minkowski sum Minkowski 和minterm (fundamental conjunctive form) 极小项（基本合取式）minterm normal form(disjunctive normal form)极小项范式（析取范式）Möbius function Möbius 函数Möbius ladder Möbius 梯Möbius transform (inversion) Möbius 变换（反演）modal logic 模态逻辑model 模型module homomorphism 模同态(R-同态)modus ponens 分离规则modus tollens 否定后件式module isomorphism 模同构monic morphism 单同态monoid 单元半群monomorphism 单态射morphism (arrow) 态射（箭）Möbius function Möbius 函数Möbius ladder Möbius 梯Möbius transform (inversion) Möbius 变换（反演）multigraph 多重图multinomial coefficient 多项式系数multinomial expansion theorem 多项式展开定理multiple-error-correcting code 纠多错码multiplication principle 乘法原理mutually orthogonal Latin square 相互正交拉丁方Nn-ary operation n-元运算n-ary product n-元积natural deduction system 自然推理系统natural isomorphism 自然同构natural transformation 自然变换neighbour set 邻集next state 下一个状态next state transition function 状态转移函数non-associative algebra 非结合代数non-standard logic 非标准逻辑Norlund formula Norlund 公式normal form 正规形normal model 标准模型normal subgroup (invariant subgroup) 正规子群（不变子群）n-relation n-元关系null object 零对象nullary operation 零元运算Oobject 对象orbit 轨道order 阶order ideal 阶理想Ore condition Ore 条件orientation 定向orthogonal Latin square 正交拉丁方orthogonal layout 正交表outarc 出弧outdegree 出次(出度)outer face 外面outer neighbour 外（出）邻集outerneighbour set 出(外)邻集outerplanar graph 外平面图Ppancycle graph 泛圈图parallelism 平行parallelism class 平行类parity-check code 奇偶校验码parity-check equation 奇偶校验方程parity-check machine 奇偶校验器parity-check matrix 奇偶校验矩阵partial function 偏函数partial ordering (partial relation) 偏序关系partial order relation 偏序关系partial order set (poset) 偏序集partition 划分,分划,分拆partition number of integer 整数的分拆数partition number of set 集合的划分数Pascal formula Pascal 公式path 路perfect code 完全码perfect t-error-correcting code 完全纠-错码perfect graph 完美图permutation 排列（置换）permutation group 置换群permutation with repetation 可重排列Petersen graph Petersen 图p-graph p-图Pierce arrow Pierce 箭pigeonhole principle 鸽子笼原理planar graph （可）平面图plane graph 平面图Pólya theorem Pólya 定理polynomail 多项式polynomial code 多项式码polynomial representation 多项式表示法polynomial ring 多项式环possible world 可能世界power functor 幂函子power of graph 图的幂power set 幂集predicate 谓词prenex normal form 前束范式pre-ordered set 拟序集primary cycle module 准素循环模prime field 素域prime to each other 互素primitive connective 初始联结词primitive element 本原元primitive polynomial 本原多项式principal ideal 主理想principal ideal domain 主理想整环principal of duality 对偶原理principal of redundancy 冗余性原则product 积product category 积范畴product-sum form 积和式proof (deduction) 证明（演绎）proper coloring 正常着色proper factor 真正因子proper filter 真滤子proper subgroup 真子群properly inclusive relation 真包含关系proposition 命题propositional constant 命题常量propositional formula(well-formed formula,wff)命题形式（合式公式）propositional function 命题函数propositional variable 命题变量pullback 拉回(回拖) pushout 推出Qquantification theory 量词理论quantifier 量词quasi order relation 拟序关系quaternion 四元数quotient (difference) algebra 商（差）代数quotient algebra 商代数quotient field (field of fraction) 商域（分式域）quotient group 商群quotient module 商模quotient ring (difference ring , residue ring) 商环（差环，同余类环）quotient set 商集RRamsey graph Ramsey 图Ramsey number Ramsey 数Ramsey theorem Ramsey 定理range 值域rank 秩reconstruction conjecture 重构猜想redundant digits 冗余位reflexive 自反的regular graph 正则图regular representation 正则表示relation matrix 关系矩阵replacement theorem 替换定理representation 表示representation functor 可表示函子restricted proposition form 受限命题形式restriction 限制retraction 收缩Richard paradox Richard 悖论right adjoint functor 右伴随函子right cancellable 右可消的right factor 右因子right zero divison 右零因子ring 环ring of endomorphism 自同态环ring with unity element 有单元的环R-linear independence R-线性无关root field 根域rule of inference 推理规则Russell paradox Russell 悖论Ssatisfiable 可满足的saturated 饱和的scope 辖域section 截口self-complement graph 自补图semantical completeness 语义完全的（弱完全的）semantical consistent 语义相容semigroup 半群separable element 可分元separable extension 可分扩域sequent 矢列式sequential 序列的Sheffer stroke Sheffer 竖（谢弗竖）simple algebraic extension 单代数扩域simple extension 单扩域simple graph 简单图simple proposition (atomic proposition) 简单（原子）命题simple transcental extension 单超越扩域simplication 简化规则slope 斜率small category 小范畴smallest element 最小元（素）Socrates argument Socrates 论断（苏格拉底论断）soundness (validity) theorem 可靠性（有效性）定理spanning subgraph 生成子图spanning tree 生成树spectra of graph 图的谱spetral radius 谱半径splitting field 分裂域standard model 标准模型standard monomil 标准单项式Steiner triple Steiner 三元系大集Stirling number Stirling 数Stirling transform Stirling 变换subalgebra 子代数subcategory 子范畴subdirect product 子直积subdivison of graph 图的细分subfield 子域subformula 子公式subdivision of graph 图的细分subgraph 子图subgroup 子群sub-module 子模subrelation 子关系subring 子环sub-semigroup 子半群subset 子集substitution theorem 代入定理substraction 差集substraction operation 差运算succedent 后件surjection (surjective) 满射switching-network 开关网络Sylvester formula Sylvester公式symmetric 对称的symmetric difference 对称差symmetric graph 对称图symmetric group 对称群syndrome 校验子syntactical completeness 语法完全的（强完全的）Syntactical consistent 语法相容system Ł3 , Łn , Łא0 , Łא系统Ł3 , Łn , Łא0 , Łאsystem L 公理系统 Lsystem Ł公理系统Łsystem L1 公理系统 L1system L2 公理系统 L2system L3 公理系统 L3system L4 公理系统 L4system L5 公理系统 L5system L6 公理系统 L6system Łn 公理系统Łnsystem of modal prepositional logic 模态命题逻辑系统system Pm 系统 Pmsystem S1 公理系统 S1system T (system M) 公理系统 T(系统M)Ttautology 重言式（永真公式）technique of truth table 真值表技术term 项terminal endpoint 终端terminal object 终结对象t-error-correcing BCH code 纠 t -错BCH码theorem (provable formal) 定理（可证公式）thickess 厚度timed sequence 时间序列torsion 扭元torsion module 扭模total chromatic number 全色数total chromatic number conjecture 全色数猜想total coloring 全着色total graph 全图total matrix ring 全方阵环total order set 全序集total permutation 全排列total relation 全关系tournament 竞赛图trace (trail) 迹tranformation group 变换群transcendental element 超越元素transitive 传递的tranverse design 横截设计traveling saleman problem 旅行商问题tree 树triple system 三元系triple-repetition code 三倍重复码trivial graph 平凡图trivial subgroup 平凡子群true in an interpretation 解释真truth table 真值表truth value function 真值函数Turán graph Turán 图Turán theorem Turán 定理Tutte graph Tutte 图Tutte theorem Tutte 定理Tutte-coxeter graph Tutte-coxeter 图UUlam conjecture Ulam 猜想ultrafilter 超滤子ultrapower 超幂ultraproduct 超积unary operation 一元运算unary relation 一元关系underlying graph 基础图undesignated truth value 非特指值undirected graph 无向图union 并(并集)union of graph 图的并union operation 并运算unique factorization 唯一分解unique factorization domain (Gauss domain) 唯一分解整域unique k-colorable graph 唯一k着色unit ideal 单位理想unity element 单元universal 全集universal algebra 泛代数（Ω代数）universal closure 全称闭包universal construction 通用结构universal enveloping algebra 通用包络代数universal generalization 全称推广规则universal quantifier 全称量词universal specification 全称特指规则universal upper bound 泛上界unlabeled graph 无标号图untorsion 无扭模upper (lower) bound 上（下）界useful equivalent 常用等值式useless code 废码字Vvalence 价valuation 赋值Vandermonde formula Vandermonde 公式variery 簇Venn graph Venn 图vertex cover 点覆盖vertex set 点割集vertex transitive graph 点传递图Vizing theorem Vizing 定理Wwalk 通道weakly antisymmetric 弱反对称的weight 重（权）weighted form for Burnside lemma 带权形式的Burnside引理well-formed formula (wff) 合式公式(wff)word 字Zzero divison 零因子zero element (universal lower bound) 零元（泛下界）ZFC (Zermelo-Fraenkel-Cohen) system ZFC系统form)normal(Skolemformnormalprenex-存在正则前束范式(Skolem 正则范式)3-value proposition logic 三值命题逻辑。
