|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
よく一緒に購入されている商品
商品の説明
内容説明
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.
著者について
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
登録情報
|
この商品を見た後に買っているのは？
カスタマーレビュー
最も参考になったカスタマーレビュー
18 人中、3人の方が、｢このレビューが参考になった｣と投票しています。
形式:ペーパーバック
まさに数学の魅力がつまった本です。
ををを、と目からウロコが落ちます。
また、入門書としての構成がエクセレント。
入門書を執筆する全てのヒトに読ませたい。
とくに、文献リストとその解説が良い。
この本を数学的興奮をあじわいたい全てのヒトへ薦めます。
ををを、と目からウロコが落ちます。
また、入門書としての構成がエクセレント。
入門書を執筆する全てのヒトに読ませたい。
とくに、文献リストとその解説が良い。
この本を数学的興奮をあじわいたい全てのヒトへ薦めます。
Amazon.com で最も参考になったカスタマーレビュー (beta)
Amazon.com:
9件のカスタマーレビュー
44 人中、43人の方が、｢このレビューが参考になった｣と投票しています。
Really expensive for a set of notes...
2005/12/7
形式:ペーパーバック
You can find better introductions to category theory available on the net for free. Try searching for Lambert Meertens, Marten Fokkinga, and Jaap Van Oosten, for example. Or Barr and Wells, Triples, Toposes, and Theories. Or Asperti and Longo. Or watch Eugenia Cheng's videos on YouTube, which are fantastic.
But if you want to buy a book, get Barr and Wells, Category Theory for Computing Science. Unfortunately, you have to order it directly from the University of Montreal. It's a great book, by far the best intro to category theory available, *way* better than this! Then, after that, you can read MacLane...
But if you want to buy a book, get Barr and Wells, Category Theory for Computing Science. Unfortunately, you have to order it directly from the University of Montreal. It's a great book, by far the best intro to category theory available, *way* better than this! Then, after that, you can read MacLane...
34 人中、32人の方が、｢このレビューが参考になった｣と投票しています。
Too terse
2004/3/28
形式:ペーパーバック
This is a very short book: 70 pages of text + a bibliography. The first 50 pages are about general category theory, and the last 20 pages are specifically for computer scientists. My interest is in general category theory, and I bought this because I have a BS in CS and thought I'd find plenty of familiar examples. Unfortunately this book doesn't have nearly enough examples. I found it easier to skim some undergrad abstract algebra books in the library (groups, rings, vector spaces) and then continuing with category theory intros written for math students.
19 人中、18人の方が、｢このレビューが参考になった｣と投票しています。
Basic crib sheet for category theory
2006/4/3
形式:ペーパーバック
Anyone coming to this book from Pierce's "Types and Programming Languages" will be disappointed. While his "Types ..." book is a model of clear exposition, this book reads like a set of notes jotted down on the back on an envelope. The extensive bibliographic sections are more than fifteen years out of date. Much of the material referenced is no longer in print, and recent developments are, of course, not mentioned. Those seeking a very gentle introduction to category theory would do better with the book by Lawvere and Schanuel, who cover more of category theory than Pierce. Mathematically mature computer science readers will find everything they need to know about the subject in Mac Lane's book.
これらのレビューは参考になりましたか？
ご意見はクチコミでお聞かせください。
リストマニア
|
|
関連商品を探す
- 洋書 > Computers & Internet > Computer Science > Artificial Intelligence
- 洋書 > Computers & Internet > Programming > Software Design, Testing & Engineering
- 洋書 > Professional & Technical > Professional Science > Mathematics > Pure Mathematics
- 洋書 > Science > History & Philosophy > History of Mathematics
- 洋書 > Science > Mathematics > Pure Mathematics > Logic
- 洋書 > Special Features > all foreign books
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
