| | みんなのｲﾁｵｼ25万件! | ↓ |
 圏論による論理学―高階論理とﾄﾎﾟｽ |
主にﾄﾎﾟｽ(topos)を題材にして､
圏論(category theory)に基づいて展開されている
数理論理学(論理を数学によって研究する学問領域)の成果について
解説したﾃｷｽﾄ本(圏論の基礎､併読推奨)｡
-----------------------------------------------------------
【目次】
序
第1章 関数型高階論理
第2章 ﾄﾎﾟｽ
第3章 ﾄﾎﾟｽの基本定理
第4章 ﾌﾟﾙﾊﾞｯｸ関手f *の右-随伴関手Πf
第5章 ﾘﾐｯﾄ､空間性ﾄﾎﾟｽ､限量記号
結び
付録1 A∧( ) ┤A⊃( )のｲﾒｰｼﾞ的理解
付録2 各章の課題
主な記号一覧/索引
-----------------------------------------------------------
屋内でｽﾄﾚｽ発散ﾚｯｽﾝ
関連するｷｰﾜｰﾄﾞ
ｽﾏﾘﾔﾝの決定不能の論理ﾊﾟｽﾞﾙ
linear logic論理学をつくるｼｰｸｴﾝﾄ計算ﾗﾝﾀﾞﾑｷｰﾜｰﾄﾞｼﾞｬﾝﾌﾟ
ぶらぶらしてみる] | 圏論による論理学―高階論理とﾄﾎﾟｽ の辛口ﾄｰｸをみる |  |
ｶｵﾅｼの空間書籍
詳細をみる 07.12.20更新
URLをﾒｰﾙで送る 
<<前 
>>次 
TOPﾍﾟｰｼﾞ 
検索
ぶらぶら *ﾛｸﾞｲﾝ･登録 
↑ 
ﾘﾛｰﾄﾞ 
ﾎｯﾄﾍﾟｯﾊﾟｰ | |