第1个回答 2010-12-07
一．命题逻辑
重点：联结词的基本性质。真值表的应用。等价演算法。主析取范式和主合取范式的求解与应用。推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
二．谓词逻辑
重点：谓词的定义。量词的概念。换名规则和代入规则的应用。前束范式的求解。
推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
三．集合与关系
重点：元素与集合的关系。集合之间的关系。幂集的概念。集合的基本运算。有穷集合的计数。笛卡儿积的运算和性质。关系的三种表示法及其转换。关系的基本运算。关系的五种性质。关系闭包的求解。等价关系与划分的有关定理及其应用。偏序集中八个特定元素的求解。
难点：关系性质的证明。偏序集中八个特定元素的求解。
四．函数
重点：函数的定义和性质。函数的复合。只有双射函数才有反函数。
难点：函数性质的证明。无限集合之间双射的构造
第2个回答 2010-12-07
一．命题逻辑
重点：联结词的基本性质。真值表的应用。等价演算法。主析取范式和主合取范式的求解与应用。推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
二．谓词逻辑
重点：谓词的定义。量词的概念。换名规则和代入规则的应用。前束范式的求解。
推理理论。
难点：命题的符号化。用构造证明法证明推理有效。
三．集合与关系
重点：元素与集合的关系。集合之间的关系。幂集的概念。集合的基本运算。有穷集合的计数。笛卡儿积的运算和性质。关系的三种表示法及其转换。关系的基本运算。关系的五种性质。关系闭包的求解。等价关系与划分的有关定理及其应用。偏序集中八个特定元素的求解。
难点：关系性质的证明。偏序集中八个特定元素的求解。
四．函数
重点：函数的定义和性质。函数的复合。只有双射函数才有反函数。
难点：函数性质的证明。无限集合之间双射的构造。
五．图论本回答被提问者和网友采纳