論理学は数学の役に立つか？～新しい論理学の構築～
本橋 信義
著
絶版
価格
\2,640（税込）
発行年月
2006年10月
出版社／提供元
遊星社
言語
日本語
媒体
冊子
ページ数／巻数
２２２ｐ
大きさ
21
ジャンル
和書
ISBN
9784434085819
商品コード
0106097665
NDC分類
410.96
基本件名
記号論理学
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0106097665
内容
情報処理の現場における論理の役割を説明することを目標とした“新しい論理学”に、事象型推論と法則型推論という２つの概念を導入し、数学の証明という具体的な情報処理現場に限定して体系的にまとめた一冊。
