离散数学是计算机科学中的核心课程，它涵盖了数理逻辑、图论、集合论基础和代数系统等重要概念。这些知识为数据结构、编译原理、数据库、操作系统和人工智能等专业课程提供了理论基础，同时，它也着重培养学生的抽象思维和逻辑推理能力，对于提升程序设计能力至关重要。
在教学改革中，强调了离散数学的应用性和与程序设计的结合。传统的离散数学教学可能过于注重理论证明，而新的教学模式则倾向于“授之以渔”，关注解题方法和思维训练，减少琐碎的理论证明。例如，在教授命题逻辑的等价关系和蕴含关系时，不再仅仅停留在符号层面，而是通过真值表和实际例子来解释等价推理和蕴含推理，让学生能更好地理解和运用这些概念。
针对计算机专业应用型人才的培养，离散数学的教学内容应当有所选择。除了基础的四大模块，近年来，国内教学中还加入了组合数学的内容，如容斥原理和鸽笼原理，这些内容能够帮助学生解决实际问题。教学过程中，教师需要将离散数学的理论与编程实践相结合，比如在讲解图论时，可以结合实际网络结构和搜索算法，让学生看到离散数学在解决实际问题中的应用。
为了实现这一目标，教师自身需要具备丰富的专业知识，不仅精通离散数学，还要熟悉程序设计语言、数据结构和算法分析。教师应该跨学科地教授相关课程，使得学生在学习离散数学的同时，能够将所学知识应用于实际的编程项目，从而增强他们的编程技能。
此外，教学方法也需要创新，采用案例教学、问题驱动或项目式学习等方式，引导学生主动探索，提高他们的自主学习能力和解决问题的能力。课堂互动和小组讨论也是重要的教学手段，可以促进学生间的合作，共同解决复杂问题。
基于程序设计能力培养的离散数学教学改革，旨在使学生能够在理解离散数学基本概念的基础上，更好地将其转化为解决实际问题的工具，从而提升他们在计算机领域的综合素质和竞争力。这种改革不仅提高了学生的学习兴趣，也为他们未来的职业生涯奠定了坚实的基础。
