6月23日下午，中国科学院张景中院士在图书馆学术报告厅作《自动推理与教育技术》专题报告会。学院党委谭马利副书记主持报告会，教育园区近两百余名老师到场参加。

       张景中院士在专题报告中讲述了信息科学与技术的变革与发展，介绍了信息技术与人类社会经济发展的关系，以及今后30年信息科学技术的突破领域。张院士讲到，教育是建设创新型国家的基础，教育全过程要突出增强创新精神、实践能力和社会责任感，要使学生学思结合、知行合一、基础扎实、手脑并用。他强调教师在教学中要使用计算机先进技术，也要尊重传统，让计算机为人服务。张院士结合自己的工作历程和体会，用生动的案例讲解了计算机如何进行几何工作，并以此说明教育技术需要和自动推理结合起来。

       张景中院士是我国知名的计算机科学家、数学家和数学教育学家，长期从事机器证明、教育教学、距离几何及动力系统等领域的研究。他创立的计算机生成几何定理可读证明的原理和算法，被誉为是使计算机能像处理算术一样处理几何工作的“里程碑”。张景中院士在本次报告中的精辟论点，对园区广大教师在教育教学改革、教育技术的运用和教学方式方法上都有很大的启发，受到教师的广泛好评。

 

张景中院士作专题报告

 

张景中院士（中）与学院领导合影