离散数学

上海交通大学 · CS2501

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

课程助教

文字与语音一体的答疑入口：基于课程知识库回答并附出处；切到语音模式，老师的克隆声音边讲边同步图文。

从题库按章节 / 题型 / 难度随机抽题，自动判分、即时解析、错题本重练。

亲手逐步演算课程核心算法——自己输入数据，看每一步怎么算。

每个核心知识点一个直观动画讲解，按章浏览、点击放大 —— 抽象概念一看就懂。

全部笔记的关联网络，力导向可视化：拖拽缩放，探索章节与知识点之间的脉络。

上传作业交付物（代码 / notebook / 工程笔记），AI 对照往年「好/中/差」逆向出的评分标准给出档位与逐维反馈。档位仅供参考，最终成绩由老师确定。

题库共 220 题