圏論による論理学―高階論理とトポス

個数:

圏論による論理学―高階論理とトポス

  • ウェブストアに2冊在庫がございます。(2024年03月29日 03時42分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 216p/高さ 21cm
  • 商品コード 9784130120579
  • NDC分類 410.96
  • Cコード C3010

出版社内容情報

数学、計算機科学、論理学などの分野で採用されてきている圏論を論理学の観点を中心に解説し、その考え方を紹介するテキスト。

目次

第1章 関数型高階論理(関数型高階論理の考え方;高階論理λ‐h.o.l.のタイプと項 ほか)
第2章 トポス(圏;トポス ほか)
第3章 トポスの基本定理(I上バンドルの圏Bn(I)
関手 ほか)
第4章 プルバック関手fの右‐随伴関手2f(トポスの基礎的な諸性質;パーシャルアロー・クラシファイヤーの存在定理 ほか)
第5章 リミット、空間性トポス、限量記号(リミットとコリミット;空間性トポスTop(1) ほか)

著者等紹介

清水義夫[シミズヨシオ]
1939年東京に生まれる。1963年東京大学文学部哲学科卒業。1967年東京大学大学院人文科学研究科博士課程退学。現在、千葉工業大学情報科学部教授(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。