2015-2016寒假 第三周学习总结

学习科目

离散数学

离散数学作为需要补考科目，总共分为三个部分的知识，分别是数理逻辑、集合论、图论。

本周的主要学习内容是数理逻辑部分，由于数理逻辑部分掌握程度还行，所以只是对于ppt进行了简单的学习并对一部分题目进行练习。

主要复习内容

1. 命题符号化
2. 等值式和重言蕴涵式
3. 范式
4. 命题逻辑的推理理论

知识重点

命题符号化的重点应该是掌握关于逻辑联结词与自然语言中联结词的关系 以及 联结词的运算顺序，掌握这一点的话对于命题符号化应该就不会有太多的问题。下面就是一些关于逻辑联结词与自然语言中联结词的关系

否定：不是，没有，非，不。

合取：并且，同时，和，既…又…，不但…而且…，虽然…但是…。

析取：或者，或许，可能。

蕴涵：若…则…，假如…那么…，既然…那就…，倘若…就…，只要…就，只有…才，…。

等价：当且仅当，充分必要，相同，一样，…。

等值式和重言蕴涵式

范式

命题逻辑的推理理论

学习中遇到的问题

数理逻辑方面暂时还没有遇见问题，最多的也就是在求范式的时候会有一点点懵，但是看过解析跟着解析的步骤走一遍之后就能够理解了。期末考试中也是在集合论以及图论中出现的问题比较多。