関心空間はブックのクチコミも満載!

新着

... もっとみる
ログイン | ユーザー登録(無料)

関心空間

関心空間とは？

圏論による論理学―高階論理とトポス (けんろんによるろんりがく―こうかいろんりとトポス )

  • 圏論による論理学―高階論理とトポスの画像

主にトポス(topos)を題材にして、
圏論(category theory)に基づいて展開されている
数理論理学(論理を数学によって研究する学問領域)の成果について
解説したテキスト本(圏論の基礎、併読推奨)。

-----------------------------------------------------------

【目次】

序
第1章 関数型高階論理
第2章 トポス
第3章 トポスの基本定理
第4章 プルバック関手ｆ *の右-随伴関手Πf
第5章 リミット、空間性トポス、限量記号
結び
付録１　A∧( ) ┤A⊃( )のイメージ的理解
付録２　各章の課題
主な記号一覧／索引

-----------------------------------------------------------

カオナシ画像 投稿者:
カオナシ
Amazon詳細情報 毎日更新
  • 商品名: 圏論による論理学―高階論理とトポス
  • 価格: ¥2,940
  • 著者: 清水 義夫
  • 出版社: 東京大学出版会
  • 発売日: 2007-12
  • 詳細をみる
  • 2007/12/20登録
  • 679クリック

「圏論による論理学―高階論理とトポス」を検索

ソーシャルブックマーク

  • このページを含むはてなブックマーク
  • このページを Yahoo! bookmarks に登録する
  • このページを del.icio.us に登録する
  • このページを livedoorクリップ に登録する
  • このページを POOKMARK Airlines に登録する
  • このページを Facebook に登録する

このユーザーのキーワード

コメント (0)

まだコメントされていません。

つながりキーワード (5)

linear logic

  • (カオナシ)

線形論理。 1987年にフランス人の論理学者Jean-Yves Girardが発表した、 古典論理(classical logic)のように双対性を満たしつつも 直感主...

スマリヤンの決定不能の論理パズル

  • (カオナシ)

原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...

論理学をつくる

  • (カオナシ)

オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...

シリーズ・講座『ゲーデルと２０世紀の論理学［全4巻］』

  • (カオナシ)

ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...

シークエント計算

  • (カオナシ)

シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer Kalkül: 論理計...

携帯でこのページにアクセス

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

QRコード対応の携帯で
上の画像を読み取ると
アクセスできます。

トラックバック (0)

まだトラックバックされていません。

トラックバックURL
http://www.kanshin.com/tb/keyword-1303857

関心空間人気のキーワード

ブックブックカテゴリー

キャンペーン

Copyright © 2001-2008 Kanshin!, Inc. All Rights Reserved.