top_1:時計の市場 数学
ドンペリをお探しならドンペリの専門サイトのこちら↓
ドンペリ価格情報
ドンペリの最新情報はこちら↓
ドンペリ紹介・価格情報
ディナーにぜひ!!貴腐ワインなどデザートワインをお探しならこちらへ↓
貴腐ワイン・甘口ワイン通販
自動リンクネットワーク
専門通販サイトリンク集
並べ替え: 感想の件数順 価格が安い順 価格が高い順 新着順
1件〜1件(全1件)1
写真 | 商品名 | 値段 | 送料 | 販売店 |
圏論による論理学 高階論理とトポス [ 清水義夫 ] | 3,080 円 | 込 | 楽天ブックス | |
高階論理とトポス 清水義夫 東京大学出版会ケンロン ニ ヨル ロンリガク シミズ,ヨシオ 発行年月:2007年12月18日 予約締切日:2007年12月11日 ページ数:216p サイズ:単行本 ISBN:9784130120579 清水義夫(シミズヨシオ) 1939年東京に生まれる。1963年東京大学文学部哲学科卒業。1967年東京大学大学院人文科学研究科博士課程退学。現在、千葉工業大学情報科学部教授(本データはこの書籍が刊行された当時に掲載されていたものです) 第1章 関数型高階論理(関数型高階論理の考え方/高階論理λーh.o.l.のタイプと項 ほか)/第2章 トポス(圏/トポス ほか)/第3章 トポスの基本定理(I上バンドルの圏Bn(I)/関手 ほか)/第4章 プルバック関手fの右ー随伴関手2f(トポスの基礎的な諸性質/パーシャルアロー・クラシファイヤーの存在定理 ほか)/第5章 リ・・・(以下省略) |
1件〜1件(全1件) 1
Supported by 楽天ウェブサービス