概念地图在《离散数学》学习中的应用

《离散数学》在工科高校教学体系中是核心基础课程之一,并在计算机专业课程体系中扮演着重要角色。但是,由于《离散数学》包含集合、关系、数理逻辑、图论以及代数系统等四个部分,大量的概念加大了学习离散数学的难度。针对以上问题,提出基于概念地图的《离散数学》学习方法,以期给学习者解决概念给我们带来的学习困扰,提高学习《离散数学》的兴趣。     

构造广义Sturm序列的递归算法

广义Ｓｔｕｒｍ序列被用于判断一个多项式方程ｆ（ｘ）在多项式ｈ（ｘ）〉０条件下的实根数。为了构造这样的序列，原先的方法基本上就是辗转相除法。对于带符号系数的多项式，大量的实例表明其效率甚低，无法处理较复杂的问题，代之以一个新的递归算法，成功地避免了由辗转相除引起的高复杂度的计算。