Basic Category Theory for Computer Scientists 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

Benjamin C. Pierce 作者

The MIT Press

译者

1991-8-7 出版日期

114 页数

USD 29.00 价格

Paperback

Foundations of Computing 丛书系列

9780262660716 图书编码

Basic Category Theory for Computer Scientists 在线电子书图书标签: 范畴论计算机科学数学 category 计算机 Programming CS 编程

喜欢 Basic Category Theory for Computer Scientists 在线电子书的读者还喜欢

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-23

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

Basic Category Theory for Computer Scientists 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Basic Category Theory for Computer Scientists 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

Basic Category Theory for Computer Scientists 在线电子书用户评价

评分☆☆☆☆☆

emmm 为啥叫做for computer scientist呢因为这本书其实范畴论讲的比较浅倒是讲了关于denotational semantics。Domain theory是一个非常巧妙的idea，Category theory是一个比较好的模型，当然咯 computer scientist比较关心model是否好用/相符，如果更喜欢categorical logic的taste的话那就不妨再去看更数学的教材了

评分☆☆☆☆☆

压缩得有点狠

评分☆☆☆☆☆

不推荐

评分☆☆☆☆☆

压缩得有点狠

评分☆☆☆☆☆

把category跟cs联系起来，这本算是讲得最浅显易懂了，但是碍于篇幅，很多内容略显干涩

Basic Category Theory for Computer Scientists 在线电子书著者简介

Basic Category Theory for Computer Scientists 在线电子书图书目录

Basic Category Theory for Computer Scientists 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Basic Category Theory for Computer Scientists 在线电子书图书描述

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 在线电子书下载 mobi epub pdf txt 在线电子书下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

Basic Category Theory for Computer Scientists 在线电子书读后感

评分☆☆☆☆☆

本书的核心内容只有3章70页，主要特点为： 1、完全由definition, example和exercise堆砌而成 2、需要大量关于domain theory和algebraic structure知识 3、对category theory本身的介绍总是点到即止（详细内容另见某某书）结论：这不是一本有关category theory的教材。看完...

评分☆☆☆☆☆