資源簡介
陳意云寫的，書中首先介紹了代數規范的基本知識和一此泛代數的知識，然后系統地介紹了范疇論的主要內容，范疇，函子，自然變換，積與和，極限和余極限，伴隨，笛卡爾封閉的范疇和素描等，并通過很多例子，介紹了范疇論在程序設計語言的語義，論域理論，演繹系統和形式規范等方面的應用
代碼片段和文件信息
?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----
?????文件?????9400144??2018-10-18?15:15??_10955128.pdf
-----------?---------??----------?-----??----
?????文件?????9400144??2018-10-18?15:15??_10955128.pdf
評論
共有 條評論
川公網安備 51152502000135號