商品詳細 | Knowledge Worker

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

		数量冊
価格 \5,082（税込）
※表示価格は「学術機関向け・同時1アクセス」の価格となります。ご注文を承った際には、実際のご契約内容により算出した価格でご請求いたします。

発行年月	2008年01月
出版社／提供元	東京大学出版会
言語	日本語
媒体	電子
ジャンル	和書
商品コード	1034741172
NDC分類	410.96
基本件名	カテゴリー（数学）
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1034741172

内容

20世紀後半，数学，計算機科学，論理学などの分野で採用されてきている圏論．関数概念を基本として現象をとらえようというこの方法を，関数型高階論理とトポスを題材にして丁寧に解説する．論理学の観点を中心に，圏論の考え方を紹介するテキスト．

カート

カートに商品は入っていません。