![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
【离散数学】
文章平均质量分 78
Teddy van Jerry
I will come forth as gold!
展开
-
【离散数学】 SEU - 30 - 2021/06/18 - Review (in Chinese)
详见上次博客 【离散数学】 SEU - 29 - 2021/06/16 - Review (in Chinese)。Example 3“没有人不吃水任何水果”:Let M(x)M(x)M(x) denote xxx is a man, F(x)F(x)F(x) denote xxx is fruit, E(x,y)E(x,y)E(x,y) denote xxx eat yyy.¬∃x(M(x)∧∀y(F(y)→¬E(x,y)))\neg \exists x (M(x)\wedge \forall y原创 2021-06-18 11:55:55 · 155 阅读 · 0 评论 -
【离散数学】 SEU - 29 - 2021/06/16 - Review (in Chinese)
Lattice and Boolean AlgebraBoolen AlgrebaAtomTheorem: < B,∧,∨,′,0,1 ><\!B, ∧, ∨, ', 0, 1\!><B,∧,∨,′,0,1> is a finite Boolean algebra, for any non-zero element x∈B,a1,a2,⋯ ,akx∈B, a_1,a_2, \cdots,a_kx∈B,a1,a2,⋯,ak are all atoms suc原创 2021-06-16 11:04:56 · 201 阅读 · 0 评论 -
【离散数学】 SEU - 28 - 2021/06/11 - Lattice and Boolean Algebra
Discrete Mathematical Structures (6th Edition)2021/06/09 - Lattice and Boolean AlgebraLattice and Boolean AlgebraLatticeHomomorphismDistributive LatticeDistributive Lattice: < L,∧,∨ ><\!L,∧,∨\!><L,∧,∨> is a lattice, ∀a,b,c∈L\for原创 2021-06-11 11:27:33 · 398 阅读 · 1 评论 -
【离散数学】 SEU - 27 - 2021/06/09 - Lattice
Discrete Mathematical Structures (6th Edition)2021/06/09 - LatticeLattice and Boolean AlgebraLatticeNotationGreatest lower bound: ∧∧∧Least upper bound: ∨∨∨PropertiesTheorem:<L, ≤> is a lattice, for a, b, c ∈ L, we haveCommutative laws:原创 2021-06-09 11:26:12 · 586 阅读 · 1 评论 -
【离散数学】 SEU - 26 - 2021/06/04 - Group Theory
Discrete Mathematical Structures (6th Edition)2021/06/04 - Group TheoryGroup TheorySubgroupFor group <G,∗><G, *><G,∗>, if HHH is a nonempty set of GGG, and <H,∗><H, *><H,∗> is also a group, then HHH is a subgroup of原创 2021-06-04 11:39:10 · 194 阅读 · 0 评论 -
【离散数学】 SEU - 25 - 2021/06/02 - Group Theory
Discrete Mathematical Structures (6th Edition)2021/06/02 - Group TheoryAlgebraic SystemHomomorphismLike a blurred mirror.Isomorphismfff is a bijectionLike a clear mirror.Group TheoryIntroductionA semi group is an algebraic system <G,∗>原创 2021-06-02 11:27:16 · 159 阅读 · 0 评论 -
【离散数学】 SEU - 24 - 2021/05/28 - Algebraic System
Discrete Mathematics and its Applications (8th Edition)2021/05/28 - Algebraic SystemAlgebraic SystemBinary OperationIdentity ElementLeft identity element: el∗x=xe_l* x=xel∗x=xRight identity element: x∗er=xx* e_r=xx∗er=xTheorem: If there is ele_le原创 2021-05-28 11:27:19 · 145 阅读 · 0 评论 -
【离散数学】 SEU - 23 - 2021/05/26 - Trees
Discrete Mathematics and its Applications (8th Edition)2021/05/26 - Trees11 TreesTerminologyIf vvv is a vertex other than the root, the parent of vvv is the unique vertex uuu such that there is a directed edge from uuu to vvv. vvv is called a child o原创 2021-05-28 11:26:52 · 1002 阅读 · 0 评论 -
【离散数学】 SEU - 22 - 2021/05/21 - Planar Graph
Discrete Mathematics and its Applications (8th Edition)2021/05/21 - Planar Graph10 Graphs10.7 Planar Graph10.7.3 Kuratowski’s TheoremA graph is nonplanar if and only if it contains a subgraph homeomorphic to K3,3K_{3,3}K3,3 or K5K_5K5.11 Tree11.1原创 2021-05-23 19:28:34 · 225 阅读 · 0 评论 -
【离散数学】 SEU - 21 - 2021/05/19 - Shortest-Path Problems and Planar Graph
Discrete Mathematics and its Applications (8th Edition)2021/05/12 - Shortest-Path Problems and Planar Graph10 Graphs10.6 Shortest-Path ProblemsDijkstra’s algorithm10.7 Planar GraphA graph is called planar if it can be drawn in the plane without any原创 2021-05-21 10:09:34 · 212 阅读 · 0 评论 -
【离散数学】 SEU - 20 - 2021/05/14 - Euler and Hamilton Paths
Discrete Mathematics and its Applications (8th Edition)2021/05/12 - Connectivity10 Graphs10.5 Euler and Hamilton PathsAn Euler circuit in a graph GGG is a simple circuit containing every edge of GGG. An Euler path in GGG is a simple path containing ev原创 2021-05-14 12:45:00 · 186 阅读 · 0 评论 -
【离散数学】 SEU - 19 - 2021/05/12 - Connectivity
Discrete Mathematics and its Applications (8th Edition)2021/05/12 - Connectivity & Graph Terminology and Special Types of Graphs10 Graphs10.4 Connectivity10.4.3 Connectedness in Undirected GraphsConnected ComponentExercise: Prove that for any s原创 2021-05-12 17:27:55 · 132 阅读 · 0 评论 -
【离散数学】 SEU - 18 - 2021/05/07 - Graph Terminology and Special Types of Graphs
Discrete Mathematics and its Applications (8th Edition)2021/05/07 - Graph Terminology and Special Types of Graphs10 Graphs10.2 Graph Terminology and Special Types of Graphs10.2.5 Bipartite Graphs and MatchingsHALL’S MARRIAGE THEOREM The bipartite gra原创 2021-05-07 11:25:42 · 223 阅读 · 0 评论 -
【离散数学】 SEU - 17 - 2021/04/30 - Graphs and Graph Models
Discrete Mathematics and its Applications (8th Edition)2021/04/30 - Graphs and Graph Models10 Graphs10.1 Graphs and Graph Models10.2 Graph Terminology and Special Types of Graphs10.2.2 Basic TerminologyUndirected GraphsTwo vertices uuu and vvv in原创 2021-04-30 11:26:11 · 148 阅读 · 0 评论 -
【离散数学】 SEU - 16 - 2021/04/28 - Partial Orderings
Discrete Mathematics and its Applications (8th Edition)2021/04/28 - Partial Orderings9 Relations9.6 Partial Orderings9.6.3 Hasse DiagramsIn order theory, a Hasse diagram (/ˈhæsə/; German: [ˈhasə]) is a type of mathematical diagram used to represent a原创 2021-04-28 11:29:35 · 300 阅读 · 0 评论 -
【离散数学】 SEU - 15 - 2021/04/23 - Equivalence Relations
Discrete Mathematics and its Applications (8th Edition)2021/04/23 - Equivalence Relations9 Relations9.5 Equivalence Relations9.5.2 Equivalence RelationsA relation on a set AAA is called equivalence relation if it is reflexive, symmetric, and transiti原创 2021-04-23 11:26:09 · 420 阅读 · 0 评论 -
【离散数学】 SEU - 14 - 2021/04/21 - Closures of Relations
Discrete Mathematics and its Applications (8th Edition)2021/04/22 - Closures of Relations9 Relations9.4 Closures of Relations9.4.2 Different Types of ClosuresIf RRR is a relation on a set AAA, then the closure of RRR with respect to PPP, if it exists原创 2021-04-21 11:24:13 · 196 阅读 · 0 评论 -
【离散数学】 SEU - 13 - 2021/04/09 - Relations and Their Properties
Discrete Mathematics and its Applications (8th Edition)2021/04/04 - Relations and Their Properties9 Relations9.19.1.5 Combining RelationsPowers of a RelationR1=RR^1=RR1=R, Rn+1=Rn∘RR^{n+1}=R^n\circ RRn+1=Rn∘R.The relation RRR on a set AAA is transi原创 2021-04-14 11:25:15 · 149 阅读 · 0 评论 -
【离散数学】 SEU - 12 - 2021/04/09 - Relations and Their Properties
Discrete Mathematics and its Applications (8th Edition)2021/04/09 - Relations and Their Properties9 Relations9.1 Relations and Their Properties9.1.1 IntroductionLet AAA and BBB be sets. A binary relation from AAA to BBB is a subset of A×BA\times BA×B原创 2021-04-09 11:25:45 · 162 阅读 · 0 评论 -
【离散数学】 SEU - 11 - 2021/04/07 - Functions and Cardinality of Sets
Discrete Mathematics and its Applications (8th Edition)2021/04/07 - Functions and Cardinality of Sets2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices2.3 Functions2.3.2 One-to-One and Onto FunctionsInjectionA function f is said to b原创 2021-04-07 11:26:59 · 256 阅读 · 0 评论 -
【离散数学】 SEU - 10 - 2021/04/02 - Set Operations
Discrete Mathematics and its Applications (8th Edition)2021/03/31 - Sets2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices2.22.2.1 IntroductionUnion (∪\cup∪)Intersection (∩\cap∩)Note if the intersection is empty, then AAA and BBB ar原创 2021-04-02 11:26:12 · 142 阅读 · 0 评论 -
【离散数学】 SEU - 09 - 2021/03/31 - Sets
Discrete Mathematics and its Applications (8th Edition)2021/03/31 - Sets2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices2.1 Sets2.1.1 IntroductionHere, we will use what is called naive set theory.Russell’s ParadoxRoster Method (X原创 2021-03-31 11:24:40 · 271 阅读 · 0 评论 -
【离散数学】 SEU - 08 - 2021/03/26 - Introduction to Proofs
Discrete Mathematics and its Applications (8th Edition)2021/03/26 - Introduction to Proofs1 The Foundations: Logic and Proofs1.7 Introduction to Proofs1.7.2 Some TerminologyA theorem is a statement that can be shown to be true using:definitionsoth原创 2021-03-26 11:21:48 · 214 阅读 · 0 评论 -
【离散数学】 SEU - 07 - 2021/03/24 - Introduction to Proofs
Discrete Mathematics and its Applications (8th Edition)2021/03/24 - Introduction to ProofsContents1 The Foundations: Logic and Proofs1.6 Rules of Inference1.6.7 Rules of Inference for Quantified StatementsUniversal instantiations (UI)Universal generaliz原创 2021-03-24 11:25:31 · 256 阅读 · 0 评论 -
【离散数学】 SEU - 06 - 2021/03/19 - Rules of Inference
Discrete Mathematics and its Applications (8th Edition)2021/03/19 - Rules of InferenceContents1 The Foundations: Logic and Proofs1.5 Nested QuantifiersPrenex Normal FormPNF Existence TheoremPrenex Conjunctive Normal Form1.6 Rules of Inference1.6.2 Valid原创 2021-03-19 11:25:40 · 562 阅读 · 1 评论 -
【离散数学】 SEU - 05 - 2021/03/17 - Nested Quantifiers
Discrete Mathematics and its Applications (8th Edition)2021/03/17 - Nested QuantifiersContents1 The Foundations: Logic and Proofs1.5 Nested Quantifiers1.5.3 Order of Quantifiers1.5.4 Translating Mathematical Statements into Statements1.5.5 Translating f原创 2021-03-17 11:25:16 · 328 阅读 · 0 评论 -
【离散数学】 SEU - Assignment 4 - 2021/03/12
LaTeX\LaTeXLATEX CodeALL RIGHTS RESERVED © 2021 Teddy van JerryThis blog is licensed under the CC 4.0 Licence.See alsoTeddy van Jerry’s CSDN HomepageTeddy van Jerry’s GitHub Homepage原创 2021-03-13 08:47:35 · 341 阅读 · 0 评论 -
【离散数学】 SEU - 04 - 2021/03/12 - Predicates and Quantifiers
Discrete Mathematics and its Applications (8th Edition)2021/03/12 - Predicates and QuantifiersContents1 The Foundations: Logic and Proofs1.4 Predicates and Quantifiers1.4.6 Precedence of Quantifiers1.4.7 Binding Variables1.4.8 Logical Equivalences Invol原创 2021-03-12 11:27:52 · 428 阅读 · 1 评论 -
【离散数学】 SEU - Assignment 3 - 2021/03/08
SEU - Assignment 2 - 2021/03/05 Section 1.3。ALL RIGHTS RESERVED © 2021 Teddy van JerryThis blog is licensed under the CC 4.0 Licence.See alsoTeddy van Jerry’s CSDN HomepageTeddy van Jerry’s GitHub Homepage原创 2021-03-12 09:54:14 · 152 阅读 · 0 评论 -
【离散数学】 SEU - 03 - 2021/03/08 - Predicates and Quantifiers
Discrete Mathematics and its Applications (8th Edition)2021/03/08 - Predicates and QuantifiersContents1 The Foundations: Logic and Proofs1.3 Propositional Equivalences1.3.5 Propositional SatisfiabilitySudoku1.4 Predicates and Quantifiers1.4.2 Predicates原创 2021-03-10 11:28:20 · 253 阅读 · 0 评论 -
【离散数学】 SEU - Assignment 2 - 2021/03/05
LaTeX\LaTeXLATEX Code% !TeX spellcheck = en_EN-EnglishUnitedKingdom\documentclass{article}\usepackage{amsmath,amssymb,amsthm}\usepackage{graphicx}\usepackage{xcolor}\usepackage{fancyhdr}\usepackage{fancyhdr}\usepackage{graphicx}\usepackage{title原创 2021-03-06 23:32:48 · 475 阅读 · 0 评论 -
【离散数学】 SEU - 02 - 2021/03/05 - Applications of Propositional Logic and Propositional Equivalences
Discrete Mathematics and its Applications (8th Edition)2021/03/05 - Applications of Propositional Logic and Propositional EquivalencesContents1 The Foundations: Logic and Proofs1.2 Applications of Propositional Logic1.2.2 Translating English Sentences1.原创 2021-03-05 13:24:23 · 246 阅读 · 1 评论 -
【离散数学】 SEU - Assignment 1 - 2021/03/03
LaTeX\LaTeXLATEX Code% !TeX spellcheck = en_EN-EnglishUnitedKingdom\documentclass{article}\usepackage{amsmath,amssymb,amsthm}\usepackage{graphicx}\usepackage{xcolor}\usepackage{fancyhdr}\usepackage{fancyhdr}\usepackage{graphicx}\usepackage{title原创 2021-03-04 12:13:23 · 527 阅读 · 1 评论 -
【离散数学】 SEU - 01 - 2021/03/03 - Propositional Logic
Discrete Mathematics and its Applications (8th Edition)2021/03/03 - Propositional LogicContents1 The Foundations: Logic and Proofs1.1 Propositional Logic1.1.2 Propositions1.1.3 Conditional StatementsNegation (¬\neg¬)Conjunction (⋀\bigwedge⋀)Disjunction原创 2021-03-03 11:28:03 · 517 阅读 · 0 评论 -
【离散数学】 MIT 6.042J 笔记 - Lecture 9 Communication Networks
PDF 文件下载【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 9图片效果LaTeX\LaTeXLATEX 代码% !TeX spellcheck = en_EN-EnglishUnitedKingdom\documentclass{article}\usepackage{amsmath,amssymb,amsthm}\usepackage{graphicx}\usepackage{xcolor}\usepackage{fancy原创 2021-02-19 21:56:00 · 327 阅读 · 0 评论 -
【离散数学】 MIT 6.042J 笔记 - Lecture 8 Minimum Spanning Tree
PDF 文件下载图片效果LaTeX\LaTeXLATEX 代码ALL RIGHTS RESERVED © 2021 Teddy van Jerry欢迎转载,转载请注明出处。See alsoTeddy van Jerry 的导航页原创 2021-02-18 12:43:01 · 280 阅读 · 0 评论 -
【离散数学】 MIT 6.042J 笔记 - Lecture 7 Matching Problems
PDF 文件下载【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 7图片效果LaTeX\LaTeXLATEX 代码% !TeX spellcheck = en_EN-EnglishUnitedKingdom\documentclass{article}\usepackage{fancyhdr}\usepackage{graphicx}\usepackage{titlesec}\usepackage{titletoc}\usepacka原创 2021-02-15 19:19:41 · 337 阅读 · 0 评论 -
【离散数学】 MIT 6.042J 笔记 - Lecture 6 Graph Theory and Coloring
PDF 文件下载【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 6图片效果这次图片是直接在 Acrobat 导出为 png 的。以前截图处理确实太麻烦了。????LaTeX\LaTeXLATEX 代码% !TeX spellcheck = en_EN-EnglishUnitedKingdom\documentclass{article}\usepackage{fancyhdr}\usepackage{graphicx}\usepa原创 2021-02-15 11:35:03 · 375 阅读 · 0 评论 -
【离散数学】 MIT 6.042J 笔记 - Lecture 5 Number Theory II
PDF 文件下载图片效果LaTeX\LaTeXLATEX 代码ALL RIGHTS RESERVED © 2021 Teddy van Jerry欢迎转载,转载请注明出处。See alsoTeddy van Jerry 的导航页原创 2021-02-11 17:08:25 · 415 阅读 · 0 评论 -
【离散数学】 MIT 6.042J 笔记 - Lecture 4 Number Theory I
PDF 文件下载【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 4图片效果LaTeX\LaTeXLATEX 代码\documentclass{article}\usepackage{fancyhdr}\usepackage{graphicx}\usepackage{titlesec}\usepackage{titletoc}\usepackage{listings}\usepackage{appendix}\usepackag原创 2021-02-03 23:38:12 · 497 阅读 · 0 评论