機械化數學引論 在線電子書 圖書標籤: 數學
發表於2024-11-26
機械化數學引論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
數學機械化研究的興趣,是當代數學科學發展的趨勢。本書分五章係統地、深入淺齣地介紹瞭吳文俊先生在機械化數學研究中的學術創造,包括代數方程組求解和數學定理機器證明的基本原理和方法。書中還介紹瞭若乾實例,以加深對這些原理和方法的理解。
本書以教材的形式編寫,可做為大學數學第高年級及研究生的教材,也是有關科學工作者較適宜的參考書。
評分
評分
評分
評分
機械化數學引論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024