1 课题研究背景信号与线性系统是电类各专业本科生的一门重要的专业基础课 也是电子信息类研究生入学考试科目该课程一方面以高等数学工程数学及电路理论等课程为基础 同时又是后继的数字信号处理通信原理和自动控制原理等专业课程的基础 在教学环节中起着承上启下的作用[1]该课程理论性较强且具一定的实践性 其基本方法和原理广泛应用于信号处理和系统分析的各个领域随着近几年对大学生素质要求的提高单纯的理论教学

NormalFormMaker使用说明NormalFormMaker(范式生成器)是一款用于数理逻辑课程的小型教学辅助软件可以给出命题公式的标准合取范式和标准析取范式该软件采用GNU版权声明其中BinaryTree类部分采用了文献【1】的内容其余代码的为yjt98765开发环境为Visual Studio 2008框架为CLR操作系统为Windows XP目前的版本号为本软件能识别的逻辑