1背景逻辑是离散数学中一个重要的分支，传统上讲授数理逻辑，或称符号逻辑。数理逻辑的学习有助于学生掌握正确的思维方法，培养抽象思维、逻辑思维和严谨的形式化表达能力，但

利用离散时间传染模型去研究网络病毒传播特性，比应用连续时间模型更为简单和准确。近年来，许多研究人员利用离散时间传染病模型研究网络病毒的传播特性并取得丰富的研究成果

面向21世纪，培养适应国家经济和社会高速发展需要的创新型人才，在高等学校的教育教学活动中，课程教学是最为重要的载体之一。这就需要改变传统的单向灌输式的教学方式，探索创

在数学中适合用于离散对象的部分知识属于离散数学内容，离散主要指的是不同的不连接在一起的元素。离散数学具有独特的特点，比较重视可行性问题的研究，需要通过证明一个问题

1、背景离散数学是现代数学的一个重要分支，主要研究离散量的结构及其相互间关系[1-2]。离散数学为计算机专业后续课程（数据结构、编译原理、数据库原理、人工智能、信息管理与

1、离散数学教学的现状与问题计算机专业是一个知识更新速度快、新技术层出不穷的宽口径专业[1]。作为计算机专业核心课程之一的离散数学课程，其教材、内容和教学方法在很长一段