中國(guó)科學(xué)院院士張景中教授邀來(lái)我校作學(xué)術(shù)報(bào)告

 

10月23日下午3點(diǎn)，佛山科學(xué)技術(shù)學(xué)院 “佛山市創(chuàng)新論壇” 第41講如期舉行。中國(guó)科學(xué)院院士張景中教授應(yīng)郝志峰校長(zhǎng)的邀請(qǐng)，在行政樓325會(huì)議室作了學(xué)術(shù)報(bào)告。

報(bào)告由數(shù)學(xué)與大數(shù)據(jù)學(xué)院戎海武教授主持，學(xué)院部分師生聆聽(tīng)了報(bào)告。張景中教授的報(bào)告題目是“對(duì)于微積分的新思考” ，報(bào)告探討圍繞經(jīng)典微積分的思想、不用極限定義分微積分的發(fā)展、新定義的差商與控制函數(shù)等幾個(gè)方面，進(jìn)行了深入剖析。張教授的講解思維嚴(yán)密，邏輯性強(qiáng)，并結(jié)合自身的科研實(shí)例將深?yuàn)W的理論講得通俗易懂，使在座的師生受益匪淺。

張景中（1936- ）河南省汝南縣人。曾用名井中。1954年進(jìn)入北京大學(xué)數(shù)學(xué)力學(xué)系學(xué)習(xí)，1957年肄業(yè)，以后曾在北京清河農(nóng)場(chǎng)等地勞動(dòng)。1979年任中國(guó)科學(xué)技術(shù)大學(xué)數(shù)學(xué)系講師，1981年升為副教授。1958年起在中國(guó)科學(xué)院成都分院工作，任數(shù)理科學(xué)研究室主任、研究員。計(jì)算機(jī)科學(xué)家、數(shù)學(xué)家和數(shù)學(xué)教育學(xué)家。中共黨員、中國(guó)科學(xué)院院士、計(jì)算機(jī)學(xué)科和數(shù)學(xué)學(xué)科博士生指導(dǎo)教師、中國(guó)科普作家協(xié)會(huì)理事長(zhǎng)。張?jiān)菏恐饕獜氖?/span>機(jī)器證明、教育數(shù)學(xué)、距離幾何及動(dòng)力系統(tǒng)等領(lǐng)域的研究。其主要貢獻(xiàn)是：（一）提出了面積解題方法，并用之于機(jī)器證明的研究，使幾何定理可讀證明的自動(dòng)生成這個(gè)多年來(lái)進(jìn)展甚小的難題得到突破。（二）創(chuàng)立計(jì)算機(jī)生成幾何定理可讀證明的原理和算法，這項(xiàng)成果被權(quán)威學(xué)者認(rèn)為是使計(jì)算機(jī)能像處理算術(shù)一樣處理幾何工作的“里程碑”。（三）創(chuàng)立定理機(jī)器證明的數(shù)值并行方法的原理和算法。（四）對(duì)幾何定理機(jī)器證明的吳方法進(jìn)行了改進(jìn)和發(fā)展，創(chuàng)立了含參結(jié)式法，升列組的WR分解算法，徹底解決了可約升列相對(duì)分解問(wèn)題。（五）創(chuàng)立了教育數(shù)學(xué)的思想和方法。