发表于2024-12-23
Computer Algebra and Symbolic Computation 2024 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 2024 pdf epub mobi 电子书