証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

著者

• 小島, 寛之 コジマ, ヒロユキ

書誌事項

証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

小島寛之著

（知の扉シリーズ）

技術評論社, 2017.2

タイトル別名

証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説

証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで

タイトル読み

ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ

注記

その他のタイトルはジャケットによる

お勧め文献・参考文献: p346-347

内容説明・目次

内容説明

論理式が難しく思えるのは単に慣れていないからだった！たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。

目次

• 第１部　論理式に慣れよう
• 第２部　証明するとは何をすることか
• 第３部　自然数を舞台に公理系を学ぶ
• 第４部　ゲーデルの定理の予告編で終わる

「BOOKデータベース」 より

詳細情報

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