2026-计算机综合-考点精讲

课程 \ 2026-计算机综合-考点精讲

2026-计算机综合-考点精讲

学习人数 : 211人 |

分享

课程介绍
课程目录

2026-计算机综合-考点精讲
离散数学与组合数学

专题一命题逻辑的等值演算与推理演算

第一、二节命题的基本概念、逻辑联结词

第三、四节命题的公式及其真值表、逻辑等值的命题公式

第五节命题公式的范式01

第五节命题公式的范式02

第六、七节联结词集合的功能完备性、命题逻辑中的推理

专题二谓词逻辑的等值演算与推理演算

第一节个体、谓词、论域、量词

第二、三节谓词公式及命题的符号化、谓词公式的解释和类型

第四、五、六节逻辑等值的谓词公式、谓词公式的前束范式、谓词逻辑中的推理

专题三集合与关系

第一节集合与关系01

第一节集合与关系02

第二~四节运算的定义和性质、集合的运输、划分和覆盖、集合对等

第五节关系的概念、运算和性质01

第五节关系的概念、运算和性质02

第六节关系的闭包

第七节等价、相容和偏序关系01

第七节等价、相容和偏序关系02

专题四图论的基本概念、路与回路

第一~三图的基本概念、节点的度数、路与回路

第四节图的连通性

第五~六节图的矩阵表示、赋权图

第七~八节欧拉图、哈密顿

专题五树、平面图与图的着色

第一节树

第二节平面图与二部图

第三节对偶图与着色

专题六代数结构

第一节代数系统及其性质

第二节半群和群

第三节陪集与拉格朗日定理

专题七排列与组合

第一、二节加法原则与乘法原则、集合的排列与组合

第三、四节多重集合的排列与组合、二项式定理及组合恒等式

专题八母函数与递推关系

第一节生成函数

第二、三节递推方程、母函数求解递推关系

专题九容斥原理、鸽巢原理

专题九容斥原理、鸽巢原理

专题十 polya定理

polya定理
0 / 300
- ← 上一页
- 下一页 →