日韩精品福利无码|76少妇导航|欧美日韩大胆A级|日本A人片精品|在线中文av|一级a做一级a做片性色|日韩AV色|亚洲AV永久无码精品|一区精品在线|无码激情五月天

近日，為深入貫徹落實教育部《教育信息化“十三五”規(guī)劃》精神，推進信息技術與教育教學的深度融合，創(chuàng)新應用優(yōu)質教育資源，探索信息化環(huán)境下的有效教學模式，促進教育信息化的常態(tài)化、普遍化和規(guī)模化應用，人民教育出版社人教數(shù)字教育研究院和《中小學數(shù)字化教學》編輯部在太原舉辦了第二屆全國中小學數(shù)字化教學研討會。我公司首席科學家、中科院院士、計算機專家、人工智能專家張景中教授應邀出席會議，并做了《數(shù)字化教學資源的智能化》主旨報告。會議圍繞中小學數(shù)字化教學創(chuàng)新應用與核心素養(yǎng)的培養(yǎng)為主題開展研討和教學觀摩，張景中院士從智能化角度解讀優(yōu)質教學資源對數(shù)字化教學的深遠意義，獲得與會專家、學者的高度評價。

張景中院士在人工智能、類人解題等領域具有國際聲譽，開發(fā)的智能教育平臺國際領先。和公司楊路研究員共同提出的定理機器證明的數(shù)值并行方法，在世界上首次用計算機實現(xiàn)了有嚴密理論依據(jù)的幾何定理例證法，被國際學術界稱為“張楊定理”；還提出了幾何定理可讀證明自動生成的理論、算法和方法，并實現(xiàn)為通用的計算機程序，這一工作成果譽為國際計算機自動推理領域發(fā)展道路上的里程碑。

來自全國各地教育行政部門和教研部門負責人、中小學校長、教研員與一線教師，以及教育信息化專家及相關人員500余人參加了會議。