数学的构造性方法

从数学方法论的角度，通过若干典型实例的分析，阐述了“数学构造性方法”的产生与发展、性质与应用以及构造数学和普通数学的差别与联系。     

构造性的思维方式与数学机械化

本文论述构造性思维方式与数学化的关系，指出中国古算机械化思想受制于筹算体系思维方式的特点，可以说是构造性思维方式作用下的必然结果，构造性的思维方式与中国古算的关系和作用，使中国古算表现出瘘具构造性和机械化的双重特色，并给现代数学的发展以重要启示。     

"方程"解之构造及其算法程序的机械化

根据《九章算术》及其刘微注中“方程”解的模型构造,将其算法设计成现代计算机语言程序,并评价了刘微对算法机械化的贡献。     

《测圆海镜》的构造性

数学的构造性有两个层次：内容的构造性与体系的构造性。《测圆海镜》的研究对象可用数学手段构造出来，因为所有问题都和圆城图式有关，未知量总是圆的直径，而已知量则是某些线段。显然，这些量是可以作出的。此外，解题步骤均形成完整结构，没有试猜的成分和经验性结果。所以《测圆海镜》的内容是构造性的。从书的体系来看，各卷的问题解法均可由卷一“识别杂记”中的定义、定理、公式推导出来，全书成一整体结构。由此可见，《测圆海镜》是一个构造性体系。     

一阶命题演算的希尔伯特型直觉主义系统

简要介绍了一阶命题演算的希尔伯特型直觉主义系统,运用逻辑演绎的方法证明了此系统的一些定理,其目的在于加深对直觉主义系统中概念的理解,便于对此系统的进一步研究及应用.