《离散数学教学中的命题符号化难点讨论.doc》由会员分享，可在线阅读，更多相关《离散数学教学中的命题符号化难点讨论.doc（1页珍藏版）》请在三一文库上搜索。
离散数学教学中的命题符号化难点讨论 摘要离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂?热葜?一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。 引言 离散数学是计算机科学与技术专业的一门重要的专业基础课程，它在计算机科学中有着广泛的应用。离散数学教学除了教给学生离散数学知识以外，更重要的是通过严格的训练，逐步实现学生思维方式的数学化。因此，对于计算机专业的学生来说，学好离散数学这门课是非常重要的。 注“本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文第 1 页