职称：副教授
单位：信息科学与工程学院
部门：计算机系
◆
◆
个人介绍
主讲教师：陈海明
教师团队：共1位
- 陈海明
| 学校： | 宁波大学 |
| 课程编号： | 102J01A |
| 学分： | 4 |
| 课时： | 68 |
课程介绍
《离散数学》是计算机科学与技术专业的核心课程，培养学生严谨、抽象，而且是简明、清晰的逻辑思维能力。通过本课程的学习，使学生掌握命题逻辑、谓词逻辑、组合计数、集合和函数、关系、图与树、代数系统与布尔代数中的基本概念、方法和技能；了解有关内容中概念、定义、定理、公式的客观实际意义，以及方法、技能在复杂计算问题求解过程中的应用，能够为离散对象建立相应的数学模型，掌握计算机硬件与软件研究中的基本数学方法；同时结合国家经济和社会建设对人工智能与大数据处理、智能网络与网络安全等新一代信息技术的需求，增强学生对于离散数学课程在整个计算机课程体系和专业知识中的重要位置的理解，引导学生将解决工程问题与提升逻辑思维结合起来，将专业知识与职业素养、工匠精神结合起来，激发学生爱岗敬业，增强学生们的责任心和家国情怀。
教师团队
课程评价
教学资源
| 课程章节 | | 文件类型 | | 修改时间 | | 大小 | | 备注 | |
| 1.1 Propositional Logic |
文档
.pptx
|
2023-12-07 | 594.14KB | ||
|
视频
.mp4
|
2023-12-07 | 113.68MB | |||
|
视频
.mp4
|
2023-12-07 | 104.55MB | |||
|
视频
.mp4
|
2023-12-07 | 131.45MB | |||
|
视频
.mp4
|
2023-12-07 | 106.65MB | |||
|
视频
.mp4
|
2023-12-07 | 114.08MB | |||
|
视频
.mp4
|
2023-12-07 | 105.23MB | |||
| 1.2 Predicates and Quantifiers |
文档
.pptx
|
2023-09-18 | 517.68KB | ||
| 1.3 Rules of Inference |
文档
.pptx
|
2023-09-18 | 906.76KB | ||
| 1.4 Proofs and Proof Methods |
文档
.pptx
|
2023-09-18 | 317.96KB | ||
| 1.5 Induction and Well-Ordering |
文档
.pptx
|
2023-09-18 | 718.90KB | ||
| 2.1 Boolean Functions |
文档
.pptx
|
2023-09-18 | 566.58KB | ||
| 2.2 Minimizing Boolean Functions |
文档
.pptx
|
2023-09-18 | 653.40KB | ||
| 3.1 The Basic of Counting |
文档
.pptx
|
2023-09-18 | 649.82KB | ||
| 3.2 The Pigeonhole Principle |
文档
.pptx
|
2023-09-18 | 357.72KB | ||
| 3.3 Permutation and Combinations |
文档
.pptx
|
2023-09-18 | 670.25KB | ||
| 3.4 Lists and Sequences |
文档
.pptx
|
2023-09-18 | 474.15KB | ||
| 3.5 Recursive Definition of a Sequence and Its Solution |
文档
.pptx
|
2023-09-18 | 804.52KB | ||
| 4.1 Sets&Functions |
文档
.pptx
|
2023-11-13 | 1.40MB | ||
| 5.1 Relations and Their Properties |
文档
.pptx
|
2023-12-07 | 928.15KB | ||
| 5.2 Representing Relations |
视频
.mp4
|
2023-12-07 | 1023.34MB | ||
|
文档
.pptx
|
2023-12-07 | 554.83KB | |||
| 5.3 Closures of Relations |
文档
.pptx
|
2023-09-18 | 558.46KB | ||
| 5.4 Equivalence Relations |
文档
.pptx
|
2023-09-18 | 435.10KB | ||
| 5.5 Partial Orderings |
文档
.pptx
|
2023-12-04 | 735.85KB | ||
| 6.1 Graph and Graph Models |
文档
.pptx
|
2023-12-04 | 1.81MB | ||
| 6.2 Degree and Graph Isomorphisms |
文档
.pptx
|
2023-12-07 | 498.12KB | ||
|
视频
.mp4
|
2023-12-07 | 647.80MB | |||
|
视频
.mp4
|
2023-12-07 | 444.95MB | |||
|
视频
.mp4
|
2023-12-07 | 663.94MB | |||
| 6.3 Subgraph and Connectivity |
文档
.pptx
|
2023-09-18 | 438.74KB | ||
| 6.4 Shortest-Path Problems |
文档
.pptx
|
2023-09-18 | 503.13KB | ||
| 6.5 Euler and Hamilton Paths |
文档
.pptx
|
2023-09-18 | 458.66KB | ||
| 6.6 Bipartite Graphs and Planar Graphs |
文档
.pptx
|
2023-09-18 | 533.34KB | ||
| 7.1 Introduction and Applications |
文档
.pptx
|
2023-09-18 | 456.33KB | ||
| 7.2 Tree Traversal |
文档
.pptx
|
2023-09-18 | 439.88KB | ||
| 7.3 Spanning Trees |
文档
.pptx
|
2023-09-18 | 541.23KB |
文档 课程章节
1
3
5
6
