书籍目录
首页
分类
免费
排行
我的书架
1-50章
51-84章
共84章
免费
版权信息
免费
信息技术的应用化教育
免费
本系列教材编写目的和教学服务
免费
前 言
免费
第1章 命题逻辑
免费
引 言
免费
1.1 命题及其表示
免费
1.2 逻辑联词
免费
1.3 命题公式与真值函数
免费
1.4 真值表与等值公式
免费
1.5 重言式与蕴涵式
免费
1.6 其他逻辑联词及逻辑联词完备集
免费
1.7 对偶和对偶定律
免费
1.8 范 式
1.9 命题演算推理理论
1.10 命题演算的形式系统
1.11 应用举例
习 题 一
第2章 一阶谓词逻辑
引 言
2.1 谓词与个体
2.2 命题函数与量词
2.3 一阶谓词公式
2.4 变元的约束与自由
2.5 普遍有效式及等值式与蕴涵式
2.6 一阶谓词公式的两种范式
2.7 一阶谓词演算的推理理论
2.8 一阶谓词逻辑的形式系统
2.9 应用举例
习 题 二
第3章 集合、关系与映射
引 言
3.1 集 合
3.2 关 系
3.3 映 射
3.4 模糊子集及隶属函数
3.5 粗 糙 集
3.6 无限集合
3.7 应用举例
习 题 三
第4章 数论基础
引 言
4.1 整除及辗转相除
4.2 算术基本定理
4.3 同 余 式
4.4 应用举例
习 题 四
第5章 组合数学
引 言
5.1 排列和组合及和则与积则
×