吴方法在离散数学谓词演算教学中的应用  

Application of Wu＇ s Method in Predicate Calculus Discrete Mathematics Teaching

作　　者：李轶[1] 

机构地区：[1]电子科技大学国家级计算机实验教学示范中心,成都610054

出　　处：《计算机光盘软件与应用》2011年第1期165-166,共2页Computer CD Software and Application

摘　　要：离散数学是现代科学的一个重要分支，是计算机科学中基础理论的核心课程，而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。Discrete Mathematics is an important branch of modem science,is the basic theory of computer science core curriculum,and predicate logic is one of the important contents.How to Computer Automated Reasoning another classic method - Wu introduced into the teaching of discrete mathematics is the focus of this issue.

关 键 词：离散数学 自动推理 吴方法 

分 类 号：O158[理学—数学]