“信息安全保密”课程教学的五种思维及应用.docVIP

离散数学教学中的命题符号化难点讨论 摘　要：离散数学是计算机科学与技术专业的一门重要的专业基础课程，而数理逻辑是其最复杂內容之一，而进行逻辑推理首先要进行命题符号化，如何进行准确的命题符号化正是本文要讨论的问题。br　　关键词br本文来自：计算机毕业网 ：数理逻辑；命题符号化；教学方法br　　　　　　br　　引言br　　br　　离散数学是计算机科学与技术专业的一门重要的专业基础课程，它在计算机科学中有着广泛的应用。离散数学教学除了教给学生离散数学知识以外，更重要的是通过严格的训练，逐步实现学生思维方式的数学化。因此，对于计算机专业的学生来说，学好离散数学这门课是非常重要的。br　　br　　注：“本文中所涉及到的图表、注解、公式等内容请以PDF格式阅读原文 /p p /p p br / /p p /p