离散数学数理逻辑教学中值得关注的几个问题
王元元;陈卫卫;贺汛; 1:解放军理工大学指挥自动化学院计算机系 摘要(Abstract)：

本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。

关键词(KeyWords)： 数理逻辑;;推理规则;;证明技术;;■-消除规则

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 王元元;陈卫卫;贺汛;

Email:


参考文献(References)： [1]王元元.计算机科学中的现代逻辑学[M].北京:科学出版社,2002.[2]王元元.计算机科学中的离散结构[M].北京:机械工业出版社,2004.[3]Tremblay J.R,Manohar R.Discrete Mathematical Structure with Applications to Computer Science[M].New York:McGraw-Hill,Inc,1975.[4]屈婉玲,耿素云,张立昂,等.离散数学[M].北京:高等教育出版社,2008.[5]王元元.离散数学导论[M].北京:科学出版社,2002.


摘要:
扩展功能
本文信息
PDF全文请访问中国知网下载(977K)