自动推理技术在数学教学中的应用

来源 :福建电脑 | 被引量 : 0次 | 上传用户:zhai4053
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息技术的发展对数学教育产生了很大影响,本文从数学教学的角度出发,以Z+Z智能教育软件为工具,针对数学教学中的一个实例,分析数学软件对数学教育改革的影响。
其他文献
为测定溪黄草对三黄肉仔鸡免疫功能的影响,将1日龄三黄肉仔鸡210只随机分为7组,每组3个重复,每个重复10只。Ⅰ组饲喂基础日粮,Ⅱ组添加0.2%恩诺沙星,Ⅲ组添加1%双黄连。Ⅳ-Ⅶ组分别在
气象发展战略规划是把握气象事业发展方向、明确发展任务、探索气象事业发展规律的有效途径,是推动气象改革发展和科学决策的重要基础。通过对气象发展区域规划、五年规划进
高分辨率卫星遥感技术已成为有效监测海岛动态变化的主要手段。本文以西沙群岛社区驻地海岛、领海基点所在海岛和自然保护区所在海岛为研究对象,利用2005年以来的高分辨率卫星遥感影像,分析了各类海岛的时空变化情况。结果表明:社区驻地海岛变化普遍较大,特别是永兴岛、赵述岛、筐仔沙洲和银屿,主要都是由于吹沙填岛和岛上开发利用活动日益增多造成的,变化主要发生在2012年三沙市成立之后;领海基点所在海岛和自然保护
目的:观察新兽药喹胺醇对小鼠血清中细胞因子TNF-α、IL-2和IL-6水平的影响.方法:采用放射免疫法检测血清中TNF-α、IL-2和IL-6的含量.结果:中剂量组雄鼠血清中TNF-α含量显著高
我国是人口众多的发展中国家.土地资源有限,大力发展节地、节能、利废、保温的新型墙体材料,加快墙改步伐是当前建筑、环保迫在眉睫的趋势.