构造性数学相关论文
算法是计算科学的重要基础,算法思想已经成为现代人应该具备的一种数学素养[1].众所周知,计算机在现代科技和社会生活中发挥着越来......
第十一届亚洲逻辑学会议于6月22日至27日在新加坡举行,会议主要讨论数理逻辑学领域的最新发展及其应用、计算机科学中的逻辑学和哲......
算法进入中学教材,让人感到来得突然,因为算法概念从未进入我国中学数学教学大纲,大多数教师在大学毕业后从未直接接触过算法.新的......
算法有着悠久的发展历史,中国古代数学曾经以算法为特色,取得了举世瞩目的辉煌成就.现代信息技术的发展使算法重新焕发了前所未有......
“当数学家们转向抽象时,有一件最为门外汉不能理解的事情:那就是直觉的图象必须被转化为一种符号构造.”这时著名数学家韦尔在《......
美籍华人王浩先生曾认为,构造性数学是做的数学,非构造性数学是在的数学。对此,我国著名数学家胡世华先生给予了如下的解释和进一......
算法是计算机理论和技术的核心,是高中新课程新增内容之一,由于算法思想的朴实性,所以算法思想在数学本身的学习与研究中有着广泛......
本文从哲学角度讨论数学与实践的联系,并以数学与计算机科学的关系为例说明这种联系....
随着现代信息技术的迅猛发展,算法已融入生活的众多方面,扮演着重要的角色。在高中数学教科书中也将算法作为一个独立的章节在学习......
本文介绍数学机械化理论:构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干......
Barwise和Moss建立了一套非良基集合理论,为各种循环现象提供了数学上的解释。在此背景下,第一概述构造性数学的有关背景,并用实例展......
文章对构造性数学的基础-递发函数进行了认真地分析,指出其支柱之一-摹状算子不具有能行性即构造性,从而表明了构造性数学基础的非构造......
在秦汉时期中国传统的数学、天学、地学、农学、医学形成了各自的范式,先后在南北朝,宋元和晚明出现三次高峰期,虽然中国传统文化对欧......
<正> 直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规......
康德所处的是一个批判的时代,其哲学被称为批判哲学。在《纯粹理性批判》中,康德通过对人的理性的批判把人的认识能力进行了划分。这......