构造性数学

作品数：16被引量：41H指数：3
导出分析报告
相关领域：文化科学理学更多>>
相关作者：韩裕娜郝宁湘高小山黄毅文罗华更多>>
相关机构：华南师范大学中国科学院数学与系统科学研究院青海省社会科学院华中科技大学更多>>
相关期刊：《甘肃科技》《科学新闻》《广东外语外贸大学学报》《新课程（教育学术）》更多>>
相关基金：广西研究生教育创新计划项目广西壮族自治区哲学社会科学规划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
构造性数学视域下构造性置词语法疏论
《广东外语外贸大学学报》2017年第5期37-43,共7页罗迪江 盛洁 
广西研究生教育创新计划项目"国家文化‘走出去’战略背景下科技翻译硕士专业学位研究生的培养机制研究"(JGY2017097);广西哲学社会科学规划研究课题"仫佬语话语材料的收集与语言文化研究"(15BYY002)
意大利语言学家Gobbo和Benini在考察置词如何在自然语言分析中运作的过程中提出了构造性置词语法。它是以构造性数学为视角拓展语言的研究范围,是以语素为基本单位来表征形态句法的置词范式研究,是理解与诠释语法化、构式、语用等语言...
关键词：置词语法 置词范式 构造性 
构造性数学与构造集合论
《华北水利水电学院学报（社会科学版）》2012年第5期64-66,共3页杜文静 
Barwise和Moss建立了一套非良基集合理论,为各种循环现象提供了数学上的解释。在此背景下,第一概述构造性数学的有关背景,并用实例展示它与传统数学的区别,说明了构造性数学的重要性;第二阐述构造集合论公理系统,说明它与其他公理系统...
关键词：循环现象 构造性数学 构造集合论 
算法学习在高中数学中的意义
《甘肃科技》2012年第15期90-91,共2页吴晓云 
随着现代信息技术的迅猛发展,算法已融入生活的众多方面,扮演着重要的角色。在高中数学教科书中也将算法作为一个独立的章节在学习,算法的思想和初步知识也正在成为普通公民的常识。主要论述了什么是算法以及学生学习算法的意义。
关键词：算法 学习算法的意义 构造性数学 算法的教学 
“构建”背景下的2011年高考题一瞥
《数学通讯（教师阅读）》2011年第10期56-58,共3页余建国 谌开华 
从2000年以来，很多省市开始对传统的命题方式进行了变革，提出了一些新的思路，探索出一些新的命题规律，一类以“构造”为背景的创新问题就在这样的情境下应运而生．
关键词：命题 “构造”性数学 函数 试题讲解 
拙中藏巧看循环——利用列表法解决算法中有关循环结构的问题之我见
《新课程（教育学术）》2010年第10期166-167,共2页江兴华 
随着新课程改革的不断推广,人们越来越重视对算法思想方法的研究,算法流程图这部分内容的引入,有利于培养人们对构造性数学意义的理解,有利于培养我们进行有条理地思考与表达的能力,有利于培养我们的逻辑思维能力以及实践能力。
关键词：列表法 构造性数学 循环结构 新课程改革 算法流程图 中藏 算法思想 化归 题设条件 终止条件 
第十一届亚洲逻辑学会议 讨论逻辑学和科学哲学有关问题
《中国社会科学报》2009年第2期17-17,共1页
第十一届亚洲逻辑学会议于6月22日至27日在新加坡举行,会议主要讨论数理逻辑学领域的最新发展及其应用、计算机科学中的逻辑学和哲学的逻辑学。来自亚太地区逻辑学领域的众多学者围绕构造性数学、模型论及其应用、非经典逻辑学、科学哲...
关键词：非经典逻辑 构造性数学 模型论 证明论 计算机科学 日至 符号逻辑 轮流举办 神户大学 海德堡大学 
新课程视野下的算法试题透析
《数学通讯（教师阅读）》2007年第12期10-12,共3页王晓东 
关键词：算法思想 试题 视野 课程 构造性数学 透析 计算机理论 分类解析 
关于高一学生“算法”学习情况的调查被引量：3
《数学通报》2006年第5期5-7,共3页韩裕娜 罗华 
关键词：中学生 算法 高中数学 高一 逻辑思维能力 课程实验 构造性数学 组成部分 古代数学 情感态度 
中国科学传统的特征及其现代意义被引量：11
《科学新闻》2002年第1期28-28,共1页董光璧 
任何科学传统之间的差异都不在科学内容本身方面,因为自然规律不可能因发现它的民族不同而改变。其差异主要表面在科学规律的表述方面,而这表述的不同则是根源于自然观的哲学基础,及其影响所及的逻辑形态和理论构造方式。在中西对比框...
关键词：构成论 当代科学 构成方式 现代科学 中国传统科学 构造方式 原子理论 构造性数学 模型化方法 公理化方法 
数学机械化进展综述被引量：16
《数学进展》2001年第5期385-404,共20页高小山 
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用．我们还提出了一些待解决的问题．
关键词：构造性数学 代数几何 方程求解 数学机械化理论 几何自动推理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部