他のショップを見る
商品説明
商品説明 内容紹介(「BOOK」データベースより) 本書は記号論理学の入門書であるが、他の入門書と異なる点は、半期の(つまり半年の)コースでの使用を念頭においている点である。そのために、全体の分量はかなりコンパクトになっている。それにともなって、内容的にかなり大胆な取捨選択を行なわざるを得なかった。基本方針は、(1)命題論理と述語論理を区別せず、最初から述語論理を視野に入れた叙述を行なう、(2)自然演繹法を中心に据える、(3)真理関数は扱わない、ということである。 目次(「BOOK」データベースより) 第1章 形式化/第2章 量化子/第3章 規則と証明 1/第4章 規則と証明 2/第5章 否定/第6章 証明の方法と双条件法/第7章 量化の規則 1/第8章 量化の規則 2/第9章 量化の規則と制約/第10章 同一性と記述/第11章 反例と妥当性/第12章 メタ論理とその他の話題

商品名のテキストを使ってショップ、デパート、スーパー、フリーマーケット等の著名なサイトで更に広い範囲から最安値を見つけることができます。上記の販売店リストには出ていないショップも含まれます。情報系のサイトを選択することでこの商品の使用方法や記事等も検索できます。検索をした結果はタブで開かれます。商品名等から150サイトで更に最安値を見つけられます。
 この商品が属するジャンルについて各モールの売れ筋商品を比較できます。また、左欄のジャンルを選択すると、その選択されたジャンルに関する各モールの売れ筋商品に切り替わります。更に、各モール名の下に表示されたボックスをクリックし、モール毎に個別にジャンルを指定することもできます。
Copyright © DAHA(ダハ) Corporation. All Rights Reserved.