← 全部课程

离散数学

上海交通大学 · CS2501

计算机科学的数学基石:从命题与谓词逻辑的严谨推理,到集合、关系、函数与基数的统一构造,再到图论的结构与算法。三大板块层层递进,配 45 个交互动画、5 个演算器与 300 余道练习题。

课程章节

  1. 1数理逻辑 — 命题逻辑(联结词·真值表·等值演算·公理系统·SAT)与谓词逻辑(量词·前束范式·公理化)
  2. 2集合论 — 集合与运算·容斥·关系(闭包/等价/偏序/哈斯图)·函数(单满双射)·基数与可数性
  3. 3图论 — 图与度·欧拉/哈密顿·最短路·树与最小生成树·Huffman·平面图与着色

题库共 311 题