浅谈离散数学中逻辑推理证明题的解题方法

计算机科学是一门新型学科，正在蓬勃发展，并已成为科学技术现代化的一个重要标志。近十多年来各类高等院校相继成立了计算机科技系，一些新的课程如数学结构、网络原理、编译原理等它们所研究的对象大多呈离散型的，离散数学正是在这样的背景下逐步形成的，至今它已成为计算机科学一门重要的专业基础课。离散数学所研究的对象及其方法均与普通数学有着较大差别，它研究的是离散量之间关系和内部结构。不少学习者觉得它较为难学，对其章节内容大有“又离又散”之感，对独立完成全部作业更有一定困难，特别对第一次接触到用程式化方式证明命题成立问题往往感到无从下手，为了对学习者掌握这类题的解题方法有所帮助，本人谈一点浅显看法。