1. 首页
  2. 课程学习
  3. 软件测试
  4. 计算机科学中的范畴论

计算机科学中的范畴论

上传者: 2020-05-14 04:02:30上传 PDF文件 8.96MB 热度 167次
陈意云写的,书中首先介绍了代数规范的基本知识和一此泛代数的知识,然后系统地介绍了范畴论的主要内容,范畴,函子,自然变换,积与和,极限和余极限,伴随,笛卡尔封闭的范畴和素描等,并通过很多例子,介绍了范畴论在程序设计语言的语义,论域理论,演绎系统和形式规范等方面的应用
下载地址
用户评论
码姐姐匿名网友 2020-05-14 04:02:30

好书,对计算机理论研究有帮助。

码姐姐匿名网友 2020-05-14 04:02:30

好书,范畴论相关内容的书不好找