离散数学练习题.pdfVIP

一：数理逻辑 命题符号化，命题公式的类型 等值演算，主析取、合取范式 推理规则的内容及名称，在自然推理系统P 中构造证明 一阶语言公式的解释 一阶逻辑中的重要等值式 公式的前束范式． 二：集合论 集合的基本运算 集合恒等式或者包含关系 关系的表示法 关系的性质 关系的运算和闭包 ，  等价类，商集A/R 划分 偏序集hasse 图，特殊元素 从A 到B 的函数f:AB，函数的性质 三：代数结构 二元运算性质和特异元素 子代数，代数系统的同态与同构 子群，陪集，拉格朗日定理及其推论 四：图论