出版说明
前言
第一章命题逻辑
第一节命题和逻辑联结词
第二节命题公式和真值表
第三节等价式手和蕴涵式
第四节扩充的联结词和全功能联结词集
第五节对偶式
第六节命题范式
第七节命题演算的推理理论
第八节习题
第二章谓词逻辑
第一节谓词逻辑的基本概念
第二节谓词分式与翻译
第三节谓词演算与永真式
第四节前束范式
第五节谓词演算的推理理论
第六节习题
第三章集合论
第一节基本概念
第二节集合的运算
第三节集合成员表
第四节集合定律
第五节习题
第四章关系
第一节序偶与笛卡尔积
第二节关系及其表示
第三节关系矩阵与关系图
第四节关系的性质
第五节关系的运算
第六节集合的划分与完全覆盖
第七节等价关系与等价类
第八节相容关系与最大相容类
第九节次序关系
第十节习题
第五章函数
第一节基本概念
第二节复合函数和逆函数
第三节置换与轮换
第四节集合的特征函数
第五节集合的基数
第六节习题
第六章代数系统
第一节运算及其性质
第二节代数系统
第三节同态与同构
第四节同余关系
第五节商代数与积代数
第六节习题
第七章半群与群
第一节半群与独异点
第二节群与子群
第三节交换群与循环群
第四节变换群与置换群
第五节陪集、正规子群与商群
第六节习题
第八章环和域
第一节环和子环
第二节理想
第三节域
第四节习题
第九章格与布尔代数
第一节格
第二节分配格与有补格
第三节布尔代数与布尔表达式
第四节习题
|
