Published on:2021-07-13 hits:3177
近日，為深入貫徹落實教育部《教育信息化“十三五”規劃》精神，推進信息技術與教育教學的深度融合，創新應用優質教育資源，探索信息化環境下的有效教學模式，促進教育信息化的常態化、普遍化和規模化應用，人民教育出版社人教數字教育研究院和《中小學數字化教學》編輯部在太原舉辦了第二屆全國中小學數字化教學研討會。我公司首席科學家、中科院院士、計算機專家、人工智能專家張景中教授應邀出席會議，并做了《數字化教學資源的智能化》主旨報告。會議圍繞中小學數字化教學創新應用與核心素養的培養為主題開展研討和教學觀摩，張景中院士從智能化角度解讀優質教學資源對數字化教學的深遠意義，獲得與會專家、學者的高度評價。
張景中院士在人工智能、類人解題等領域具有國際聲譽，開發的智能教育平臺國際領先。和公司楊路研究員共同提出的定理機器證明的數值并行方法，在世界上首次用計算機實現了有嚴密理論依據的幾何定理例證法，被國際學術界稱為“張楊定理”；還提出了幾何定理可讀證明自動生成的理論、算法和方法，并實現為通用的計算機程序，這一工作成果譽為國際計算機自動推理領域發展道路上的里程碑。
來自全國各地教育行政部門和教研部門負責人、中小學校長、教研員與一線教師，以及教育信息化專家及相關人員500余人參加了會議。