计算机科学中的范畴论

出版社:中国科学技术大学出版社
出版日期:1993-2
ISBN:9787312004100
作者:陈意云
页数:271页

作者简介

范畴论是近十年来兴起的计算机科学前沿研究打向之一,前景广阔.本
书作者对这一领域做了很多研究工作.80年末,在美国期间收集了最新的有
关资料.在此基础上写成的本书反映了范畴论作为工具应用于计算机科学的
最新情况.
书中首先介绍代数规范的基本知识和一些泛代数的知识,然后系统地介
绍了范畴论的主要内容:范畴、函子、自然变换、积与和、极限和余极限、伴随、
笛卡儿封闭的范畴和素描等,并通过很多例子.介绍了范畴论在程序设计语
言的语义、λ演算、论域理论、演绎系统和形式规范等方面的应用.各章节岳
面附有习题.
本书可作为计算机专业的高年级本科生、研究生的教材.亦可供从事计
算机科学研究和开发的科技人员参考.


 计算机科学中的范畴论下载



发布书评

 
 


 

军事,图形图像/视频,娛樂時尚,财政税收,地方史志,小学一年级,建筑科学,高考PDF图书下载,。 PDF图书网 

PDF图书网 @ 2018