圖書標籤: 計算機科學  數學-計算機代數  數學  pl  mathematica  Symbolic  Computer  Computation   

喜歡 Computer Algebra and Symbolic Computation 的讀者還喜歡

電子書字體有點小（pdf能不能調節字體大小的？）

電子書字體有點小（pdf能不能調節字體大小的？）

電子書字體有點小（pdf能不能調節字體大小的？）

電子書字體有點小（pdf能不能調節字體大小的？）

電子書字體有點小（pdf能不能調節字體大小的？）

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 这个数学化就是最简结构，多...