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