証明と論理に強くなる

小島寛之 著

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

「BOOKデータベース」より

[目次]

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

「BOOKデータベース」より

この本の情報

書名 証明と論理に強くなる
著作者等 小島 寛之
書名ヨミ ショウメイ ト ロンリ ニ ツヨク ナル : ロンリシキ ノ ヨミカタ カラ ゲーデル ノ モンゼン マデ
書名別名 論理式の読み方から、ゲーデルの門前まで

Shomei to ronri ni tsuyoku naru
シリーズ名 知の扉シリーズ
出版元 技術評論社
刊行年月 2017.2
ページ数 351p
大きさ 19cm
ISBN 978-4-7741-8664-1
NCID BB22871983
※クリックでCiNii Booksを表示
全国書誌番号
22843764
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想