R~2上完备性定理的等价性循环证明

给出了R2上五个完备性定理的循环证明,从理论上更详细地说明了定理之间的等价性.     

运用数学实验解决棋子颜色问题

通过对棋子颜色问题建模,定义布尔向量运算系统,分析其性质,改进棋子模型.在此基础上定义了布尔向量的运算周期、扩展周期,解决了初始布尔向量为第一类、第二类不动点的情况.运用数学软件统计了布尔向量的周期,循环节,预测Sn中的布尔向量公倍周期和扩展共倍周期.最后讨论了Sn中1周期点的基本情况.     

基于Mathematica求解时滞方程

结合具体的例子,主要介绍了运用Mathematica7求解时滞微分方程的方法,以及如何通过软件探讨时滞方程数值解对初始函数的敏感性与由于时滞的增加引起解的变化.     

关于大学数学教学大众化的若干思考

主要从四个方面论述了我国大学数学教学已经转向大众化教学,提出了大学数学教学在大众化教育形势下教学改革的几点建议。