注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
「スマリヤン 記号論理学 一般化と記号化」 パズルを解き進めることで記号論理学の本筋に進めるユニー... 「スマリヤン 記号論理学 一般化と記号化」 パズルを解き進めることで記号論理学の本筋に進めるユニークな構成。 2013年1月発売 娯楽的な数学パズルの本から専門書まで幅広い著作で知られている数学の奇才スマリヤンの集大成で、娯楽的な内容と専門的な内容のものの架け橋となるよう、彼独特の理論パズルを通じて記号論理学の主内容を解説するものです。パズルを解き進めることで記号論理学の本筋に進めるユニークな構成が特色です。 全2分冊の構成で、本書は原書のパズル的要素が強い前半部分を収録しています。 ■目次 第 I 部 一般化のすすめ 第1章 嘘つきと正直者の論理学 第2章 男性か女性か 第3章 沈黙する騎士と悪漢 第4章 マトモかイカれているか 第5章 二重の厄介さ 第6章 統一原理 第 II 部 記号化のすすめ 第7章 命題論理入門 第8章 嘘つき・正直者と命題論理 第9章 日がわり嘘つき 第10章
2013/01/31 リンク