Basic Category Theory for Computer Scientists 2024 pdf epub mobi 電子書 下載


Basic Category Theory for Computer Scientists

簡體網頁||繁體網頁

Basic Category Theory for Computer Scientists pdf epub mobi 著者簡介


Basic Category Theory for Computer Scientists pdf epub mobi 圖書描述

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

Basic Category Theory for Computer Scientists 2024 pdf epub mobi 電子書 下載

Basic Category Theory for Computer Scientists pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-06-03

Basic Category Theory for Computer Scientists 2024 pdf epub mobi 電子書 下載

Basic Category Theory for Computer Scientists 2024 pdf epub mobi 電子書 下載

Basic Category Theory for Computer Scientists 2024 pdf epub mobi 電子書 下載



喜欢 Basic Category Theory for Computer Scientists 電子書 的读者还喜欢


Basic Category Theory for Computer Scientists pdf epub mobi 讀後感

評分

本書的核心內容隻有3章70頁,主要特點為: 1、完全由definition, example和exercise堆砌而成 2、需要大量關於domain theory和algebraic structure知識 3、對category theory本身的介紹總是點到即止(詳細內容另見某某書) 結論:這不是一本有關category theory的教材。 看完...

評分

本書的核心內容隻有3章70頁,主要特點為: 1、完全由definition, example和exercise堆砌而成 2、需要大量關於domain theory和algebraic structure知識 3、對category theory本身的介紹總是點到即止(詳細內容另見某某書) 結論:這不是一本有關category theory的教材。 看完...

評分

本書的核心內容隻有3章70頁,主要特點為: 1、完全由definition, example和exercise堆砌而成 2、需要大量關於domain theory和algebraic structure知識 3、對category theory本身的介紹總是點到即止(詳細內容另見某某書) 結論:這不是一本有關category theory的教材。 看完...

評分

本書的核心內容隻有3章70頁,主要特點為: 1、完全由definition, example和exercise堆砌而成 2、需要大量關於domain theory和algebraic structure知識 3、對category theory本身的介紹總是點到即止(詳細內容另見某某書) 結論:這不是一本有關category theory的教材。 看完...

評分

本書的核心內容隻有3章70頁,主要特點為: 1、完全由definition, example和exercise堆砌而成 2、需要大量關於domain theory和algebraic structure知識 3、對category theory本身的介紹總是點到即止(詳細內容另見某某書) 結論:這不是一本有關category theory的教材。 看完...

類似圖書 點擊查看全場最低價
出版者:The MIT Press
作者:Benjamin C. Pierce
出品人:
頁數:114
譯者:
出版時間:1991-8-7
價格:USD 29.00
裝幀:Paperback
isbn號碼:9780262660716
叢書系列:Foundations of Computing

圖書標籤: 範疇論  計算機科學  數學  category  計算機  Programming  CS  編程   


Basic Category Theory for Computer Scientists 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Basic Category Theory for Computer Scientists pdf epub mobi 用戶評價

評分

emmm 為啥叫做for computer scientist呢 因為這本書其實範疇論講的比較淺 倒是講瞭關於denotational semantics。Domain theory是一個非常巧妙的idea,Category theory是一個比較好的模型, 當然咯 computer scientist比較關心model是否好用/相符,如果更喜歡categorical logic的taste的話那就不妨再去看更數學的教材瞭

評分

壓縮得有點狠

評分

emmm 為啥叫做for computer scientist呢 因為這本書其實範疇論講的比較淺 倒是講瞭關於denotational semantics。Domain theory是一個非常巧妙的idea,Category theory是一個比較好的模型, 當然咯 computer scientist比較關心model是否好用/相符,如果更喜歡categorical logic的taste的話那就不妨再去看更數學的教材瞭

評分

壓縮得有點狠

評分

不推薦

Basic Category Theory for Computer Scientists 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有