期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
自动推理技术在数学教学中的应用
下载PDF
职称材料
导出
摘要
信息技术的发展对数学教育产生了很大影响,本文从数学教学的角度出发,以Z+Z智能教育软件为工具,针对数学教学中的一个实例,分析数学软件对数学教育改革的影响。
作者
路美秀
机构地区
广东外语外贸大学思科信息学院软件工程系
出处
《福建电脑》
2010年第8期177-178,共2页
Journal of Fujian Computer
关键词
自动推理
计算机辅助教学
数学教育
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
引文网络
相关文献
节点文献
二级参考文献
8
参考文献
5
共引文献
158
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
5
1
田万海.数学教育学.浙江教育出版社[M].1991.4.
2
熊萍.
“教师、学生、计算机”三元教学理论——谈智能教育软件《数学实验室——立体几何》(续)[J]
.数学教育学报,1999,8(3):1-5.
被引量：11
3
薛长虹.
计算机代数实验课程初探[J]
.成都气象学院学报,1998,13(4):360-365.
被引量：7
4
[美]康斯坦丝.瑞德.希尔伯特-数学世界的亚历山大[M].上海科学技术出版社.2001年8月.p120.
5
曹一鸣.
数学实验教学模式探究[J]
.课程．教材．教法,2003,23(1):46-48.
被引量：141
二级参考文献
8
1
郑毓信 王宪昌 蔡仲.数学文化学[M].成都:四川教育出版社,2001..
2
[英]PaulErnest.数学教育哲学[M].上海：上海教育出版社,1998..
3
弗赖登塔尔.作为教育任务的数学[M].上海教育出版社,1995..
4
[美]G·波利亚．怎样解题[M]．阎育苏译．北京：科学出版社，1982．11．
5
张焕庭．西方资产阶级论著选[M]．北京：人民教育出版社,1979．439．
6
[美]G·波利亚．数学的发现(第二卷)[M]．北京：科学出版社，1987．478．
7
张培强.MATLAB语言[M]中国科学技术大学出版社,1995.
8
殷红,李忠海.
中学数学实验的教学模式探讨[J]
.数学教育学报,2001,10(3):73-75.
被引量：50
共引文献
158
1
钱琬燕,侯志娇,邹嘉媛.
实验课的教学设计范型及其认识论剖析[J]
.教育研究与实验,2020,0(1):82-85.
被引量：16
2
练正龙,刘凯峰.
论合作交流在数学教学中的运用[J]
.西部法学评论,2001(4):112-114.
3
黄国安,林汉燕.
高职高专院校开设数学实验课的实践与思考[J]
.考试周刊,2007(17):75-76.
被引量：4
4
安永红.
关于概率论与数理统计教学改革的思考[J]
.呼伦贝尔学院学报,2013,21(1):30-32.
被引量：2
5
杨秀英.
新课程理念下的立体几何教学——实验探究式教学[J]
.甘肃联合大学学报（自然科学版）,2011,25(S1):23-25.
6
冯敏.
让数学课堂因实验而精彩——浅谈“数学实验”教学[J]
.新课程学习（下）,2009,0(12):65-66.
7
赵维坤,马敏.
初中数学实验室建设的若干思考[J]
.数学教育学报,2015,24(1):29-32.
被引量：13
8
高洁,周玮.
在高等数学课程中开展数学实验教学的探索与研究[J]
.数学教育学报,2015,24(3):86-90.
被引量：23
9
张志让,薛长虹.
《线性代数》课程教学改革探讨[J]
.工科数学,1999,15(3):92-95.
被引量：14
10
徐文龙.
数学实验活动刍议[J]
.现代教育科学（普教研究）,2005(2):57-58.
被引量：1
1
黄改娟.
自动推理技术发展的回顾与展望[J]
.微机发展,2003,13(a02):36-38.
被引量：2
2
赵小明,张志青.
智能教育软件在优化教学中的应用与研究[J]
.广州大学学报（综合版）,2001,15(2):11-13.
3
智能教育软件—数学实验室[J]
.科技开发动态,2001(8):26-26.
4
吕帅,刘磊,石莲,李莹.
基于自动推理技术的智能规划方法[J]
.软件学报,2009,20(5):1226-1240.
被引量：22
5
李霞.
视图中插入文本块的编程方法[J]
.广州大学学报（自然科学版）,2002,1(4):57-59.
被引量：1
6
熊萍.
谈智能教育软件《数学实验室─立体几何》[J]
.数学教育学报,1999,8(2):26-29.
被引量：6
7
王维军.
智能型教育软件浅说[J]
.电子世界,2002(2):23-23.
8
杨志飞,古天龙,钟艳如.
基于OBDD的装配序列自动推理技术研究[J]
.桂林电子工业学院学报,2005,25(1):43-47.
被引量：2
9
李传中.
智能教育软件《数学实验室之一──立体几何》[J]
.广州师院学报（自然科学版）,1998,19(6):41-44.
被引量：1
10
王晓京,陈光喜.
程序语句生成子与知识获取自动化[J]
.计算机应用,1998,18(9):20-22.
被引量：2
福建电脑
2010年 第8期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
