圏論による論理学 高階論理とトポス /清水義夫
販売価格
3,080
円 （税込）
- 出荷目安：
- １～２営業日で出荷
たまるdポイント（通常） 28
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
dカードでお支払ならポイント3倍
- 商品情報
- レビュー
≪商品情報≫
著者名：清水義夫
出版社名：東京大学出版会
発行年月：2007年12月
判型：Ａ５
ISBN：9784130120579
≪内容情報≫
数学、計算機科学、論理学などの分野で採用されつつある圏論。関数概念を基本として現象を捉えるこの方法を、関数型高階論理とトポスを題材にして丁寧に解説。論理学の観点を中心に圏論の考え方を紹介するテキスト。
著者名：清水義夫
出版社名：東京大学出版会
発行年月：2007年12月
判型：Ａ５
ISBN：9784130120579
≪内容情報≫
数学、計算機科学、論理学などの分野で採用されつつある圏論。関数概念を基本として現象を捉えるこの方法を、関数型高階論理とトポスを題材にして丁寧に解説。論理学の観点を中心に圏論の考え方を紹介するテキスト。
