您的位置:
《第11周【课堂实录11-1】公交换乘优化;代数结构性质编程验证;同构验证》
(提示:如果视频分为多个小段,请下载后用视频合并软件合并。)序号选择视频教程名称大小操作
本课面向非计算机专业理工科学生,介绍离散数学中数理逻辑、集合论、图论、抽象代数和形式语言与自动机的基本概念及应用。
课程资料: https://github.com/chbpku/dmath https://gitee.com/chbpku/dmath 将持续更新。