講座時間：11月15日下午16：00點
地點：犀浦校區(qū)圖書館一號報告廳
題目：微積分的故事
主講人：張景中
張景中介紹：張景中院士：中國科學(xué)院院士，中國科普作家協(xié)會理事長。任廣州大學(xué)計算機教育軟件研究所所長，中國科學(xué)院成都計算機應(yīng)用研究所名譽所長，現(xiàn)任華中師范大學(xué)國家數(shù)字化學(xué)習(xí)工程技術(shù)研究中心學(xué)術(shù)委員會主任。1991年開始享受政府特殊津貼。1995年當(dāng)選為中國科學(xué)院院士。曾獲“全國優(yōu)秀教師”等稱號及“全國五一勞動獎?wù)?rdquo;。
張景中院士主要從事機器證明、教育數(shù)學(xué)、距離幾何及動力系統(tǒng)等領(lǐng)域的研究。其主要貢獻是：（一）提出了面積解題方法，并用之于機器證明的研究，使幾何定理可讀證明的自動生成這個多年來進展甚小的難題得到突破。（二）創(chuàng)立計算機生成幾何定理可讀證明的原理和算法，這項成果被權(quán)威學(xué)者認為是使計算機能像處理算術(shù)一樣處理幾何工作的“里程碑”。（三）創(chuàng)立定理機器證明的數(shù)值并行方法的原理和算法。（四）對幾何定理機器證明的吳方法進行了改進和發(fā)展，創(chuàng)立了含參結(jié)式法，升列組的WR分解算法，徹底解決了可約升列相對分解問題。（五）創(chuàng)立了教育數(shù)學(xué)的思想和方法。
近年來，張景中院士承擔(dān)的國家973項目等項目多項。成果《安全、節(jié)能、低噪聲的木工電磁振動刨床和木材的電磁振動刨削工藝》1982年獲國家發(fā)明二等獎。成果《幾何定理機器證明理論與算法新進展》1995年獲“中科院自然科學(xué)獎一等獎”，1997年獲“國家自然科學(xué)獎二等獎”。所主持開發(fā)的軟件《Z+Z智能教育平臺》2000年獲香港國際發(fā)明展覽會金獎。
歡迎廣大研究生及本科生同學(xué)參加！
