矢印アイコンが紹介
矢印
ふつう矢印
動く矢印
ボタン
ファイル
矢印アイコンが紹介
>
アイコン動く矢印
>
右に動く矢印アイコン
>
右に動く矢印アイコンが紹介
記号論理学: 一般化と記号化
新品価格
¥2,592
から
(2015/6/16 13:05時点)
第I部 一般化のすすめさまざまな正直者と嘘つきが登場する論理パズル.章が進むにつれて厄介さを増す問題に対して,形式的な記号を用いずに解説する.読者が題意,条件を的確に捉える力を育みながら, これらの問題を一網打尽に解決する統一原理に迫る.第II部 記号化のすすめ 否定,含意,論理積,論理和などの論理結合子を用いる命題論理から,量化子(∀,∃)を用いる述語論理までの記号を導入する.さらに命題の証明方法を学び,第I部の論理パズルにおける演繹と,記号化した証明の融合を体験し,推論することへの理解を深める. (Amazon.jpより)
ホームページ素材
顔文字素材
写真素材
カードローン
仮想通貨
起業
不動産