排序方式: 共有90条查询结果,搜索用时 62 毫秒
81.
82.
自动推理是人工智能中最成功的部分.自动推理的基本思想就是希望对一类一类问题分别给出一个一个确定的、能够机械地执行的解决方案.凡是用到计算机的地方,或多或少都要用到自动推理.自动推理在数学教育中的应用主要表现在几何作图、符号运算、几何证明、动画设计和机器学习等方面.我国在数学机械化的应用上有一些先进成果,但是在自动推理平台方面,还远远落后于世界先进水平,智能软件的开发需要长期努力. 相似文献
83.
84.
85.
86.
在幼儿活动、学习、休息管理过程中,幼师要特别重视安全工作,要坚持"安全第一"思想,采取提高思想认识、领导分班督查、教师值日巡视、班级活动教师主管、加强幼儿生活安全指导,活动器材确定专人管理、重用男性幼师、制定预案超前管理等办法,确保幼儿在园活动学习、休息安全。 相似文献
87.
本文是《从向量角度看锈规问题》的续集.锈规作图中所出现的蛛网模型,在一些几何题中也会出现.下面我们介绍一个波利亚研究过的数学问题.这个问题,最初是如何想到的,不得而知,笔者猜测可能与锈规问题有点关系.美国数学教育家波利亚是国际著名的解题大师,他在数学解题方面有着不同寻常的见解,其专著引入中国之后,反响很大.波利亚在《数学的发现》中,为了说明解题需要闪电击中般的灵感,给出了这样一个案例:"A.如果三个相同半径的圆过一点,则通过它们的另外三个交点的圆具有相同的半径.这是我们要证的定理.它的叙述简短而明确,但是没有充分清晰地表达出来. 相似文献
89.
90.