發表於2025-01-10
Computer Algebra and Symbolic Computation 2025 pdf epub mobi 電子書 下載
1 計算的數學地位——圖靈和丘奇的分歧 圖靈通用計算機-數值計算 丘奇λ演算-lisp語言- Macsyma-CAS 2應用 要公式,要方程的精確解,要解釋,要一般化,要抽象 3數學再解釋 λ演算基於遞歸,lisp將其算法化。將遞歸數學化,或者數學化遞歸,就是CAS 這個數學化就是最簡結構,多...
評分1 計算的數學地位——圖靈和丘奇的分歧 圖靈通用計算機-數值計算 丘奇λ演算-lisp語言- Macsyma-CAS 2應用 要公式,要方程的精確解,要解釋,要一般化,要抽象 3數學再解釋 λ演算基於遞歸,lisp將其算法化。將遞歸數學化,或者數學化遞歸,就是CAS 這個數學化就是最簡結構,多...
評分1 計算的數學地位——圖靈和丘奇的分歧 圖靈通用計算機-數值計算 丘奇λ演算-lisp語言- Macsyma-CAS 2應用 要公式,要方程的精確解,要解釋,要一般化,要抽象 3數學再解釋 λ演算基於遞歸,lisp將其算法化。將遞歸數學化,或者數學化遞歸,就是CAS 這個數學化就是最簡結構,多...
評分1 計算的數學地位——圖靈和丘奇的分歧 圖靈通用計算機-數值計算 丘奇λ演算-lisp語言- Macsyma-CAS 2應用 要公式,要方程的精確解,要解釋,要一般化,要抽象 3數學再解釋 λ演算基於遞歸,lisp將其算法化。將遞歸數學化,或者數學化遞歸,就是CAS 這個數學化就是最簡結構,多...
評分1 計算的數學地位——圖靈和丘奇的分歧 圖靈通用計算機-數值計算 丘奇λ演算-lisp語言- Macsyma-CAS 2應用 要公式,要方程的精確解,要解釋,要一般化,要抽象 3數學再解釋 λ演算基於遞歸,lisp將其算法化。將遞歸數學化,或者數學化遞歸,就是CAS 這個數學化就是最簡結構,多...
圖書標籤: 計算機科學 數學-計算機代數 數學 pl mathematica Symbolic Computer Computation
電子書字體有點小(pdf能不能調節字體大小的?)
評分電子書字體有點小(pdf能不能調節字體大小的?)
評分電子書字體有點小(pdf能不能調節字體大小的?)
評分電子書字體有點小(pdf能不能調節字體大小的?)
評分電子書字體有點小(pdf能不能調節字體大小的?)
Computer Algebra and Symbolic Computation 2025 pdf epub mobi 電子書 下載