論理学は数学の役に立つか? : 新しい論理学の構築

著者

• 本橋, 信義 モトハシ, ノブヨシ

書誌事項

論理学は数学の役に立つか? : 新しい論理学の構築

本橋信義著

遊星社 , 星雲社 (発売), 2006.10

タイトル読み

ロンリガク ワ スウガク ノ ヤク ニ タツカ : アタラシイ ロンリガク ノ コウチク

内容説明・目次

目次

• １章　法則型推論の一般論（条件—機能と表現；情報量と法則型推論　ほか）
• ２章　法則型推論の個別理論（集合論理；命題論理　ほか）
• ３章　事象型推論の一般論（基本定理；証明に関する二つの予想　ほか）
• ４章　事象型推論の個別理論（「ルート２は無理数である。」の証明；素数約数の存在定理　ほか）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA78997038
• ISBN:
  • 4434085816
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京,東京
• ページ数/冊数: 222p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学