| 进行谓词推理常用的几种方法 |
| |
| 引用本文： | 吴维嘉.进行谓词推理常用的几种方法[J].黄山学院学报,2004,6(3):21-22. |
| |
| 作者姓名： | 吴维嘉 |
| |
| 作者单位： | 黄山学院计算机科学与技术系,安徽,黄山,245021 |
| |
| 摘 要： | 数理逻辑是应用数学方法引进一套符号系统来研究抽象思维的形式结构和规律的一门年轻的应用学科,它要求学生要具有高度的抽象思维能力和严谨的数学推理功底.学生反映学习起来比较困难,特别是对推理理论的习题总是感到无从下手,没有解题思路.本文结合教学实践工作给出谓词推理的几种思路.
|
| 关 键 词： | 命题谓词 推理 |
| 文章编号： | 1672-447X(2004)03-0021-02 |
| 修稿时间： | 2004年4月12日 |
Several Methods of Predicate Inference |
| |
| Wu Weijia.Several Methods of Predicate Inference[J].Journal of Huangshan University,2004,6(3):21-22. |
| |
| Authors: | Wu Weijia |
| |
| Abstract: | Mathematical logic is a new applied subject which is introduced into apph'ed mathematics as a symbol system to study the formal structures and laws of abstract language. It requires students of ability in abstract thinking and mathematical inference. Students reflect that it is difficult to study, especially in doing exercises of inference theory: they have inadequate efficient methods. The article contains several methods of predicate inference from experiences in teaching. |
| |
| Keywords: | Proposition Prediction Inference |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
