| 第1章 绪论 1.1 离散数学的研究对象 1.2 离散数学的主要内容 1.3 学习离散数学的方法 第2章 数理逻辑 2.1 命题 2.1.1 命题的概念 2.1.2 命题的表示 2.2 命题联结词 2.2.1 联结词的定义 2.2.2 命题逻辑中联结词的最小集 2.3 命题的合式公式 2.3.1 合式公式 2.3.2 语句的符号化 2.4 真值表、永真式和永假式 2.4.1 真值表 2.4.2 永真式和永假式 2.5 公式的等价和蕴含 2.5.1 公式的等价 2.5.2 公式的蕴含 2.6 公式的主范式 2.6.1 主析取范式 2.6.2 主合取范式 2.7 命题演算的推理理论 2.7.1 有效推理的概念 2.7.2 有效推理的方法 2.8 命题逻辑和二值逻辑器件 2.9 一阶谓词逻辑 2.10 命题函数和个体变量及量词 2.10.1 命题函数 2.10.2 量词 2.11 谓词公式 2.11.1 谓词公式 2.11.2 变量的约束和替换 2.11.3 谓词演算中的等价与蕴含 2.12 谓词演算的推理理论 习题 第3章 集合和关系 3.1 集合和集合的运算 3.1.1 集合的基本概念 3.1.2 集合的运算 3.1.3 集合运算中的恒等式 3.1.4 序偶和... |
内容加载中，请稍后...
商品评论（0条）