機械化數(shù)學引論

內(nèi)容概要

數(shù)學機械化研究的興趣，是當代數(shù)學科學發(fā)展的趨勢。本書分五章系統(tǒng)地、深入淺出地介紹了吳文俊先生在機械化數(shù)學研究中的學術(shù)創(chuàng)造，包括代數(shù)方程組求解和數(shù)學定理機器證明的基本原理和方法。書中還介紹了若干實例，以加深對這些原理和方法的理解。
　　本書以教材的形式編寫，可做為大學數(shù)學第高年級及研究生的教材，也是有關(guān)科學工作者較適宜的參考書。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    機械化數(shù)學引論 PDF格式下載

---