計算機科學中的範疇論

計算機科學中的範疇論

《計算機科學中的範疇論》是由中國科學技術大學出版社出版的一部教育作品,作者是陳意雲。

基本介紹

  • 作者:陳意雲
  • ISBN:9787312004100
  • 頁數:271
  • 定價:6.00
  • 出版社:中國科學技術大學出版社
  • 出版時間:1993-2
  • 裝幀:平裝
內容介紹
範疇論是近十年來興起的計算機科學前沿研究打向之一,前景廣闊.本
書作者對這一領域做了很多研究工作.80年末,在美國期間收集了最新的有
關資料.在此基礎上寫成的本書反映了範疇論作為工具套用於計算機科學的
最新情況.
書中首先介紹代數規範的基本知識和一些泛代數的知識,然後系統地介
紹了範疇論的主要內容:範疇、函子、自然變換、積與和、極限和余極限、伴隨、
笛卡兒封閉的範疇和素描等,並通過很多例子.介紹了範疇論在程式設計語
言的語義、λ演算、論域理論、演繹系統和形式規範等方面的套用.各章節岳
面附有習題.
本書可作為計算機專業的高年級本科生、研究生的教材.亦可供從事計
算機科學研究和開發的科技人員參考.

相關詞條

熱門詞條

聯絡我們