- 在线播放
- 分集下载
- 01 Introduction and Propositional Logic
- 02 Logical Rules and Proofs
- 03 Proofs and Circuits
- 04 Proofs and Circuits 2
- 05 Multiplexers
- 06 Predicate Calculus and Set Theory
- 07 Set Theory 1
- 08 Test 1 Review
- 09 Arithmetic Proofs
- 10 Induction
- 11 Recursion.avi
- 12 Big O Part 1.avi
- 13 Big O Part 2
- 14 Big O Part 3
- 15 Test 2 Review.avi
- 16 Big O and Binary Relations.avi
- 17 Binary Relations
- 18 Composition, Hasse Diagrams, Countin.avi
- 19 Counting 2.avi
- 20 Counting 3.avi
- 21 Counting 4 and Graph Theory 1.avi
- 22 Finite State Machines
- 23 The Universal Problem
- 24 Review.avi
- 25 apply discrete mathmatic
离散数学英文教程(Discrete Mathematics)的相关介绍
计算机的离散数学是现代数学的重要分支,也是计算机专业的专业课程,它主要研究离散量的结构及其相互关系,在很多学科领域都有广泛的应用,下面我们就来了解一下离散数学课程所涉及到的内容。
1.集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数
2.图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用
3.代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数
4.组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理
5.数理逻辑部分:命题逻辑、一阶谓词演算、消解原理
离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。教学方式以课堂讲授为主, 课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。