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

書誌事項

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

小島寛之著

(知の扉シリーズ)

技術評論社, 2017.2

タイトル別名

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

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

タイトル読み

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

大学図書館所蔵 件 / 131

この図書・雑誌をさがす

注記

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

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

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BB22871983
  • ISBN
    • 9784774186641
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    351p
  • 大きさ
    19cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ