![离散数学[按需印刷]](http://images.china-pub.com/ebook730001-735000/733550/zcover.jpg)
基本信息
内容简介
目录
第一部分 数理逻辑
第1章 命题逻辑演算系统
1.1 有关命题逻辑演算系统的概念
1.2 命题公式与真值表
1.3 等价式与蕴含式
1.4 范式与对偶式
1.5 推理理论
练习题
第2章 一阶谓词逻辑演算系统
2.1 谓词命题及翻译
2.2 谓词命题公式及约束变量
2.3 谓词演算的等价式和蕴含式
2.4 谓词演算的推理理论
练习题
第二部分 集合论
第3章 集合与关系
3.1 集合及集合的运算
3.2 三个基本原理
3.3 笛卡儿积与关系
3.4 关系的运算
第1章 命题逻辑演算系统
1.1 有关命题逻辑演算系统的概念
1.2 命题公式与真值表
1.3 等价式与蕴含式
1.4 范式与对偶式
1.5 推理理论
练习题
第2章 一阶谓词逻辑演算系统
2.1 谓词命题及翻译
2.2 谓词命题公式及约束变量
2.3 谓词演算的等价式和蕴含式
2.4 谓词演算的推理理论
练习题
第二部分 集合论
第3章 集合与关系
3.1 集合及集合的运算
3.2 三个基本原理
3.3 笛卡儿积与关系
3.4 关系的运算
