画像はありません

選択したカラーの画像がありません。
カラー：

このビデオを見るには、次をダウンロード Flash Player

著者をフォロー

Andrea Asperti

フォロー

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES) ハードカバー – 1992/10/1

英語版 Andrea Asperti (著), Giuseppe Longo (著)

3

すべての形式と版を表示

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programmes using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design. "Categories, Types and structures" provides a self-contained introduction to general category theory and explains the mathematical structures that have been the foundation of language design for the past two decades. The authors observe that the language of categories could provide a powerful means of standardizing of methods and language, and offer examples ranging from the early dialects of LISP, to Edinburgh ML, to work in polymorphisms and modularity. The book familiarizes readers with categorical concepts through examples based on elementary mathematical notions such as monoids, groups and toplogical spaces, as well as elementary notions from programming-language semantics such as partial orders and categories of domains in denotational semantics. It then pursues the more complex mathematical semantics of data types and programs as objects and morphisms of categories.

この商品に関する問題を報告する

本の長さ

320ページ
言語

英語
出版社

Mit Pr
発売日

1992/10/1
寸法

19.69 x 2.54 x 24.77 cm
ISBN-10

0262011255
ISBN-13

978-0262011259
すべての詳細を表示

登録情報

出版社 ‏ : ‎ Mit Pr (1992/10/1)
発売日 ‏ : ‎ 1992/10/1
言語 ‏ : ‎ 英語
ハードカバー ‏ : ‎ 320ページ
ISBN-10 ‏ : ‎ 0262011255
ISBN-13 ‏ : ‎ 978-0262011259
寸法 ‏ : ‎ 19.69 x 2.54 x 24.77 cm

Amazon 売れ筋ランキング: - 1,162,500位洋書 (洋書の売れ筋ランキングを見る)
- - 8,250位Computer Programming Language & Tool
- - 223,040位Education & Reference

カスタマーレビュー:
3

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。

Andrea Asperti

Brief content visible, double tap to read full content.

Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

カスタマーレビュー

5つのうち2.7つ

3グローバルレーティング

星5つ

42%

星4つ

0%

星3つ

0%

星2つ

0%

星1つ

58%

評価はどのように計算されますか?

この商品をレビュー

カスタマーレビューを書く

他の国からのトップレビュー

すべてのレビューを日本語に翻訳

dvau

Magnifique exposé de la théorie des catégories

2023年8月10日にフランスでレビュー済み

Amazonで購入

On apprécie quel tel livre existe ! Le périmètre et le souci de faire valoir les retombées pratiques de cette théorie extrêmement abstraite garantissent l'intérêt. Remercions les deux auteurs d'avoir consenti cet effort pédagogique.

レビューを日本語に翻訳する

Amazon Customer

Don't buy the Kindle edition

2018年6月16日に英国でレビュー済み

Amazonで購入

The Kindle edition of this book is just the author's (very long) CV - there's no real content

レビューを日本語に翻訳する

レビューをすべて見る

Amazon Advertising 商品の露出でお客様の関心と反応を引き出す	Audible（オーディブル）「聴く」読書会員なら聴き放題	アマゾンウェブサービス（AWS）クラウドコンピューティングサービス	Amazonアウトレット訳あり商品をお手頃価格で販売

Amazonビジネス（法人購買）請求書払い法人価格・数量割引	AmazonGlobal 65か国/地域以上への海外配送がより簡単に	Shopbop 世界中の厳選されたファッションアイテム

著者をフォロー

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES) ハードカバー – 1992/10/1

登録情報

著者について

Andrea Asperti

カスタマーレビュー

この商品をレビュー

上位レビュー、対象国： 日本

他の国からのトップレビュー

上位レビュー、対象国：日本