上海交通大学 · CS2501 离散数学 · 个性化学习平台

把离散数学，看着学会。

课前跟 AI 辩一个概念，课上课后沿着自己的学习路径学、问、练。真值表怎么长出来、传递闭包怎么补边、Dijkstra 凭什么敢敲定一个点——15 个动画一步一步演给你看，再让你自己动手做一遍。

用学号进入 →作业和成绩按学号记录

01 / 15数理逻辑 · 每 8 秒换一个，鼠标停上去就暂停

离散星图

用学号和口令找回你的进度。

忘记口令请找助教重置。

每章一个小问题：“这句话是假的”是命题吗？偶数和自然数哪个多？选一边，跟 AI 辩三个来回，上课前先把概念想一想。

3 篇 15 章 135 节，绿色已完成、红色待学、灰色还没上。每一节挂着笔记、动画、演算室和练习，按你的习惯排好先后。

真值表、传递闭包、最短路、Huffman 树……15 个动画把抽象的步骤一帧一帧摊开：能暂停、能回看、能自己改数据。

先给例子还是先给定义、要一整套脚手架还是一句方向——助教依据课程笔记回答，按你的画像换讲法。

310 道题 + 7 类互动计算与证明题，先补薄弱再往前推；作业就在这里做，每答一题都会点亮你的知识星图。判分对所有人一样。

期末排考、快递路线、宿舍布线、数独求解……16 次远征，每次从一个身边的问题出发，画板预装本题，代码在浏览器里跑测试。

层层递进，编号顺序就是一条满足全部前置的学习路线

数理逻辑 — 从命题、联结词与真值表，到公理系统与谓词逻辑——怎样把话说严谨，又怎样从前提推出结论。

L1命题逻辑L2等值演算L3公理系统L4SAT 选学L5谓词逻辑L6谓词演算L7谓词公理

7 篇 · 3 个动画

集合论 — 集合 → 关系 → 函数 → 基数：数学对象如何被统一构造，无穷又该怎么数。

S1集合S2关系S3函数S4基数

4 篇 · 6 个动画

图论 — 图 → 道路与回路 → 树 → 平面图与着色：点和边能撑起多少算法。

G1图G2道路回路G3树G4平面图

4 篇 · 6 个动画

试试看 · 按前置顺序点亮数理逻辑主线大约 30 秒

按前置顺序点亮这条主线：先点第一颗。

0 / 6

整张星图都可以这样点亮。135 节、310 道题、16 次远征，进度和作业都记在你的学号名下。