等价形式的永恒性原理——皮考克的符号代数

目的系统探讨和研究皮考克(George Peacock,1791—1858)的符号代数思想。方法文献考证和历史分析。结果皮考克(George Peacock,1791—1858)的符号代数是在利用抽象符号的运算法则所决定的代数结构来确立负数和虚数的"合法化"基础时创造的一种新科学,是将算术代数中的规则通过"等价形式的永恒性原理"进行扩展得出的。结论皮考克的代数思想为纯粹形式代数的产生铺平了道路,尤其是直接影响了布尔逻辑代数思想的形成。

量子力学的路径积分形式

本文从经典力学的最小作用量原理出发，主要阐述了传播子的概念和量子力学的路径积分形式．在此基础上，讨论了路径积分在ｈ→０时的极限．最后，对量子力学的三种等价形式的特点进行了比较．

《编译原理》中的离散数学基础理论还原研究

从离散数学角度出发考察《编译原理》课程内容,致力于还原《编译原理》课程内容中的离散数学基础理论。涉及到的《编译原理》课程内容包括形式语言、有穷自动机、语法分析、形式化以及语言运算等,还原的离散数学基础包括等价、演绎与归纳、图论以及代数系统。针对计算机相关专业大学生,通过《编译原理》课程内容中离散数学基础理论的还原,培养离散数学意识,提高离散数学修养,加强学习《编译原理》和《离散数学》课程的兴趣。