清水 義夫/著 -- 東京大学出版会 -- 2013.3 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /410.9/5078/2013 7101987790 Digital BookShelf
2013/04/23 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

資料詳細 閉じる

ISBN 4-13-012062-3
ISBN13桁 978-4-13-012062-3
タイトル 記号論理学講義
タイトルカナ キゴウ ロンリガク コウギ
タイトル関連情報 基礎理論 束論と圏論 知識論
タイトル関連情報読み キソ リロン ソクロン ト ケンロン チシキロン
著者名 清水 義夫 /著
著者名典拠番号

110000503150000

出版地 東京
出版者 東京大学出版会
出版者カナ トウキョウ ダイガク シュッパンカイ
出版年 2013.3
ページ数 7, 382p
大きさ 21cm
価格 ¥3800
内容紹介 中級者を対象にした記号論理学のテキスト。代表的理論と、数学の抽象化を推し進めた束論および圏論を援用して、「論理語がなぜ基本的とみなされるか」などの知識をめぐる根本的な問いを考察する。
書誌・年譜・年表 文献:p373~374
一般件名 記号論理学-ndlsh-00565709
一般件名カナ キゴウロンリガク-00565709
一般件名 記号論理学
一般件名カナ キゴウ ロンリガク
一般件名典拠番号

510630200000000

分類:都立NDC10版 410.96
資料情報1 『記号論理学講義 基礎理論 束論と圏論 知識論』 清水 義夫/著  東京大学出版会 2013.3(所蔵館:中央  請求記号:/410.9/5078/2013  資料コード:7101987790)
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152244202

目次 閉じる

第Ⅰ部 記号論理の基礎理論
  第1章 推理論-述語論理
  第2章 計算論1-帰納理論
  第3章 計算論2-λ計算論
  第4章 集合論-公理的集合論ZFC
第Ⅱ部 束論および圏論と記号論理
  第1章 束論
  第2章 記号論理と束
  第3章 圏論
  第4章 記号論理と圏
第Ⅲ部 記号論理への知識論的考察
  第1章 論理語の原始性
  第2章 計算論における両義的領域
  第3章 選択公理ACの正当性