-
题名动态数学环境下的教师知识——工具编配视角
被引量：3
- 1
-
-
作者
诸方淳
徐斌艳
-
机构
华东师范大学教师教育学院
-
出处
《数学教育学报》
CSSCI
北大核心
2022年第2期21-25,共5页
-
基金
上海市高校“立德树人”人文社科重点研究基地课题——数学课程中跨学科综合实践的设计与实施(15500-412224-21A45/004)。
-
文摘
利用工具编配理论,分析来自上海的4位初中数学教师的教学行为,揭示行为背后的教师知识特征.研究发现:教师通常在课堂中完全掌控动态数学环境中的相关技术,几乎不允许学生直接接触技术进行学习,即使这些技术可以改变学生的学习方法.教师普遍认为动态数学环境能够给教学带来便利,但是无法取代教师在课堂的中心地位.教师需要认真思考在什么时候、以什么方式使用这些技术,避免盲目使用技术对学生学习带来的负面影响.
-
关键词
教师知识
动态数学环境
工具编配
教学情境
-
Keywords
teacher knowledge
dynamical mathematics environment
instrumental orchestration
didactical situation
-
分类号
G633
[文化科学—教育学]
-
-
题名一种交互式的不变量动态发现编配工具
被引量：1
- 2
-
-
作者
刘杰
阳小华
罗扬
吴取劲
-
机构
南华大学计算机与科学技术学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2008年第10期85-86,106,共3页
-
基金
湖南省自然科学基金项目(05JJ30117)
-
文摘
发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键。重点研究了不变量的动态发现方法与程序编配原理,并在传统的编配方法基础上实现了交互式的石鼓编配工具。该工具具有预设观测点和观测变量等功能,并通过将运行轨迹收集到数据库中来实现不变量分析。并详细说明了采用内嵌法的编配工具的总体结构及实现过程。实验证明石鼓编配工具能更方便有效地发现不变量。
-
关键词
程序不变量
动态发现
编配工具
-
Keywords
Program invariant Dynamically discovering Instrumenter
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
TG7
[金属学及工艺—刀具与模具]
-
