精选优质文档-倾情为你奉上 离散数学学习心得姓名：周燕 班级：12计本（2）班 学号： 当老师说这门课快要结束的时候，我才发现这门课的学习以经接近尾声了。通过这一学期的学习，我觉得离散数学是一们很有意思的课程，不同于以往学习数学类知识的大量的运算，离散数学更多的是培养逻辑推理方面的，掌握基本的方法并加以运用就能很好地掌握。下面我来整理一下我这个学期的学习思路。 第一章学习的是命题逻辑的基本概念，介绍了命题的定义，连接词以及命题公式的赋值。然后学习了命题逻辑的等值演算，等值式即两个命题公式为重言式。判断等值式的方法通常有列真值表，等值演算等。本章还给出了命题公式的两种规范的表示方法。析取范式和合取范式，本章还介绍了连结词的完备集。第三章介绍的是命题逻辑的推理理论，在自然推理系统中，命题的推理证明。第四章是对前面推理证明的补充与完备，前三章中，命题逻辑具有一定的局限性，有时候无法判断一些常见的简单推理，于是我们引进了一阶逻辑命题。第五章便是一阶逻辑等值演算的推理。第二部分学习集合论，介绍了集合
