証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで
Author(s)
Bibliographic Information
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで
（知の扉シリーズ）
技術評論社, 2017.2
- Other Title
-
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで : 決定版数理論理学の完全解説
証明と論理に強くなる : 論理式の読み方からゲーデルの門前まで
- Title Transcription
-
ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ、ゲーデル ノ モンゼン マデ
Available at / 131 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
その他のタイトルはジャケットによる
お勧め文献・参考文献: p346-347
Description and Table of Contents
Description
論理式が難しく思えるのは単に慣れていないからだった！たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
Table of Contents
- 第１部 論理式に慣れよう
- 第２部 証明するとは何をすることか
- 第３部 自然数を舞台に公理系を学ぶ
- 第４部 ゲーデルの定理の予告編で終わる
by "BOOK database"