构造性数学相关论文
本文从现代数学领域中选取几个有代表性的方面,简要说明了构造法的应用。
This article selects a few representative aspects f......
本文从哲学角度讨论数学与实践的联系,并以数学与计算机科学的关系为例说明这种联系....
随着现代信息技术的迅猛发展,算法已融入生活的众多方面,扮演着重要的角色。在高中数学教科书中也将算法作为一个独立的章节在学习......
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干......
Barwise和Moss建立了一套非良基集合理论，为各种循环现象提供了数学上的解释。在此背景下，第一概述构造性数学的有关背景，并用实例展......
在新课标中，算法是数学必修课的重要组成部分．新增算法内容，既反映时代的要求，也反映我国古代数学重视计算的优良传统．此外，算法教学有利......
在秦汉时期中国传统的数学、天学、地学、农学、医学形成了各自的范式，先后在南北朝，宋元和晚明出现三次高峰期，虽然中国传统文化对欧......
<正> 直觉主义哲学是一种反理性主义的唯心主义哲学思潮。数学研究中的构造主义是一种有关数学基础的观点,它主张自然数及其某些规......
康德所处的是一个批判的时代，其哲学被称为批判哲学。在《纯粹理性批判》中，康德通过对人的理性的批判把人的认识能力进行了划分。这......
