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