圏論による論理学―高階論理とトポス
価格: ¥2,940
【セブン-イレブンで24時間受取りOK・送料0円!】 著者/訳者名:清水義夫/著 出版社名:東京大学出版会 発行年月:2007年12月 関連キーワード:ケンロン ニ ヨル ロンリガク コウカイ ロンリ ト トポス けんろん に よる ろんりがく こうかい ろんり と とぽす、 トウキヨウ ダイガク シユツパンカイ トウキヨウダイガクシユツパンカイ 5149 とうきよう だいがく しゆつぱんかい とうきようだいがくしゆつぱんかい 5149、 トウキヨウ ダイガク シユツパンカイ トウキヨウダイガクシユツパンカイ 5149 とうきよう だいがく しゆつぱんかい とうきようだいがくしゆつぱんかい 5149 数学、計算機科学、論理学などの分野で採用されてきている圏論を論理学の観点を中心に解説し、その考え方を紹介するテキスト。 第1章 関数型高階論理(関数型高階論理の考え方高階論理λ‐h.o.l.のタイプと項 ほか)第2章 トポス(圏トポス ほか)第3章 トポスの基本定理(I上バンドルの圏Bn