您的位置：
《1.1命题逻辑+1.2命题逻辑的应用》
（提示：如果视频分为多个小段，请下载后用视频合并软件合并。）序号选择视频教程名称大小操作
本视频是2020春新冠疫情期间，重庆大学计算机学院刘然老师的《离散数学及其应用》录播课
教材：离散数学及其应用，作者：Kenneth H·Rosen 补充：离散数学，作者：左孝凌 由于版权问题，老师不提供PPT
下载列表:共27讲
- 引言
- 1.1命题逻辑
- 1.1命题逻辑+1.2命题逻辑的应用
- 1.3命题等价式
- 1.4谓词和量词+1.5嵌套量词
- 1.6推理规则+1.7证明导论
- 2.1集合+2.2集合运算
- 2.3函数
- 2.4序列和求和
- 2.5集合的基数
- 5.1关系及其性质
- 5.3关系的表示+5.4关系的闭包
- 5.5等价关系和相容关系+5.6偏序关系
- 3.1计数的基础+3.2鸽巢原理
- 3.3排列与组合+3.4二项式系数和恒等式+3.5排列与组合的推广
- 4.1递推关系的应用+4.2求解线性递推关系
- 4.3分治算法和递推关系+4.4生成函数
- 4.5容斥+4.6容斥原理的应用
- 补充5.1代数系统的引入+5.2运算及其性质
- 补充5.3半群
- 补充5.4群与子群
- 补充5.5阿贝尔群和循环群
- 补充5.7陪集与拉格朗日定理
- 6.1图和图的模型+6.2图的术语&几种特殊的图
- 6.2图的术语&几种特殊的图+6.3图的表示&图的同构
- 6.4连通性
- 6.4连通性+6.5欧拉图和哈密顿图
本周教程点击排行
- >徐小湛《高等数学》（全138讲） 460585
- >高等数学 170179
- >数学分析（陈纪修主讲） 137805
- >数学分析 108301
- >徐小湛《线性代数》全59讲 107781
- >《电磁学》思考题+习题讲解 96262
- >数学分析 96078
- >经济数学 94015
- >抽象代数 86240
- >高等数学（中央电大94版） 82349