圏論による論理学 (冊子版)

高階論理とトポス

冊子版 電子書籍
著者
清水 義夫
ジャンル
人文科学  > 哲学・思想・倫理
発売日
2007/12/14
ISBN
978-4-13-012057-9
判型・ページ数
A5 ・ 232ページ
定価
3,080円(本体2,800円+税)
在庫
在庫あり
内容紹介
目次
著者紹介
20世紀後半、数学、計算機科学、論理学などの分野で採用されてきている圏論。関数概念を基本として現象をとらえようというこの方法を、関数型高階論理とトポスを題材にして丁寧に解説する。論理学の観点を中心に、圏論の考え方を紹介するテキスト。

第1章 関数型高階論理
第2章 トポス
第3章 トポスの基本定理
第4章 プルバック関手<i>f</i> *の右-随伴関手<i>Π</i><sub>f</sub>
第5章 リミット、空間性トポス、限量記号
結び
付録1 A∧( ) ┤A⊃( )のイメージ的理解
付録2 各章の課題
主な記号一覧/索引
圏論による論理学
ご注文
Amazon
紀伊國屋書店ウェブストア
honto
セブンネットショッピング
e-hon 全国書店ネットワーク
楽天ブックス
Honya Club.com
TSUTAYA オンラインショッピング
HMV&BOOKS online
ヨドバシ.com