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