| 姓名：陈国勋//刘书芳//周文俊著 作者简介： 作品：《离散数学》 |
| 第1章 命题逻辑 1.1 基本概念 1.1.1 命题 1.1.2 连接词 1.1.3 公式 1.1.4 重言式 习题 1.2 公式的等价关系 1.2.1 等价 1.2.2 等价代换 1.2.3 对偶性 习题 1.3 范式 1.3.1 范式 1.3.2 主析取范式 1.3.3 主合取范式 1.3.4 判定问题 习题 1.4 公式的蕴涵关系 1.4.1 蕴涵 1.4.2 论证 习题 1.5 连接词的完备集合 习题 1.6 半形式化推导方法 1.6.1 推理规则 1.6.2 推导举例 1.6.3 间接推导方法 习题 第2章 谓词逻辑 2.1 谓词与量词 习题 2.2 合式公式 2.2.1 公式 2.2.2 自由变元和约束变元 习题 2.3 谓词演算中的永真公式 2.3.1 基本概念 2.3.2 谓词演算的基本永真式 2.3.3 谓词演算的基本永真式表 2.3.4 前缀范式 习题 2.4 谓词演算中的半形式化推导 2.4.1 推理规则 2.4.2 推导举例 2.4.3 更多 |
内容加载中，请稍后...
商品评论（0条）