您的位置:
《【慕课W02】16-证明逻辑等价式和逻辑蕴涵式》
(提示:如果视频分为多个小段,请下载后用视频合并软件合并。)序号选择视频教程名称大小操作
本课面向非计算机专业理工科学生,介绍离散数学中数理逻辑、集合论、图论、抽象代数和形式语言与自动机的基本概念及应用。
课程资料: https://github.com/chbpku/dmath https://gitee.com/chbpku/dmath 将持续更新。
本课面向非计算机专业理工科学生,介绍离散数学中数理逻辑、集合论、图论、抽象代数和形式语言与自动机的基本概念及应用。
课程资料: https://github.com/chbpku/dmath https://gitee.com/chbpku/dmath 将持续更新。