証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～ （技術評論社） [電子書籍]

証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～ （技術評論社） の 商品概要

• 要旨（「BOOK」データベースより）
  論理式が難しく思えるのは単に慣れていないからだった！たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。
  目次（「BOOK」データベースより）
  第１部　論理式に慣れよう
  第２部　証明するとは何をすることか
  第３部　自然数を舞台に公理系を学ぶ
  第４部　ゲーデルの定理の予告編で終わる
  著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）
  小島 寛之(コジマ ヒロユキ)
  １９５８年東京都生まれ。東京大学理学部数学科卒業。同大学院経済学研究科博士課程単位取得退学。経済学博士。現在、帝京大学経済学部経済学科教授。専攻は数理経済学、意志決定理論。数学エッセイストとしても多方面で活躍しており、そのわかりやすい語り口には文系・理系の読者を問わず定評がある
  

証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～ （技術評論社） の商品スペック