証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで
著者
書誌事項
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで
(知の扉シリーズ)
技術評論社, 2017.2
- タイトル別名
-
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
- タイトル読み
-
ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ
大学図書館所蔵 全131件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他のタイトルはジャケットによる
お勧め文献・参考文献: p346-347
内容説明・目次
内容説明
論理式が難しく思えるのは単に慣れていないからだった!たった6個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
目次
- 第1部 論理式に慣れよう
- 第2部 証明するとは何をすることか
- 第3部 自然数を舞台に公理系を学ぶ
- 第4部 ゲーデルの定理の予告編で終わる
「BOOKデータベース」 より