数学と新しい論理 : 数学的帰納法をめぐって

著者

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

書誌事項

数学と新しい論理 : 数学的帰納法をめぐって

本橋信義著

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

タイトル読み

スウガク ト アタラシイ ロンリ : スウガクテキ キノウホウ オ メグッテ

内容説明・目次

目次

• 第０話　はじめに
• 第１話　教科書における数学的帰納法
• 第２話　命題の解釈
• 第３話　命題の分類
• 第４話　推論と証明
• 第５話　数学的帰納法
• 第６話　数学的帰納法のバリエーション
• 第７話　根拠法則としての諸原理
• 第８話　諸原理の公理化
• 第９話　新証明論

「BOOKデータベース」 より

詳細情報

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