張景中

張景中

中國科學院院士
張景中,1936年12月30日出生于河南汝南縣,廣州大學計算機教育軟件研究所所長、教授、計算機學科和數學學科博士生導師。張景中于1959年從北京大學數學力學系畢業;1979年擔任中國科學技術大學數學系講師;1981年晉升為副教授;1985年調到中國科學院成都分院工作;1986年擔任中國科學院研究員,中國科學院成都分院數理科學研究室主任,中國科學院成都計算機應用研究所副所長;1993年被批準為博士導師;1995年當選為中國科學院院士,同年調入廣州師範學院;1996年初創辦了廣州師範學院計算機教育軟件研究所;2002年創立了廣州景中教育軟件有限公司并任公司董事長;2009年到電子科技大學工作。計算機科學家、數學家,主要從事機器證明、教育數學、距離幾何及動力系統研究。[1]
    中文名:張景中 出生地:河南省汝南縣 畢業院校:北京大學 職業:教育科研工作者 學術代表作:《數學家的眼光》、《院士數學講座》 主要成就:1995年當選為中國科學院院士

人物經曆

1936年12月30日,張景中出生于河南省汝南縣。

1954年,進入北京大學數學力學系學習。

1957年,從北京大學肄業,在北京清河農場等地勞動。

1959年,從北京大學數學力學系畢業。

1979年,擔任中國科學技術大學數學系講師。

1981年,晉升為副教授。

1985年,調到中國科學院成都分院工作。

1986年,擔任中國科學院研究員,中國科學院成都分院數理科學研究室主任,中國科學院成都計算機應用研究所副所長。

1993年12月,由國務院學位委員會批準為博士導師。

1995年10月,當選為中國科學院院士;同年,調入廣州師範學院(現廣州大學)。

1996年初,創辦了廣州師範學院計算機教育軟件研究所。

2002年,在廣州大學的支持下,創立了廣州景中教育軟件有限公司并任公司董事長。

2009年,到電子科技大學工作,擔任電子科技大學計算機推理與可信計算實驗室主任。

主要成就

科研成就

科研綜述

張景中提出和實現了定理機器證明的數值并行方法。把多年來在教育數學研究中所發展的幾何新方法用于機器證明,并提出消點思想,創建了幾何定理可讀證明自動生成的原理和方法,用這個方法可在微機上快速地進行幾何證明,計算和發明新定理,并給出易于理解的有幾何意義的證明。

發展了非線性振動技術。發展了幾何算法的研究,解決了初等圖形在歐氏空間嵌入等問題。開拓教育數學的研究,提出以面積為中心的幾何教材新體系新方法極限概念的非e語言和連續歸納法将自動推理的成果和方法用于ICAI的研究,主持開發了新型智能理科教育軟件。

人才培養

學科建設

1996年,張景中參與創建了廣州師範學院“課程與教學論”碩士點,并任該點碩士生導師和學科帶頭人。

1997年,“學科教學論(數學)”被廣州市教育局評為廣州市重點學科。

1998年9月,招收了一屆“信息與計算科學”本科試點班。

平台建設

2000年10月,張景中主持研發的“Z+Z智能教育平台——平面幾何、解析幾何”通過教育部中小學教材審定委員會審查。

2003年,主持研發的“Z+Z智能教育平台”被編入北京師範大學出版的初中數學教材并向全國發行。

社會任職

1997年9月,中國共産黨第十五次全國代表大會代表;

1999年,中國科普作家協會理事長;

2004年5月,中國高等教育學會教育數學專業委員會第一屆理事會理事長;

2006年3月,江西城市學院名譽校長、學術委員會主任。

人物評價

張景中在機器證明、教育數學、距離幾何及動力系統等多個學科領域做出了突出的貢獻,是中國在這些領域中的學術帶頭人。在廣州大學課程與教學論學科建設中做出重要貢獻。(廣州大學計算機科學與網絡工程學院評)

張景中進行教育信息技術方面的研究,主要來源于機器自動推理的應用推廣,由此産生了超級畫闆的推廣,進而對教息技術具有實際性的推動作用,是教育技術領域真正的搞學術研究的大師。(廣州大學校友會評)

上一篇:哈森

下一篇:書法老師

相關詞條

相關搜索

其它詞條