資料詳細

  • 1 件中、 1 件目

論理学は数学の役に立つか? 貸出可

本橋 信義／著 -- 遊星社 -- 2006.10 -- 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 状態
９書庫 /410.9/モ/ 8133249677 一般 館内有

ページの先頭へ

資料詳細

書名 論理学は数学の役に立つか?
タイトル関連情報 新しい論理学の構築
著者名 本橋 信義 ／著  
出版者 遊星社
出版年 2006.10
ページ数 222p
大きさ 21cm
一般件名 記号論理学
NDC分類(9版) 410.96
内容紹介 情報処理の現場における論理の役割を説明することを目標とした“新しい論理学”に、事象型推論と法則型推論という2つの概念を導入し、数学の証明という具体的な情報処理現場に限定して体系的にまとめた一冊。
ISBN 4-434-08581-6

ページの先頭へ