离散数学命题逻辑论文

【1】 耿素云，屈婉玲。离散数学（国家十五规划教材）.高教出版社，2004。【2】 袁崇义，屈婉玲，王捍贫，刘田。离散数学及其应用（第4版，译著）.机械工业出版社，2002。【3】 陆钟万。计算机科学中的数理逻辑.科学出版社，2002。【4】哈密尔顿，朱水林译。数理逻辑.华东师大出版社，1987。【5】 耿素云。离散数学习题集--数理逻辑与集合论分册.北大出版社，1993。【6】 张立昂。离散数学习题集--抽象代数分册.北大出版社，1990。【7】 耿素云。离散数学习题集--图论分册.北大出版社，1990。【8】 离散数学习题辅导软件【9】 命题逻辑教学软件【10】离散数学教程，耿素云，屈婉玲, 王捍贫，北京大学出版社，2002。【11】Discrete Mathematics and Its Applications,Sixth Edition，Kenneth H.RosenDiscrete Mathematics and Its Applications此书的价值已经被全世界几百所大学所证实，作为离散数学领域的经典教材,全世界几乎所有知名的院校都曾经使用本书作为教材。以我个人观点看来，这本书可以称之为离散数学百科.书中不但介绍了离散数学的理论和方法,还有丰富的历史资料和相关学习网站资源。更为令人激动的便是这本书少有的将离散数学理论与应用结合得如此的好.你可以看到离散数学理论在逻辑电路，程序设计,商业和互联网等诸多领域的应用实例。本书的英文版(第六版)当中更增添了相当多的数学和计算机科学家的传记，是计算机科学历史不可多得的参考资料.作为教材这本书配有相当数量的练习。每一章后面还有一组课题,把学生已经学到的计算和离散数学的内容结合在一起进行训练.这本书也是我个人在学习离散数学时读的唯一的英文教材，实为一本值得推荐的好书。

我就赶公交车上班。