|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
 |
出版社/著者からの内容紹介
20世紀後半、数学、計算機科学、論理学などの分野で採用されてきている圏論。関数概念を基本として現象をとらえようというこの方法を、関数型高階論理とトポスを題材にして丁寧に解説する。論理学の観点を中心に、圏論の考え方を紹介するテキスト。 続きを読む |
|
関連商品をストア別に表示する：
すべてのストア
(52)
本 以下の条件にあてはまる商品を表示する：
買った商品
チェックした商品
|
|
||||||||||||||||||||||||||||||||
