人物經曆
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月,江西城市學院名譽校長、學術委員會主任。
人物評價
張景中在機器證明、教育數學、距離幾何及動力系統等多個學科領域做出了突出的貢獻,是中國在這些領域中的學術帶頭人。在廣州大學課程與教學論學科建設中做出重要貢獻。(廣州大學計算機科學與網絡工程學院評)
張景中進行教育信息技術方面的研究,主要來源于機器自動推理的應用推廣,由此産生了超級畫闆的推廣,進而對教息技術具有實際性的推動作用,是教育技術領域真正的搞學術研究的大師。(廣州大學校友會評)