Published on:2021-07-13 hits:2292
近日，為深入貫徹落實(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é)》編輯部在太原舉辦了第二屆全國(guó)中小學(xué)數(shù)字化教學(xué)研討會(huì)。我公司首席科學(xué)家、中科院院士、計(jì)算機(jī)專(zhuān)家、人工智能專(zhuān)家張景中教授應(yīng)邀出席會(huì)議，并做了《數(shù)字化教學(xué)資源的智能化》主旨報(bào)告。會(huì)議圍繞中小學(xué)數(shù)字化教學(xué)創(chuàng)新應(yīng)用與核心素養(yǎng)的培養(yǎng)為主題開(kāi)展研討和教學(xué)觀摩，張景中院士從智能化角度解讀優(yōu)質(zhì)教學(xué)資源對(duì)數(shù)字化教學(xué)的深遠(yuǎn)意義，獲得與會(huì)專(zhuān)家、學(xué)者的高度評(píng)價(jià)。
張景中院士在人工智能、類(lèi)人解題等領(lǐng)域具有國(guó)際聲譽(yù)，開(kāi)發(fā)的智能教育平臺(tái)國(guó)際領(lǐng)先。和公司楊路研究員共同提出的定理機(jī)器證明的數(shù)值并行方法，在世界上首次用計(jì)算機(jī)實(shí)現(xiàn)了有嚴(yán)密理論依據(jù)的幾何定理例證法，被國(guó)際學(xué)術(shù)界稱(chēng)為“張楊定理”；還提出了幾何定理可讀證明自動(dòng)生成的理論、算法和方法，并實(shí)現(xiàn)為通用的計(jì)算機(jī)程序，這一工作成果譽(yù)為國(guó)際計(jì)算機(jī)自動(dòng)推理領(lǐng)域發(fā)展道路上的里程碑。
來(lái)自全國(guó)各地教育行政部門(mén)和教研部門(mén)負(fù)責(zé)人、中小學(xué)校長(zhǎng)、教研員與一線教師，以及教育信息化專(zhuān)家及相關(guān)人員500余人參加了會(huì)議。