We're sorry this project doesn't work properly without JavaScript enabled. Please enable it to continue.
欢迎来到在线教学平台
问题答疑
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
  • 扫码下载Android
  • 扫码下载iOS
  • 扫码打开微信小程序
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
    • 首页 - 课程列表 - 课程详情
    返回
    离散数学
    课程类型：选修课
    发布时间：2020-02-19 20:47:20
    主讲教师：
    课程来源：
    建议学分：0.00分
    课程编码：mk000094
    课程介绍
    课程目录
    教师团队
    第一章 Fundamentals
    开场 （6分钟）
    第1节 Sets and Subsets （19分钟）
    第2节 Operations on Sets：Inclusion-Exclusion Principle （13分钟）
    第2节 Operations on Sets：Operations on Sets （13分钟）
    第2节 Operations on Sets：Venn Diagrams （13分钟）
    第3节 Sequences : Represent Sets and Perform Set Operations in a Computer （8分钟）
    第3节 Sequences : Sequences （10分钟）
    第4节 Division in the Integers Euclidean Algorithm and Bezout's Equation （13分钟）
    第4节 Division in the Integers Division in the Integers （19分钟）
    第5节 Matrices Boolean Matrices （9分钟）
    第6节 Mathematical Structures Mathematical Structures （15分钟）
    第二章 Logic
    第1节 Propositions and Logical Operations Propositions and Logical Operations （23分钟）
    第1节 Propositions and Logical Operations Translating Natural Language into Logical Expressions （11分钟）
    第1节 Propositions and Logical Operations Translating Natural Language into predicate formulas （12分钟）
    第1节 Propositions and Logical Operations 刘铎老师——inference in predicate calculus （18分钟）
    第1节 Propositions and Logical Operations 刘铎老师——predicate and quantifiers （11分钟）
    第1节 Propositions and Logical Operations 刘铎老师——predicate formulas and classification1 （15分钟）
    第1节 Propositions and Logical Operations 刘铎老师——Resolation （8分钟）
    第1节 Propositions and Logical Operations Equivalent Calculus in Propositional Logic （13分钟）
    第1节 Propositions and Logical Operations Inference in Propositional Logic 3 （15分钟）
    第1节 Propositions and Logical Operations Normal Form ( I ) （10分钟）
    第1节 Propositions and Logical Operations Normal Form ( II ) （15分钟）
    第1节 Propositions and Logical Operations Propositional Formulas and Classification （9分钟）
    第1节 Propositions and Logical Operations 竞赛题目 （4分钟）
    第1节 Propositions and Logical Operations 说谎人与妖魔戒指 （5分钟）
    第1节 Propositions and Logical Operations 新裙子的颜色 （7分钟）
    第1节 Propositions and Logical Operations 早餐吃的什么 （3分钟）
    第1节 Propositions and Logical Operations Equivalent Calculus in Predicate Logic （24分钟）
    第2节 Quantifiers and First Order Logic 刘铎老师——前束范式 （7分钟）
    第2节 Quantifiers and First Order Logic 逻辑程序设计语言PROLOG （8分钟）
    第三章 Counting
    第1节 Permutations Permutations (I) （8分钟）
    第1节 Permutations Permutations (II) （7分钟）
    第1节 Permutations Multiplication Principle and Addition Principle （6分钟）
    第2节 Combinations Combinations (I) （8分钟）
    第2节 Combinations Combinations (II) （6分钟）
    第3节 Pigeonhole Principle Pigeonhole Principle （12分钟）
    第4节 Recurrence Relations Recurrence Relations （7分钟）
    第4节 Recurrence Relations 分形 （14分钟）
    第4节 Recurrence Relations 汉诺塔 与 谢尔宾斯基三角形 （15分钟）
    第4节 Recurrence Relations Characteristic Equation （9分钟）
    第4节 Recurrence Relations Fibonacci Sequence （6分钟）
    第4节 Recurrence Relations Generating Function （3分钟）
    第4节 Recurrence Relations Hanoi Tower （10分钟）
    第四章 Relations and Digraphs
    第1节 Product Sets and Partitions Partitions （6分钟）
    第1节 Product Sets and Partitions Product Sets （8分钟）
    第2节 Relations and Digraphs In-degree and Out-degree （5分钟）
    第2节 Relations and Digraphs Relations and Digraphs （16分钟）
    第2节 Relations and Digraphs Relative Set （7分钟）
    第2节 Relations and Digraphs Domain and Range （3分钟）
    第3节 Paths in Relations and Digraphs Paths in Relations and Digraphs1 （14分钟）
    第3节 Paths in Relations and Digraphs Paths in Relations and Digraphs2 （10分钟）
    第3节 Paths in Relations and Digraphs 刘铎老师——分油问题 （13分钟）
    第3节 Paths in Relations and Digraphs 刘铎老师——过河问题 （11分钟）
    第4节 Properties of Relations Counting of Special Relations （8分钟）
    第4节 Properties of Relations 刘铎老师——properties of Relations --Reflexivity （8分钟）
    第4节 Properties of Relations 刘铎老师——properties of relations -symmetry （16分钟）
    第4节 Properties of Relations 刘铎老师——properties of relations -transitivity （6分钟）
    第5节 Equivalence Relations Equivalence Relations ( I ) （7分钟）
    第5节 Equivalence Relations Equivalence Relations ( II ) （12分钟）
    第6节 Computer Representation of Relations and Digraphs Computer Representation of Relations （6分钟）
    第7节 Operations on Relations Closure （11分钟）
    第7节 Operations on Relations Transitive Closure （14分钟）
    第7节 Operations on Relations 刘铎老师——operations on relations 1 （19分钟）
    第7节 Operations on Relations 刘铎老师——operations on relations 2 （8分钟）
    第7节 Operations on Relations 刘铎老师——operations on relations 3 （6分钟）
    第7节 Operations on Relations 刘铎老师——operations on relations 4 （12分钟）
    第8节 Transitive Closure and Warshall’s Algorithm Warshall’s Algorithm （10分钟）
    第8节 Transitive Closure and Warshall’s Algorithm Warshall算法纸上作业法 （5分钟）
    第五章 Functions
    第1节 Functions Function （8分钟）
    第1节 Functions Invertible Function （11分钟）
    第1节 Functions Special Types of Functions （7分钟）
    第1节 Functions Composition of Functions （6分钟）
    第六章 Order Relations and Structures
    第1节 Partially Ordered Sets Hasse Diagrams （8分钟）
    第1节 Partially Ordered Sets Partially Ordered Sets （10分钟）
    第1节 Partially Ordered Sets Product Partial Order and Lexicographic Order （14分钟）
    第2节 Extremal Elements of Partially Ordered Sets Greatest and Least Element （10分钟）
    第2节 Extremal Elements of Partially Ordered Sets LUB and GLB （5分钟）
    第2节 Extremal Elements of Partially Ordered Sets Maximal and Minimal Elements （8分钟）
    第2节 Extremal Elements of Partially Ordered Sets Topology Ordening （10分钟）
    第2节 Extremal Elements of Partially Ordered Sets Upper Bound and Lower Bound （6分钟）
    第3节 Lattices Lattices （9分钟）
    第3节 Lattices 信息流的安全格模型 （9分钟）
    第七章 Trees
    第1节 Trees Trees （12分钟）
    第2节 Labeled Trees Labeled Trees （15分钟）
    第2节 Labeled Trees Huffman coding （12分钟）
    第2节 Labeled Trees Prefix Codes （14分钟）
    第3节 Tree Searching Tree Traversal （18分钟）
    第3节 Tree Searching Doubly-Chained Tree （6分钟）
    第4节 Undirected Trees Undirected Trees （11分钟）
    第5节 Minimal Spanning Trees MST （9分钟）
    第5节 Minimal Spanning Trees Prim's Algorithm （8分钟）
    第5节 Minimal Spanning Trees Kruskal's Algorithm （8分钟）
    第5节 Minimal Spanning Trees Reverse-Delete Algorithm （4分钟）
    第5节 Minimal Spanning Trees Boruvka's Algorithm （4分钟）
    第八章 Topic in Graph Theory
    第1节 Graphs Subgraph （4分钟）
    第1节 Graphs Path, Circuit and Bridge （9分钟）
    第1节 Graphs Special Graphs （4分钟）
    第1节 Graphs Graph Isomorphism （4分钟）
    第1节 Graphs Graphs and Disgraphs （11分钟）
    第1节 Graphs Handshake Theorem （5分钟）
    第1节 Graphs Subgraph 2 （4分钟）
    第2节 Euler Paths and Circuits Eulerian paths and circuits （17分钟）
    第2节 Euler Paths and Circuits 刘铎老师——Fleury 's Algorithm （8分钟）
    第2节 Euler Paths and Circuits 刘铎老师——中国邮路问题 （8分钟）
    第3节 Hamiltonian Paths and Circuits Knight's Tour （6分钟）
    第3节 Hamiltonian Paths and Circuits Memory Wheel （8分钟）
    第3节 Hamiltonian Paths and Circuits Traveiing Saiesman Problem （5分钟）
    第3节 Hamiltonian Paths and Circuits 刘铎老师——Characterizaztion of Hamiltonian Graphs （13分钟）
    第3节 Hamiltonian Paths and Circuits 刘铎老师——Hamiltonian paths and circuits （9分钟）
    第4节 Single-Source Shortest Paths 刘铎老师——Single-source Shortest paths （23分钟）
    第5节 Planar Graph Dual Graph （8分钟）
    第5节 Planar Graph Euler's Formula （10分钟）
    第5节 Planar Graph Planar Graph （8分钟）
    第6节 Graph Coloring Welsh–Powell algorithm （7分钟）
    第6节 Graph Coloring Graph Coloring （9分钟）
    第6节 Graph Coloring 刘铎老师——Four color Theorem_1 （7分钟）
    第6节 Graph Coloring Ramsey Number （10分钟）
    第7节 Network Flow Network Flow （13分钟）
    第九章 Groups
    第1节 Binary Operations Revisited Binary Operation and Operation Table （3分钟）
    第2节 Groups 刘铎老师——braid （11分钟）
    第2节 Groups 刘铎老师——Wallpaper Group （4分钟）
    第2节 Groups Groups （18分钟）
    京ICP备20031688号 　|　 京公网安备 11011502004263 　 |　 教APP备1102393号
    友情链接
    常见问题
    关于我们
    联系方式
    QQ：1522205766(密码找回，请联系教务处)
    邮箱：yinghuaonline@vip.126.com
    电话：010-61235039