教师：廖 丹 一、课程介绍 “离散数学”是一门相对于“连续数学”而命名的数学分支。 产生于数学游戏(如一笔画、过渡、组合、计数等)，分散于各个分支，计算机的产生推动了其形成和发展。 二、教学目标 1、培养学生逻辑思维和想象能力。 2、用形式化的思维认识问题和解决问题的能力及形式化证明的思想。 3、理解和掌握思维和计算中重要的知识表示与处理方法。 4、了解以上知识在计算科学和教育科学中的应用。
下载列表:共42讲
- 第一章 命题逻辑基本概念 第1节 命题与联结词
- 第一章 命题逻辑基本概念 第2节 命题公式及其赋值
- 第一章 命题逻辑基本概念 习题课
- 第一章 命题逻辑基本概念 考试题目讲解
- 第二章 命题逻辑等值运算 第1节 等值式
- 第二章 命题逻辑等值运算 第2节 析取范式与合取范式
- 第二章 命题逻辑等值运算 复习
- 第二章 命题逻辑等值运算 习题课
- 第三章 命题逻辑的推理理论 第1节 推理的形式结构
- 第三章 命题逻辑的推理理论 3.1习题讲解
- 第三章 命题逻辑的推理理论 第2节 自然推理系统 P
- 第三章 命题逻辑的推理理论 习题课
- 第四章 一阶逻辑基本概念 第1节 一阶逻辑的符号化
- 第四章 一阶逻辑基本概念 第一节习题课
- 第四章 一阶逻辑基本概念 第2节一阶逻辑公式及解释
- 第四章 一阶逻辑基本概念第四章习题讲解2
- 第四章 一阶逻辑基本概念 第四章复习讲解
- 第五章 一阶逻辑等值演算与推理 第1节 一阶逻辑等值式与置换规则
- 第五章 一阶逻辑等值演算与推理 第2节 一阶逻辑的前束范式
- 第五章 一阶逻辑等值演算与推理 第3节 一阶逻辑推理理论
- 第五章 一阶逻辑等值演算与推理 习题讲解
- 第六章 集合代数 第1节 集合的基本概念 第2节 集合的运算
- 第六章 集合代数 第3节 集合恒等式
- 第七章 二元关系 第1节 有序对与笛卡尔积
- 第七章 第2节
- 第七章 二元关系 第3节 关系的运算
- 第七章 二元关系 第4节 关系的性质
- 第七章 二元关系 第6节 等价关系与划分
- 第七章 二元关系 第6节 等价关系与划分课堂练习讲解
- 第六章和第七章复习
- 第十四章 图的基本概念 第1节 图
- 第十四章 图的基本概念 第2节 通路和回路
- 第十四章 图的基本概念 第3节 图的连通性
- 第十四章 图的基本概念 第4节 图的矩阵表示
- 第十四章 图的基本概念第14章复习
- 第十五章 欧拉图与哈密顿图 第1节 欧拉图
- 第十五章 欧拉图与哈密顿图 第2节 哈密顿图
- 第十五章 欧拉图与哈密顿图 复习与习题讲解
- 第十六章 第1节
- 第十六章 树 第2节 生成树
- 第十六章 第3节
- 第十六章 树 习题讲解
本周教程点击排行
- >徐小湛《高等数学》（全138讲） 478300
- >高等数学 198770
- >数学分析（陈纪修主讲） 158558
- >《电磁学》思考题+习题讲解 138586
- >经济数学 132775
- >数学分析 126206
- >数学分析 116723
- >徐小湛《线性代数》全59讲 115643
- >抽象代数 99360
- >高等数学（中央电大94版） 92628