搜索
《离散数学》学期总结转眼之间，这学期要结束了。我们的离散数学，这门课程的学习也即将接近尾声。下面就是我对这门课一些认识及自己的学习心得。首先我们这门课程离散数学到底包含了哪几大部分？每部分具体又有什么内？这门课程在计算机科学中有什么地位？这门课程在我们以后的学习生活中，以及在将来的工作中有什么帮助？下面我将以上几个方面具体谈一谈并将总结一下自己本人在这门课程学习过程中遇到的一些问题和心得体会。这门课程有数理逻辑，集合论，代数系统和图论四部分。这四大部分通常被称为离散数学的四大体系。其中每一部分都是一个独立的学科，内容丰富。而我们离散数学中的内容是其中最基本，最重要且和计算机科学最密切相关的内容吸收到离散数学中来，并使它们前后贯通，形成一个有机整体。这门课的主要内容有命题逻辑、谓词逻辑，属于数理逻辑部分，集合论中有集合、二元关系、函数，代数系统包含代数系统基础、群、环、域以及格和布尔代数的知识（这部分我们没有涉及）。那么这门课程在计算机科学中有着什么样的地位呢，这门课程是计算机科学专业中重要的专业基础课程，核心课程，可以这么说，离散数学，既是一门专业基础课，是一门工具性学科。这门课讲授的内容，与后续专学习业密切相关。在这门课里我们讲授了大量的计算机学科专业必要的基本概念，基本理论和基本方法。为我们以后的学习，工作打下良好基础。在算法设计，人工智能，计算机网络，神经网络，智能计算等学科中有着重要的作用。在计算机科学中有着广泛的应用。通过这门课可以对我们计算机算法的理解和逻辑思维得到提高。那么我们具体学了什么内容呢？（一）首先集合论是整个数学的基础，（不管是离散数学还是连续数学）如果没有专门学过，那么出现在离散数学中还是很合适的。至于由集合论引出的二元关系，函数的内容，也是理所应当的。数理逻辑是一个让人眼前一亮的东西。我第一次发现，原来有些复杂的推理问题是可以通过“计算”的方法解决的。数理逻辑，又叫符号逻辑。就是依靠专门的数学符号去推导过程对的科学。在推导过程中，我们探索出一套完整的规则。这个规格就是我们的推理规则。竟然为了确保这套规则的，准确性。防止二义性，以至于可以将公理理论公式化，依据各项规则，证得论证的有效性。这一章里，我们首先学习了，命题逻辑的基本概念。并和一些逻辑连接词。包括真值连接词的否定，真值连接词合取，析取。我们可以用，符号形式写出各种命题，并利用真值表来判断命题的真假。用真值表来判断，命题是十分有效方便的。所以，对于真值表的记忆是十分重要的。命题公式的表示，也是用符号话的需要来给出的。随后我们学习了永真式和永假式，对于永真式和永假式的证明，用制表技术可以方便的给出。对于永真式，因为原子命题变元，不论表示什么命题，是真的还是假的，它总是真的。所以它反映的是命题逻辑的逻辑规律。所以我们着重研究永真式。下面，在一个公式中，如果用另外的是替换其中某个或某些原子命题变元，就会得到全新的公式，这个全新的公式，和原公式什么关系呢？进而引出了我们的代入规则和替换规则。为了更方便的证明各种命题，我们学习了，等价和蕴涵的各种定理，还有范式和范式的判定问题，其中主要是主析取范式和合取范式的概念，定理，证明。证明过程我们在课上都已经证明过了。在这一章还学习了三段式的证明，此证明方法在以后的学习过程中经常使用。谓词逻辑就是对命题和推理做深一步的研究的学习。在谓词演算中，原子命题分为谓词和个体两部分。谓词逻辑就是将命题的内涵，通过个体和谓词中的表现出来，把同一类命题，用命题函数表示，增强其表达能力。在这里要注意的是，命题还是不是命题，因为其没有确定的真假异议，但是可以将一个命题函数转化为问题，方法有二，（1）用个体域中的特定个体去替换个体变元；（2）这个体域上，将命题函数量化。所谓量化，就是用量词的命题函数中的个体变元进行约束，由此引入了量词的概念。量词分为全称，量词与存在量词，量词反映了个体域与量词间的真假关系。此外，在谓词逻辑中，个体的个体域也是很重要的。将一个命题用谓词，逻辑符号化时，通常经以下步骤（1）确定特性谓词及其他谓词。（2）确定量词。（3）量词与逻辑连接词的搭配。有了量词的概念后，谓词逻辑表达能力就让广泛了，它所刻画的语句也也更为普遍，更为深刻。代数系统，在计算机科学中也非常重要。在计算机科学中带出系统科，用作研究，抽象数据结构的性能及操作，也是程序设计语言的理论基础。图论这一章里，我们学习的图并不是几何学中的图形。而是客观世界中某些事物具体联系的一个数学抽象。用点代表事物，用边表示各事物间的二元关系。这一章刚开始学的概念很多，让我感觉有些乱。所以在课后要自己多下功夫了。然后就是我在学习中出现的一些问题及解决方法了，今天，在学习数理逻辑的时候，觉得离散数学这门课程很简单。但是随着学习的进一步深入，我发现我的想法是错误的。对于后面的一些推理论证，自己缺乏思路。虽然，老师在课上也教给了我们推理的方法，但是，还是忍不住去看书上的证明。这一点在随后的学习中，我一般尽量克服，也是在老师的帮助下，在证明时尽量自己想，憋自己一下，让自己的思维得到训练，自己的推理论证能力得到提高。进而使综合素质，都要提高。再说一下李勇老师的讲课吧，讲的非常棒。首先它会对每一部分的内容，及，基本概念给大家进行讲解。然后就是强调自己的推理能力。每节课都会让我们自己推理，验证定理。从基础出发，从小定理验证到大定理，由特殊推广到一般。一般都会让我们从两三个开始验证，逐步得到结论，发现规律。一次，李勇老师对，课堂教学有着自己深刻的理解，对这门课的教学方法，教学模式有着独特的看法。还有就是李勇老师，朋辈式的教学方法，在教学过程中，我们共同进步，教学相长，这样是非常好的。对于老师每节课让我们自己推理的使用模式，我表示非常赞同。我认为，最好的学习办法就是找到合适自己解决问题的方法。学习任何课程都是为了解决实际问题。离散数学也是如此，有了对概念的理解，有了正确的思考问题的方式，解决问题的时候就不会走弯路了，也就是说，基本的解决问题的方法就自然而然的掌握了。对于我们从小缺乏锻炼的推理能力，在这里得到了非常高的提升。