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

【文件属性】：

文件名称：Galois连接和定点微积分Galois Connections and Fixed Point Calculus

文件大小：458KB

文件格式：PDF

更新时间：2022-11-17 20:37:23

计算机科学

介绍了程序构造数学中的基本代数结构，重点介绍了递归的代数性质以及如何将其应用于编程问题的一般解。