计算机数学
少于1000 人选课
更新日期：2025/05/17
| 开课平台 | 爱课程（中国大学MOOC） |
|---|---|
| 开课高校 | 武汉船舶职业技术学院 |
| 开课教师 | 王磊 |
| 学科专业 | 职业教育教育与体育 |
| 开课时间 | 2021/10/18 - 2022/01/12 |
|---|---|
| 课程周期 | 13 周 |
| 开课状态 | 已结课 |
| 每周学时 | - |
课程简介
计算机数学研究离散结构及其相互关系，是计算机相关专业的核心基础课，是数据结构、计算机网络等专业课程的先修课程。
本课程包含矩阵知识初步、数理逻辑，集合论和图论的基本概念。课程内容选取基于服务专业教学需求，以“必须够用为”准则，同时兼顾学生终身职业发展需求。
通过本课程的学习，你将较系统地掌握计算机数学基础理论的同时，理解数学理论在解决实际问题中的应用，提高你应用理论知识分析问题和解决问题的能力，培养和提高逻辑思维能力和计算思维能力，为后续计算机学科相关课程学习打下坚实的理论基础。
课程大纲
矩阵知识初步
1.1矩阵的定义
1.2矩阵的运算
1.3布尔矩阵
命题逻辑基础
2.1数理逻辑简介
2.2命题的概念
2.3逻辑联结词
2.4命题公式与分类
2.5等值公式与演算
命题逻辑的推理
3.1联结词的完备集
3.2范式与主范式
3.3命题逻辑的推理
集合论基础
4.1集合的基本概念
4.2集合的基本运算
4.3有限集计数的问题
二元关系
5.1有序对与笛-卡尔积
5.2关系的基本概念
5.3关系的运算
图论基础
6.1图论简介
6.2图的基本概念
6.3特殊的图
6.4结点的度
图的连通性
7.1通路与回路的概念
7.2图的可达性与距离
7.3图的连通性
特殊的图
8.1欧拉图
8.2汉尔密顿图
8.3树的基本概念
8.4树的遍历
8.5最优树
8.6前缀码问题
1.1矩阵的定义
1.2矩阵的运算
1.3布尔矩阵
命题逻辑基础
2.1数理逻辑简介
2.2命题的概念
2.3逻辑联结词
2.4命题公式与分类
2.5等值公式与演算
命题逻辑的推理
3.1联结词的完备集
3.2范式与主范式
3.3命题逻辑的推理
集合论基础
4.1集合的基本概念
4.2集合的基本运算
4.3有限集计数的问题
二元关系
5.1有序对与笛-卡尔积
5.2关系的基本概念
5.3关系的运算
图论基础
6.1图论简介
6.2图的基本概念
6.3特殊的图
6.4结点的度
图的连通性
7.1通路与回路的概念
7.2图的可达性与距离
7.3图的连通性
特殊的图
8.1欧拉图
8.2汉尔密顿图
8.3树的基本概念
8.4树的遍历
8.5最优树
8.6前缀码问题