矢印アイコンが紹介 | 右に動く矢印アイコン

右に動く矢印アイコンが紹介

記号論理学: 一般化と記号化
新品価格
￥2,592から
(2015/6/16 13:05時点)
第I部一般化のすすめさまざまな正直者と嘘つきが登場する論理パズル.章が進むにつれて厄介さを増す問題に対して,形式的な記号を用いずに解説する.読者が題意,条件を的確に捉える力を育みながら, これらの問題を一網打尽に解決する統一原理に迫る.第II部記号化のすすめ否定,含意,論理積,論理和などの論理結合子を用いる命題論理から,量化子(∀,∃)を用いる述語論理までの記号を導入する.さらに命題の証明方法を学び,第I部の論理パズルにおける演繹と,記号化した証明の融合を体験し,推論することへの理解を深める. （Amazon.jpより）
ホームページ素材

 顔文字素材

 写真素材

 カードローン

 仮想通貨

 起業

 不動産