ようこそ ゲスト様
1~2日で出荷、新刊の場合、発売日以降のお届けになります
数学、計算機科学、論理学などの分野で採用されつつある圏論。関数概念を基本として現象を捉えるこの方法を、関数型高階論理とトポスを題材にして丁寧に解説。論理学の観点を中心に圏論の考え方を紹介するテキスト。
よく利用するジャンルを設定できます。
≫ 設定
「+」ボタンからジャンル(検索条件)を絞って検索してください。 表示の並び替えができます。