張景中
中國(guó)科學(xué)院院士、電子信息技術(shù)研究所研究員、博士生導(dǎo)師、自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室主任
張景中，研究員, 1936年12月生于河南，數(shù)學(xué)家、計(jì)算機(jī)科學(xué)家和數(shù)學(xué)教育家，中國(guó)科學(xué)院院士。曾任中國(guó)科普作家協(xié)會(huì)理事長(zhǎng)、中國(guó)高等教育學(xué)會(huì)教育數(shù)學(xué)學(xué)會(huì)理事長(zhǎng)、中國(guó)科學(xué)院成都分院數(shù)理室主任、中國(guó)科學(xué)院成都計(jì)算機(jī)應(yīng)用研究所副所長(zhǎng)、中科院成都計(jì)算機(jī)應(yīng)用研究所名譽(yù)所長(zhǎng)、四川計(jì)算機(jī)學(xué)會(huì)理事長(zhǎng)、成都市科協(xié)主席、《計(jì)算機(jī)應(yīng)用》主編等。
1979年任教于中國(guó)科學(xué)技術(shù)大學(xué)，1986年任中國(guó)科學(xué)院研究員，1995年10月當(dāng)選為中國(guó)科學(xué)院院士。張景中主要從事自動(dòng)推理、機(jī)器證明、距離幾何、動(dòng)力系統(tǒng)及教育數(shù)學(xué)等領(lǐng)域的研究。發(fā)表學(xué)術(shù)論著150多篇（部）。1982年獲國(guó)家發(fā)明二等獎(jiǎng)；1995年獲中科院自然科學(xué)獎(jiǎng)一等獎(jiǎng)、“第九屆中國(guó)圖書獎(jiǎng)”； 199...
查看詳情
