記号論理・入門 [単行本]

販売休止中です

    • 記号論理・入門 [単行本]

    • ¥2,20066 ゴールドポイント(3%還元)

記号論理・入門 [単行本]

価格:¥2,200(税込)
ゴールドポイント:66 ゴールドポイント(3%還元)(¥66相当)
日本全国配達料金無料
出版社:星雲社
販売開始日: 1999/02/13
お取り扱い: のお取り扱い商品です。
ご確認事項:返品不可

記号論理・入門 [単行本] の 商品概要

  • 要旨(「BOOK」データベースより)

    記号論理の世界を物語として語りかけた本。対象とする論理を“数学の論証で用いる論理”に限定し、「命題論理」と呼ばれる論理の基本的な部分を対象とした。
  • 目次(「BOOK」データベースより)

    第1章 証明の分析
    第2章 証明の形式化
    第3章 証明可能性と証明図の作成
    第4章 命題の真偽と推論規則の正しさ
    第5章 形式的論理体系の完全性
    第6章 許容推論図
    第7章 推件計算

記号論理・入門 [単行本] の商品スペック

商品仕様
出版社名:遊星社
著者名:上江洲 忠弘(著)
発行年月日:1999/02/13
ISBN-10:4795268886
ISBN-13:9784795268883
判型:A5
発売社名:星雲社
対象:専門
発行形態:単行本
内容:数学
ページ数:190ページ
縦:21cm
他の星雲社の書籍を探す

    星雲社 記号論理・入門 [単行本] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!