排序方式: 共有5条查询结果,搜索用时 109 毫秒
1
2.
本文论述构造性思维方式与数学化的关系,指出中国古算机械化思想受制于筹算体系思维方式的特点,可以说是构造性思维方式作用下的必然结果,构造性的思维方式与中国古算的关系和作用,使中国古算表现出瘘具构造性和机械化的双重特色,并给现代数学的发展以重要启示。 相似文献
3.
根据《九章算术》及其刘微注中“方程”解的模型构造,将其算法设计成现代计算机语言程序,并评价了刘微对算法机械化的贡献。 相似文献
4.
《测圆海镜》的构造性 总被引:2,自引:0,他引:2
数学的构造性有两个层次:内容的构造性与体系的构造性。《测圆海镜》的研究对象可用数学手段构造出来,因为所有问题都和圆城图式有关,未知量总是圆的直径,而已知量则是某些线段。显然,这些量是可以作出的。此外,解题步骤均形成完整结构,没有试猜的成分和经验性结果。所以《测圆海镜》的内容是构造性的。从书的体系来看,各卷的问题解法均可由卷一“识别杂记”中的定义、定理、公式推导出来,全书成一整体结构。由此可见,《测圆海镜》是一个构造性体系。 相似文献
5.
简要介绍了一阶命题演算的希尔伯特型直觉主义系统,运用逻辑演绎的方法证明了此系统的一些定理,其目的在于加深对直觉主义系统中概念的理解,便于对此系统的进一步研究及应用. 相似文献
1