← 学习中心
离散数学
计算机科学核心基础课程。涵盖数理逻辑、集合论、图论、组合数学、代数系统等内容,是算法设计、数据结构、数据库理论、人工智能等后续课程的基础。北京大学精品课程。
计算机科学 · 17课时
开始学习
课程目录
第1讲 命题逻辑基础
第2讲 命题逻辑等值演算
第3讲 谓词逻辑
第4讲 推理规则与证明方法
第5讲 集合的基本概念
第6讲 二元关系及其性质
第7讲 等价关系与偏序关系
第8讲 函数
第9讲 图的基本概念
第10讲 欧拉图与哈密顿图
第11讲 树与生成树
第12讲 平面图与着色
第13讲 最短路径与网络流
第14讲 代数系统基础
第15讲 群论入门
第16讲 环与域
第17讲 布尔代数