搜索筛选:
搜索耗时0.0907秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：金健舟,
来源：浙江师范大学学报：自然科学版 年份：2003
研究性学习是基础教育改革的重要内容,是变革传统教育模式,甚至是变革传统教育体制的突破口.对研究性学习的理论基础是什么、如何选题、如何实施及其评价等当前正确开展的研...
[期刊论文] 作者：钟发荣,金健舟,
来源：浙江师大学报：自然科学版 年份：1997
本文在旭纳证明的规范变换方法的基础上，介绍从一般等式规范到有序类等工规范变换的实现技术，以及在有序类等式规范上的归纳定理的证明技术。...
[期刊论文] 作者：钟发荣,金健舟,
来源：浙江师大学报：自然科学版 年份：1996
本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义。...
[期刊论文] 作者：金炳尧,王基一,金健舟,
来源：浙江师大学报(自然科学版) 年份：2000
从我国中小学计算机基础教育发展的得失出发 ,借鉴发达国家的先进经验 ,提出了我国现阶段中小学计算机基础教育向信息素养教育转变的必要性与重要性 ,并对信息素养教育的师资...
相关搜索：
