离散数学的主要内容几个部分之间的联系或者离散数学的纲要
来源：学生作业帮助网 编辑：六六作业网 时间：2024/05/03 12:48:27
离散数学的主要内容几个部分之间的联系或者离散数学的纲要
离散数学的主要内容几个部分之间的联系或者离散数学的纲要
离散数学的主要内容几个部分之间的联系或者离散数学的纲要
一．命题逻辑
重点：联结词的基本性质.真值表的应用.等价演算法.主析取范式和主合取范式的求解与应用.推理理论.
难点：命题的符号化.用构造证明法证明推理有效.
二．谓词逻辑
重点：谓词的定义.量词的概念.换名规则和代入规则的应用.前束范式的求解.
推理理论.
难点：命题的符号化.用构造证明法证明推理有效.
三．集合与关系
重点：元素与集合的关系.集合之间的关系.幂集的概念.集合的基本运算.有穷集合的计数.笛卡儿积的运算和性质.关系的三种表示法及其转换.关系的基本运算.关系的五种性质.关系闭包的求解.等价关系与划分的有关定理及其应用.偏序集中八个特定元素的求解.
难点：关系性质的证明.偏序集中八个特定元素的求解.
四．函数
重点：函数的定义和性质.函数的复合.只有双射函数才有反函数.
难点：函数性质的证明.无限集合之间双射的构造.
五．图论
一．命题逻辑
重点：联结词的基本性质。真值表的应用。等价演算法。主析取范式和主合取范式的求解与应用。推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
二．谓词逻辑
重点：谓词的定义。量词的概念。换名规则和代入规则的应用。前束范式的求解。
推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
三．集合与关系
重点：元素...
全部展开
一．命题逻辑
重点：联结词的基本性质。真值表的应用。等价演算法。主析取范式和主合取范式的求解与应用。推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
二．谓词逻辑
重点：谓词的定义。量词的概念。换名规则和代入规则的应用。前束范式的求解。
推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
三．集合与关系
重点：元素与集合的关系。集合之间的关系。幂集的概念。集合的基本运算。有穷集合的计数。笛卡儿积的运算和性质。关系的三种表示法及其转换。关系的基本运算。关系的五种性质。关系闭包的求解。等价关系与划分的有关定理及其应用。偏序集中八个特定元素的求解。
难点：关系性质的证明。偏序集中八个特定元素的求解。
四．函数
重点：函数的定义和性质。函数的复合。只有双射函数才有反函数。
难点：函数性质的证明。无限集合之间双射的构造
收起