|
|||||
|
|
| 消息 | |
| 引用本文： | 年月日，我国著名计算机科学家、数学家、数学教育家张景中院士，在江西临川二中亲自主持了江西省教育科学"九五"重点课题《初中平面几何GX教法与计算机证明研究》的验收鉴定会，这是一个利用张景中院士所编制的实现平面几何定理自动证明生成的可读性软件的实验．这项实验将我国数学家在数学定理机器证明这一领域所取得的最新成果应用于中学数学教学改革中去，也是为实现我国著名数学家吴文俊院士所提出的"中学数学现代化就是机械化"设想所进行的实验，这是我国在世界上首先实现中学数学现代化.消息[J].数学教育学报,2001,10(1):15. |
| 作者姓名： | 年月日，我国著名计算机科学家、数学家、数学教育家张景中院士，在江西临川二中亲自主持了江西省教育科学"九五"重点课题《初中平面几何GX教法与计算机证明研究》的验收鉴定会，这是一个利用张景中院士所编制的实现平面几何定理自动证明生成的可读性软件的实验．这项实验将我国数学家在数学定理机器证明这一领域所取得的最新成果应用于中学数学教学改革中去，也是为实现我国著名数学家吴文俊院士所提出的"中学数学现代化就是机械化"设想所进行的实验，这是我国在世界上首先实现中学数学现代化 |
| 摘 要： | 2000年10月14日，我国著名计算机科学家、数学家、数学教育家张景中院士，在江西临川二中亲自主持了江西省教育科学"九五"重点课题《初中平面几何GX教法与计算机证明研究》的验收鉴定会，这是一个利用张景中院士所编制的实现平面几何定理自动证明生成的可读性软件的实验．这项实验将我国数学家在数学定理机器证明这一领域所取得的最新成果应用于中学数学教学改革中去，也是为实现我国著名数学家吴文俊院士所提出的"中学数学现代化就是机械化"设想所进行的实验，这是我国在世界上首先实现中学数学现代化（机械化）进行的探索．鉴定委员会的评委们对该项实验给予了很高的评价，一致认为是"国内首创，国际领先"，对我国基础教育作出了贡献．（江西师范大学 孙熙春供稿） |
消息 |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |