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