雷火电竞官网,乐天堂网址,雷火电竞官网

來源：互聯(lián)網(wǎng)

張景中，男，1936年12月30日生，河南汝南人，計算機科學(xué)家、數(shù)學(xué)家、教育家、中國科學(xué)院院士。其主要從事機器證明、教育數(shù)學(xué)、距離幾何及動力系統(tǒng)等領(lǐng)域的研究。

1954年，張景中進入北京大學(xué)數(shù)學(xué)力學(xué)系學(xué)習(xí)。1959年，張景中從北京大學(xué)數(shù)學(xué)力學(xué)系畢業(yè)。1979年，他在中國科學(xué)技術(shù)大學(xué)數(shù)學(xué)系擔任講師，并于1981年升為副教授。1986年，張景中擔任中國科學(xué)院研究員，中國科學(xué)院成都分院數(shù)理科學(xué)研究室主任，中國科學(xué)院成都計算機應(yīng)用研究所副所長。1991年，張景中開始享受政府特殊津貼。1995年10月，張景中當選為中國科學(xué)院院士。同年他調(diào)入廣州師范學(xué)院。1996年，張景中創(chuàng)建了廣州大學(xué)（原廣州師院）“課程與教學(xué)論”碩士點并任該點碩士生導(dǎo)師和學(xué)科帶頭人。1997年，張景中當選為中共十五大代表。2002年，張景中在廣州大學(xué)的支持下，創(chuàng)立了廣州景中教育軟件有限公司并任公司董事長。2022年9月17日，張景中作為首批進入廣州科普研究智庫的專家，在2022年廣州市全國科普日主會場活動暨第五屆科普嘉年華上亮相。

張景中教授提出了定理機器證明的數(shù)值并行方法，解決了初等圖形在歐氏空間嵌入等問題；創(chuàng)建了幾何定理可讀證明自動生成的原理和方法，推動了機器定理證明智能化技術(shù)的發(fā)展。他曾獲1995年中國科學(xué)院自然科學(xué)獎一等獎、1997年國家自然科學(xué)二等獎及“全國五一勞動獎?wù)?/a>”等；其應(yīng)用研究獲1982年國家發(fā)明二等獎等。

人物經(jīng)歷

張景中，男，1936年12月30日生，河南汝南人。

1954年，張景中進入北京大學(xué)數(shù)學(xué)力學(xué)系學(xué)習(xí)，1957年肄業(yè)，之后他曾在北京清河農(nóng)場等地勞動。1958年起，張景中在中國科學(xué)院成都分院工作，任數(shù)理科學(xué)研究室主任、研究員。1959年，張景中從北京大學(xué)數(shù)學(xué)力學(xué)系畢業(yè)，1979年，他在中國科學(xué)技術(shù)大學(xué)數(shù)學(xué)系擔任講師，并于1981年升為副教授。1985年，張景中調(diào)到中國科學(xué)院成都分院工作。1986年，張景中擔任中國科學(xué)院研究員，中國科學(xué)院成都分院數(shù)理科學(xué)研究室主任，中國科學(xué)院成都計算機應(yīng)用研究所副所長。1991年，張景中開始享受政府特殊津貼。1993年12月，國務(wù)院學(xué)位委員會批準張景中為博士導(dǎo)師。1995年10月，張景中當選為中國科學(xué)院院士，兼任中國計算機學(xué)會理事、中國科學(xué)技術(shù)協(xié)會委員。同年調(diào)入廣州師范學(xué)院。1996年，張景中作為學(xué)科帶頭人，創(chuàng)建了廣州大學(xué)（原廣州師院）“課程與教學(xué)論”碩士點并任該點碩士生導(dǎo)師和學(xué)科帶頭人。1997年，張景中當選為中共十五大代表，同年他獲“國家自然科學(xué)獎二等獎”。

2002年，張景中在廣州大學(xué)的支持下，創(chuàng)立了廣州景中教育軟件有限公司并任公司董事長。2005年，張景中的作品《數(shù)學(xué)家的眼光》獲國家科學(xué)技術(shù)進步二等獎。2008年10月，張景中來到電子科技大學(xué)工作。2022年9月17日，張景中作為首批進入廣州科普研究智庫的專家在2022年廣州市全國科普日主會場活動暨第五屆科普嘉年華上亮相。

研究方向

張景中主要從事機器證明、教育數(shù)學(xué)、距離幾何及動力系統(tǒng)等領(lǐng)域的研究。

主要成就

科研成就

張景中的主要貢獻是：

（一）提出了面積解題方法，并用之于機器證明的研究，使幾何定理可讀證明的自動生成這個多年來進展甚小的難題得到突破。

（二）創(chuàng)立計算機生成幾何定理可讀證明的原理和算法，這項成果被權(quán)威學(xué)者認為是使計算機能像處理算術(shù)一樣處理幾何工作的“里程碑”。

（三）創(chuàng)立定理機器證明的數(shù)值并行方法的原理和算法。

（四）對幾何定理機器證明的吳方法進行了改進和發(fā)展，創(chuàng)立了含參結(jié)式法，升列組的WR分解算法，徹底解決了可約升列相對分解問題。

（五）創(chuàng)立了教育數(shù)學(xué)的思想和方法。

此外張景中所承擔的國家973項目及省、市、學(xué)校的科研項目十多項，總經(jīng)費為四百多萬元。他的成果《安全、節(jié)能、低噪聲的木工電磁振動刨床和木材的電磁振動刨削工藝》于1982年獲國家發(fā)明二等獎；《幾何定理機器證明理論與算法新進展》于1995年獲“中科院自然科學(xué)獎一等獎”，他所主持開發(fā)的軟件《Z+Z智能教育平臺》于2000年獲香港國際發(fā)明展覽會金獎。其中的“平面幾何”“解析幾何” 2000年通過國家教育部教材審定委員會審定，由人民教育電子音像出版社出版發(fā)行。2003年被編入北京師范大學(xué)出版的初中數(shù)學(xué)教材并向全國發(fā)行。

人才培養(yǎng)

在教學(xué)方面，1996年，張景中院士作為學(xué)科帶頭人，創(chuàng)建了廣州大學(xué)（原廣州師院）“課程與教學(xué)論”碩士點并任該點碩士生導(dǎo)師和學(xué)科帶頭人。1997年“學(xué)科教學(xué)論（數(shù)學(xué)）”被廣州市教育局評為廣州市重點學(xué)科。1998年，張景中創(chuàng)辦了軟件所信息與計算科學(xué)本科試點班，培養(yǎng)了本科生、碩士生及博士生幾十人。