[转载] Discrete Mathematics——05 谓词逻辑的等值演算与推理
2011-12-27 10:44
232 查看
来源：中科院研究生课程
主讲人：高随祥
主讲人：高随祥
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- Discrete Mathematics——05 谓词逻辑的等值演算与推理
- 第一部分 数理逻辑 第五章 一阶逻辑等值演算与推理
- 离散数学 第二章 谓词逻辑 2-7 谓词演算的推理理论
- 离散数学-5 一阶逻辑等值演算与推理
- 【离散数学】第五章 一阶逻辑等值演算与推理
- 数理逻辑：谓词演算（18）不含量词的谓词演算公式
- 数理逻辑：谓词演算（19）Godel完全定理
- 离散数学 第二章 谓词逻辑 2-5 谓词演算的等价式和蕴涵式
- 【离散数学】第二章 命题逻辑等值演算（2.1 等值式 ）
- 【离散数学】第二章 命题逻辑等值演算（2.2 析取范式与合取范式 ）
- 离散数学-2 命题逻辑等值演算
- 数理逻辑：谓词演算（目录）
- 数理逻辑：谓词演算（6）狭义完备性问题
- 数理逻辑：谓词演算（1）谓词演算公式
- 数理逻辑：谓词演算（7）谓词演算的某些形式定理
- [转载] Discrete Mathematics——04 一阶谓词逻辑基本概念
- 数理逻辑：谓词演算（2）变量替换
- 数理逻辑：谓词演算（3）谓词演算公理
- 数理逻辑：谓词演算（8）演绎定理
- 数理逻辑：谓词演算（9）进一步的形式定理