買い物カゴに追加されました
買い物カゴに追加されました
カタログバナーリンク
証明と論理に強くなる ~論理式の読み方から、ゲーデルの門前まで~

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

1,958(税込)

数量

〇在庫あり

2017年02月01日紙版発行

   

四六判/352ページ

定価1958円(本体+税10%)

 

ISBN: 9784774186641

 

この本の概要

論理的に考えるとはどういうこと?証明するってどういうこと?という問いに簡潔に答える論理と証明のための徹底解説本です.論理に強くなるためには,論理記号に対するアレルギーを克服することが第一です.本書は,「かつ」「ならば」などの基本的な論理記号からまず入ります.論理記号や論理式には解釈を逐語訳のように併記するので,臆することなく読み進めてもらえます.そして数学の問題で出てきた「証明」の考え方へと話を進めます.論理と証明の考え方を習得することがゲーデル不完全性定理の理解につながることにも言及します.