计算机科学中的范畴论
2025-02-17 10:40:51
文学小说
7
【🔥扫码右侧二维码】
【📱扫码极速下载】浏览器自动唤起 💎独家资源·限时共享内容简介：
范畴论是近十年来兴起的计算机科学前沿研究打向之一，前景广阔．本 书作者对这一领域做了很多研究工作．80年末,在美国期间收集了最新的有 关资料．在此基础上写成的本书反映了范畴论作为工具应用于计算机科学的 最新情况． 书中首先介绍代数规范的基本知识和一些泛代数的知识，然后系统地介 绍了范畴论的主要内容：范畴、函子、自然变换、积与和、极限和余极限、伴随、 笛卡儿封闭的范畴和素描等，并通过很多例子．介绍了范畴论在程序设计语 言的语义、λ演算、论域理论、演绎系统和形式规范等方面的应用．各章节岳 面附有习题． 本书可作为计算机专业的高年级本科生、研究生的教材．亦可供从事计 算机科学研究和开发的科技人员参考．
评论