搜索
1A.定义1.简单命题/原子命题、复合命题2.定义1.1：否定式、否定联结词3.定义1.2：合取式、合取联结词4.定义1.3：析取式、析取联结词定义1.4：蕴含式、前件、后件、蕴含联结词；规定19.4、20.45.定义1.5：等价式、等价联结词；规定6.联结词的定义（真值表）表1.1、优先级7.命题常项、命题变项（不是命题）、合式公式8.定义1.6：原子命题公式、公式、子公式9.定义1.7：公式层次10.定义1.8：赋值/解释、成真赋值、成假赋值11.定义1..9：真值表12.定义1..10：重言式/永真式、矛盾式/永假式、可满足式13.哑元************************重点：命题逻辑等值演算***************14.定义2.1：等值区别等价式等值式模式：双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴涵等值式、（等价等值式、假言易位、等价否定等值式、归谬论）15.等值演算、置换规则4.116.定义2.2：文字、简单析取式、简单合取式17.定义2.3：析取范式、合取范式、范式18.定义2.4：极小项、极大项定义2.5：主析取范式、主合取范式********************************一阶逻辑**********************19.个体词、个体常项、个体变项、个体域/论域、全总个体域20.谓词、谓词常项、谓词变项、n元谓词、0元谓词量词、全称量词、存在量词全称蕴含、存在合取P715.3********************************集合代数**********************21.定义6.1：子集、包含22.定义6.2：相等23.定义6.3：真子集定义6.4：空集P139124.n元集、m元子集、（单元集）25.定义6.5：幂集公式：26.定义6.6：全集27.定义6.7:并集、交集、相对补集、不交28.定义6.8：对称差集229.定义6.9：绝对补集30.定义6.10：广义并31.定义6.11：广义交幂等律、结合律、交换律、分配律、同一律、零律、排中律、矛盾律、吸收律、德摩根律、双重否定律eg6.8,P10836****************************重点：二元关系***********************32.定义7.1：有序对/序偶33.定义7.2：笛卡尔积性质P11134.定义7.3：二元关系/关系P139735.定义7.4：从A到B的二元关系、A上的二元关系、空关系36.定义7.5：A上的全域关系（E）、恒等关系（I）、小于等于关系（L）、整除关系（D）、包含关系（R）37.关系矩阵（x行，y列）、关系图38.定义7.6：定义域、值域、域39.定义7.7：逆关系40.定义7.8：右复合（左复合）41.定义7.9：R在A上的限制、A在R下的像42.定义7.10：关系的n次幂定义7.11：自反、反自反定义7.12：对称、反对称定义7.13：传递43.定义7.15：等价关系（性质）P14232(4)、4144.定义7.16：等价类45.定义7.17：商集46.定义7.18：划分、划分块P134eg7.1847.定义7.19：偏序关系（性质）48.定义7.20：小于、可比49.定义7.21：全序关系/线序关系50.定义7.22：偏序集P13551.定义7.23：偏序集中顶点的覆盖关系（为画哈斯图）P14343（2）52.定义7.24：最小元、最大元、极小元、极大元（不懂）定义7.25：上界、下界、最小上界/上确界、最小下界/下确界P14347***************************函数*******************************53.定义8.1：函数54.定义8.2：函数相等55.定义8.3：从A到B的函数P1716（8）（9）56.定义8.4：从A到B的函数的集合BA57.定义8.5：A1在ƒ下的像、函数的像、完全原像定义8.6：满射、单射、双射/一一映射P17325358.定义8.7:常函数、恒等函数、单调递增、单调递减、严格单调递减、特征函数、自然映射59.反函数（双射）*************************代数系统*****************************定义9.1：二元运算（函数）、不封闭P178P191T3（2）自身运算60.定义9.2：一元运算定义9.3：可交换/交换律定义9.4：可结合/结合律定义9.5：幂等律、幂等元61.定义9.6：可分配/分配律62.定义9.7：吸收律63.定义9.8：左单位元（右单位元）、单位元/幺元64.定义9.9：左零元（右零元）65.定义9.10:左逆元（右逆元）、逆元、可逆66.定义9.11：消去律、左消去律（右消去律）注意P183eg9.667.定义9.12：代数系统/代数、特异元素/代数常数68.定义9.13：具有相同的构成成分/同类型69.定义9.14：子代数系统/子代数、平凡的子代数、真子代数（函数对子集封闭）70.定义9.15：积代数、因子代数************************************群与环***************************************半群与群都是具有一个二元运算的代数系统71.定义10.1：半群（）、幺半群/独异点（）、群（）72.有理数加群、整数加群、实数加群、复数加群、四元群、子代数、语言73.定义10.2：有限群、无限群、平凡群、交换群/Abel群74.定义10.3：n次幂75.定义10.4：（元素的）阶/周期、k阶元、无限阶元***********************************格与布尔代数**********************************格与布尔代数是具有两个二元运算的代数系统定义11.1：格（偏序集定义的）P22176.幂集格、子群格77.定义11.2：对偶命题、格的对偶原理78.定义11.3：格（代数系统定义的）79.定义11.4：子格80.定义11.5：分配格81.定义11.6：全上界、全下界82.定义11.7：有界格83.定义11.8：补元84.定义11.9：有补元定义11.10：布尔格/布尔代数（有补分配格）485.定义11.11：布尔代数（代数系统定义）86.定义11.12：原子**********************************14.图的基本概念********************************87.无序积A&B88.定义14.1：无向图、顶点集、顶点/结点、边集、无向边/边89.定义14.2：有向图、无向边/边90.（P294）图、阶、n阶图；零图、平凡图；空图；标定图、非标定图；基图；端点、关联、关联次数、环、相邻；始点、终点、孤立点；邻域、闭邻域、关联集、后继元集、先驱元集91.定义14.3：平行边、重数、多重图、简单图92.定义14.4：度数/度、出度、入度、最大度、最小度、悬挂顶点、悬挂边、偶度（奇度）顶点93.度数列、可图化的、可简单图化的，出度列、入度列94.定义14.6：n阶无向完全图/n阶完全图、n阶有向完全图、n阶竞赛图95.定义14.7：k-正则图96.定义14.8：母图、真子图、生成子图、导出的子图97.定义14.10：删除边e、删除E’、删除顶点v、删除V‘、边的收缩、新加边删点边不留，删边点还在98.定义14.11：通路、始点、终点、长度、回路、简单通路、简单回路、初级通路/路径、初级回路/圈、奇圈、偶圈、复杂通路、复杂回路99.定义14.12:连通、连通图、非连通图100.定义14.13：连通分支、连通分支数101.定义14.14：短程线、距离102.定义14.15：点割集、割点103.定义14.16：边割集/割集、割边/桥104.定义14.21：弱连通图/连通图、单向连通图、强连通图105.定义14.22：二部图/二分图/偶图，完全二部图定义14.23：无向图关联次数、关联矩阵定义14.24：有向图关联矩阵定义14.25：邻接矩阵定义14.26可达矩阵**********************************15.欧拉图与哈密顿图****************************106.定义15.1：欧拉通路、欧拉回路、欧拉图、半欧拉图107.定义15.2：哈密顿通路、哈密顿回路、哈密顿图、半哈密度图**********************************16.树*****************************************108.定义16.1：无向树/树、森林、平凡树、树叶、分支点109.定义16.2：生成树、树枝、弦、余树110.定义16.:5：权、最小生成树111.避圈法（Kruskal算法）5B.定理1.定理2.1：简单析取式是重言式的充要条件；简单合取式是矛盾式的充要条件2.定理2.2：析取范式（矛盾式）、合取范式（重言式）3.定理2.3：范式存在定理4.定理2.4：极小项和极大项关系5.定理2.5：主析、主合存在并唯一6.定理6.1：子集是一切集合的子集推论：空集是唯一的7.定理7.1：逆关系性质8.定理7.2：复合结合律、逆9.定理7.3：关系与恒等关系复合10.定理7.4：复合分配律注意交11.定理7.5：限制和像的分配律注意像的交12.定理7.6：有穷集上只有又穷多个不同的二元关系13.定理7.7：关系的幂性质14.定理7.8：有穷集A上的关系R的幂序列R0，R1，R2等是一个呈现周期性变化的序列15.定理7.9：五大性质16.定理7.14：等价关系的性质17.定理8.1：函数的复合（关系的右复合）推论1：函数复合结合律推论2：ƒ：A→B，g：B→C，则ƒ。g：A→C，且……定理8.2：函数复合能够保持单射、满射、双射的性质18.定理8.3：函数和恒等关系复合19.定理8.4：函数双射，反函数也是双射20.定理8.5：双射函数与反函数的复合21.定理9.1：左右单位元相等22.定理9.2：左右零元相等23.定理9.3：单位元和零元不相等24.定理9.4：左逆元等于右逆元25.定理9.5：积代数的性质26.定理10.1：群的幂运算27.定理10.2：群的消去律28.定理10.3：元素阶的性质629.定理11.1：运算∨和∧满足交换律、结合律、幂等律、吸收律30.定理11.2：P22531.定理11.3：格的上下确界32.定理11.4：P22633.定理11.6：补元唯一定理34.定理11.7：布尔代数的双重否定律、德摩根律35.定理14.1：握手定理（无向图）36.定理14.2：握手定理（有向图）推论：奇度顶点个数37.定理14.3：可图化的充要条件38.定理14.4：最大度取值39.定理14.5：通路存在，长度40.定理15.1：无向图欧拉图的充要条件41.定理15.2：无向图半欧拉图的充要条件42.定理15.3：有向图欧拉图的充要条件43.定理15.4：有向图半欧拉图的充要条件44.定理15.5：非平凡的欧拉图充要条件45.定理15.6：无向哈密顿图连通分支数性质推论：无向半哈密顿图连通分支数性质46.定理15.7：哈密顿通路存在定理推论：哈密顿回路存在定理47.定理15.8：无向图哈密顿图充要条件48.定理16.1：P32949.定理16.2：树和树叶50.定理16.3：无向图有生成树的充要条件推论：无向连通图的边数大于等于生成树的边数