11/26
時点_ポイント最大11倍
圏論による論理学 高階論理とトポス /清水義夫
販売価格
3,080
円 （税込）
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 28
+キャンペーンポイント（期間・用途限定） 最大10倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
≪商品情報≫
著者名：清水義夫
出版社名：東京大学出版会
発行年月：2007年12月
判型：Ａ５
ISBN：9784130120579
≪内容情報≫
数学、計算機科学、論理学などの分野で採用されつつある圏論。関数概念を基本として現象を捉えるこの方法を、関数型高階論理とトポスを題材にして丁寧に解説。論理学の観点を中心に圏論の考え方を紹介するテキスト。
著者名：清水義夫
出版社名：東京大学出版会
発行年月：2007年12月
判型：Ａ５
ISBN：9784130120579
≪内容情報≫
数学、計算機科学、論理学などの分野で採用されつつある圏論。関数概念を基本として現象を捉えるこの方法を、関数型高階論理とトポスを題材にして丁寧に解説。論理学の観点を中心に圏論の考え方を紹介するテキスト。
