离散数学学习计划(4)

学数学就要做数学，《离散数学》的学习也不例外。学习数学不仅限于学习数学知识，更重要的还在于学习数学思维方法。要做到这一点，学习者将要面临的第二个困难是需要花费大量的时间做课后习题。但是切记离散数学的题目数量自然是无穷无尽的，但题目的种类却很有限。

尤其是在命题证明的过程中，最重要的是要掌握证明的思路和方法。解离散数学的题，方法是非常重要的，如果拿到一道题，立即能够看出它所属的类型及关联的知识点，就不难选用正确的方法将其解决，反之则事倍功半。例如在命题逻辑部分，无非是这么几种题目：将自然语言表述的命题符号化，等价命题的相互转化（包括化为主合取范式与主析取范式），以给出的若干命题为前提进行推理和证明。相应的对策也马上就可以提出来。以推理题为例，主要是利用p、t规则，加上蕴涵和等价公式表，由给定的前提出发进行推演，或根据题目特点采用真值表法、cp规则和反证法。由此可见，在平常学习中，要善于总结和归纳，仔细体会题目类型和此类题目的解题套路。如此多作练习，则即使遇到比较陌生的题也可以较快地领悟其本质，从而轻松解出。

因此，只要肯下功夫，人人都能有扎实的基础，拥有足够的数学知识，特别是能大大提高本身的逻辑推理能力、抽象思维能力和形式化思维能力，从而今后在学习任何一门计算机科学的专业主干课程时，都不会遇上任何思维理解上的困难了。