[离散数学]刘玉珍刘咏梅

【离散数学】刘玉珍刘咏梅.pdf离散数学 刘玉珍刘咏梅编本书系统地介绍了离散数学的基本知识,内容包括数理逻辑、集合论、代数结构和图 论四大部分。本书适合于作为高等院校计算机科学与工程各专业的教材、也可供教师、研 究生、高年级学生和有关科技工作者参考。目录 第一篇数理逻辑 第一章命题逻辑 1命题符号化 S1合式公式 1永真公式 1范式推理理论 1联结词的全功能集.第二章 一阶逻辑 2 命题符号化 .2 合式公式 2永真公式 .2 范式 2推理理论.第二篇集合论 第三章集合 3集合的基本概念及表示法 3集合的运算基本集合恒等式 3容斥原理集合的笛卡尔积 第四章二元关系 4关系及其表示法 4关系的性质 S4关系的运算 4.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。