【摘 要】
：
现代科技,基于计算机强大的计算能力,发展了信息技术,包括手机、无线网络、视频、网课……甚至发展到人工智能(代替大脑).它们正在改变我们的生活和工作,同时也改变了科学、
【机 构】
：
中国科学院数学与系统科学研究院,北京,100190
论文部分内容阅读
现代科技,基于计算机强大的计算能力,发展了信息技术,包括手机、无线网络、视频、网课……甚至发展到人工智能(代替大脑).它们正在改变我们的生活和工作,同时也改变了科学、工程学和社会学.rn以数学为例,出现了吴文俊的“数学定理机器证明”(这正是信息技术的观点:利用机器强大的计算能力,去做冗长繁琐的计算,从而将人类的精力解放到从事创造性的工作中去),他的高小山团队以及广州张景中团队正在继承与发展,并与人工智能相联系.还有吴文俊的“中国数学史研究”,张景中的“教育数学丛书”,以及Johnson的“数字模拟技术”等,他们都不再纠缠于经典数学中的存在性,更注重计算机时代的构造性和算法.这也可以说是现代科技引起的数学教学革命.
其他文献
黄明信先生是我们大家所敬重景仰的藏学前辈,为人秉直刚正,敬业真诚,尤其是对晚辈后学的热心提携广为大家所称道。欣逢黄明信先生百岁华诞,我回想起一件小事,可以体现先生的
2018年,人类在太空探索方面取得重要进展。中国'嫦娥四号'探测器成功登陆月球背面,着陆点位于南极艾特肯盆地的冯·卡门撞击坑,实现人类航天器首次登陆月球背面;
新冠肺炎疫情期间为了响应教育部“停课不停学”的政策安排,各大高校大力开展线上教学活动以保障学生的学习.本文通过高职应用文写作课程为例,对基于线上教学的应用文写作教
城市建成环境对居民体力活动的影响与作用,是国内外公共健康、预防医学与环境科学等多学科关注的热点.促进居民日常体力活动有利于提升公共健康水平已被大量研究证实.梳理了
总结了新中国成立以来旱作物农业取得的主要进展:长期有组织大规模地进行梯田建设,有效地减少了水土流失;梯田建设标准不断提高,越来越方便于机械化大片农田生产;以合理施肥
渔业捕捞及商业航运活动的塑料排放是南海深海塑料污染的主要来源.南海深海微塑料污染始于20世纪80年代,具有明显陆源输入的特征,陆架近岸区域微塑料污染严重.陆坡深海峡谷是
黄河下游滩区长期受洪涝威胁,经济发展相对滞后,生态环境脆弱,其治理涉及因素多、部门多、问题多.回顾了黄河下游滩区发展、治理的历史,综述了代表性的治理观点和思路;阐述了
赵俪生，著名历史学家。1934年他考入清华大学外语系，在校期间，曾参加左翼作家联盟，是“一二·九”运动的积极分子。他的很多同学如姚依林、蒋南翔等后来都成了声名显赫的人物。以赵俪生的资历和对革命的热情，他本可以在穿越斗争的惊涛骇浪之后，踏上政治的红地毯。然而，他因坚守自由主义立场，一次又一次错失或放弃升官良机。 “一二·九”后期，蔣南翔曾去赵俪生的宿舍，对他说：“你人很诚实，在搏斗中表现英勇，这说
利用拉伸试验机和纳米力学探针对一种无Si含P连续退火TRIP钢的力学性能和铁素体微区力学性能进行了研究.宏观拉伸实验结果表明,无Si含P系TRIP钢拥有良好的力学性能,其屈服强
语文课堂教学具有极强的艺术性,提高课堂教学的有效性,是全面推进新课程改革的中心工作,也是初中语文课堂教学提高实效性的重要手段.初中语文教师应当经常进行教学反思,分析