資料詳細

  • 1 件中、 1 件目

【図書】 圏論による論理学

高階論理とトポス --
清水義夫 ／著   -- 東京大学出版会 -- ２００７．１２ -- ２１ｃｍ -- ２１６ｐ

資料詳細

タイトル 圏論による論理学
副書名 高階論理とトポス
著者名等 清水義夫 ／著  
出版 東京大学出版会 ２００７．１２
大きさ等 ２１ｃｍ ２１６ｐ
分類 410.96
件名 記号論理学
注記 索引あり
著者紹介 １９３９年東京生まれ。６３年東京大学文学部卒。６７年同大学院人文科学研究科博士課程退学。現在、千葉工業大学情報科学部教授。
内容紹介 数学、計算機科学、論理学などの分野で採用されつつある圏論。関数概念を基本として現象を捉えるこの方法を、関数型高階論理とトポスを題材にして丁寧に解説。論理学の観点を中心に圏論の考え方を紹介するテキスト。
目次 第１章　関数型高階論理（関数型高階論理の考え方；高階論理λ‐ｈ．ｏ．ｌ．のタイプと項　ほか）；第２章　トポス（圏；トポス　ほか）；第３章　トポスの基本定理（Ｉ上バンドルの圏Ｂｎ（Ｉ）；関手　ほか）；第４章　プルバック関手ｆの右‐随伴関手２ｆ（トポスの基礎的な諸性質；パーシャルアロー・クラシファイヤーの存在定理　ほか）；第５章　リミット、空間性トポス、限量記号（リミットとコリミット；空間性トポスＴｏｐ（１）　ほか）
ISBN(13)、ISBN 978-4-13-012057-9　　 4-13-012057-3
書誌番号 1107094718
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1107094718

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2076474594 iLisvirtual

ページの先頭へ