| 姓名：李俊锋著 作者简介： 作品：《离散数学》 姓名：李俊锋 冯刚著 作者简介： 作品：《离散数学》 |
| 第1章命题逻辑 1.1数理逻辑简介 1.1.1从形式逻辑谈起 1.1.2数理逻辑 1.1.3数理逻辑与计算机科学的关系 1.1.4命题逻辑 1.2命题及命题符号化 1.2.1命题的概念 1.2.2逻辑联结词 1.3命题公式及命题符号化 1.3.1命题公式的定义 1.3.2公式的解释 1.3.3命题符号化 1.4公式的等价 1.4.1公式等价的基本概念 1.4.2基本等价公式 1.4.3等价演算 1.4.4公式的类型 1.5公式的蕴涵 1.5.1公式蕴涵的基本概念 1.5.2基本蕴涵式 1.5.3蕴涵式ab的证明 1.6联结词完备集 1.6.1其他联结词 1.6.2联结词的数目 1.6.3联结词完备集 1.7公式的对偶 1.7.1公式对偶的基本概念 1.7.2对偶原理 1.8公式的范式 1.8.1简单合取式与简单析取式 1.8.2公式的范式 1.9公式的主范式 1.9.1主析取范式 1.9.2主合取范式 1.10命题逻辑推理理论 1.10.1有效结论和推理规则 1.10.2由前提推导出结论的证明方法 习题 第2章一阶逻辑 2.1一阶逻辑简介 2.2一阶逻辑的基本概念 2.2.1个体词和个体域 2.2.2谓词和函词 2.2.3变元和常元 2.2.4量词 2.3一阶逻辑中命题的符号化 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前束范式与skolem标准形 2.7.1前束范式 2.7.2前束范式和skolem标准形 2.7.3skolem函词、skolem常元和skolem范式 2.8一阶逻辑的推理理论 2.8.1全称量词消去规则（ui规则） 2.8.2全称量词引入规则（ug规则） 2.8.3存在量词引入规则（eg规则） 2.8.4存在量词消去规则（ei规则） 2.8.5一阶逻辑推理举例 习题 第3章模态命题逻辑 3.1模态命题逻辑简介 3.2模态命题语言 3.3模态命题逻辑推理 3.4模态命题逻辑公式 习题 第4章模态一阶逻辑 4.1模 更多 |
内容加载中，请稍后...
商品评论（0条）