1. 首页
  2. 移动开发
  3. 其他
  4. Galois连接和定点微积分Galois Connections and Fixed Point Calculus

Galois连接和定点微积分Galois Connections and Fixed Point Calculus

上传者: 2020-07-24 08:34:44上传 PDF文件 457.88KB 热度 19次
介绍了程序构造数学中的基本代数结构,重点介绍了递归的代数性质以及如何将其应用于编程问题的一般解。
下载地址
用户评论