论文部分内容阅读
1994年,16岁的王小川完成了“几何定理机器证明”的课题,这不仅受到了杨振宁的高度赞赏,还吸引了时任国务院副总理的李岚清的注意,李岚清来到王小川身边,问了一个令王小川非常吃惊的问题:“你一分钟能打多少字呀?”
底线多数与关键少数
【摘 要】
：
1994年,16岁的王小川完成了“几何定理机器证明”的课题,这不仅受到了杨振宁的高度赞赏,还吸引了时任国务院副总理的李岚清的注意,李岚清来到王小川身边,问了一个令王小川非
【机 构】
：
庚商智能教育
【出 处】
：
中国信息技术教育
【发表日期】
：
2019年10期
其他文献
通过实验、调查、数理统计、对照分析法,对普通大学一年级女生的体育教学采用"小集团教学模式"进行研究,结果表明,"小集团教学模式"能活跃课堂气氛,提高了学生学习兴趣,促进
目的对比老年粗隆间骨折患者运用人工关节置换术与内固定术治疗的临床价值。方法选取64例在2018年1月~2018年11月本院收治的老年粗隆间骨折患者,根据随机分组原则分为观察组(