书籍目录
首页
分类
免费
排行
我的书架
1-50章
51-88章
共88章
免费
版权信息
免费
前言
免费
教学建议
免费
第一部分 数理逻辑
免费
第1章 命题逻辑
免费
1.1 命题与联结词
免费
1.2 命题公式及其分类
免费
1.3 命题演算的关系式
免费
1.4 范式
免费
1.5 命题逻辑的推理
免费
习题
免费
第2章 谓词逻辑
免费
2.1 谓词逻辑的基本概念
免费
2.2 谓词合式公式
免费
2.3 谓词公式的解释和分类
免费
2.4 谓词演算的关系式
免费
2.5 前束范式
免费
2.6 谓词逻辑的推理
免费
2.7 谓词逻辑的应用
免费
习题
免费
第二部分 集合、关系和函数
免费
第3章 集合
免费
3.1 集合及其表示
免费
3.2 集合间的关系
免费
3.3 集合的运算
免费
3.4 自然数
免费
3.5 集合的特征函数
免费
习题
免费
第4章 关系
免费
4.1 关系概述
4.2 关系的表示法
4.3 关系的运算
4.4 关系的性质
4.5 关系的闭包
4.6 等价关系和等价类
4.7 偏序关系
习题
第5章 函数
5.1 函数的定义
5.2 特殊函数
5.3 复合函数
5.4 反函数
5.5 集合的基数
习题
第三部分 组合数学
第6章 计数
6.1 基本计数规则
6.2 排列与组合
6.3 容斥原理
6.4 鸽巢原理
×