logic の検索結果 604000件中 1 - 10 件目

いつも手元に．　この本は僕が論理学を勉強し始めた時に輪講で読んでいた本です．評判通りコンパクトで程度が高い本だと思いますが，議論や証明の見通しは非常によく押さえられているので素晴らしい本だと思います．扱っている話題も非常に広く，一階述語論理に関する基本的な定理に関しては，例えば完全性定理，エルブランの定理，定義による拡張，理論の解釈などなど，が扱われています．さらにモデル論，帰納関数論，自然数論，集合...
[This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course ...]
Book (2001-01-15) 　ASIN: 1568811357 　2人のカスタマーによる評価は 5.0 です(5点満点)
在庫あり。
価格(新品) : ￥ 3,491 　ユーズド : ￥ 3,000 　[ 定価 ￥ 3,640 ]

この作品を書いたのはKen Binmoreさんです 。Ken Binmoreさんはクリエーターとしても参加しています 。Oxford Univ Pr (T) が出しています。製造元はOxford Univ Pr (T)です 。出版社はOxford Univ Pr (T)です。発売元はOxford Univ Pr (T)です 。アマゾンでの売り上げランキングが14409 位の商品です。ペーパーバック です。高さは55cm。長さは685cmです。また、重さは35kgです 。厚さは449cmです 。関連する商品としてEconomics: A Very Short Introduction (Very Short Introductions)が売られています。
[Amazon.co.jp: Game Theory: A Very Short Introduction (Very Short ... Philosophy > Logic ... Logic ...]
Book (2008-01) 　ASIN: 0199218463 　在庫あり。
価格(新品) : ￥ 761 　ユーズド : ￥ 2,241 　[ 定価 ￥ 1,116 ]

この作品を書いたのはAlvin Plantingaさんです 。Alvin Plantingaさんはクリエーターとしても参加しています 。Oxford Univ Pr が出しています。製造元はOxford Univ Prです 。出版社はOxford Univ Prです。発売元はOxford Univ Prです 。アマゾンでの売り上げランキングが183140 位の商品です。ペーパーバック です。高さは56cm。長さは852cmです。また、重さは70kgです 。厚さは548cmです 。
[Amazon.co.jp: The Nature of Necessity (Clarendon Library of Logic and Philosophy): Alvin Plantinga: 洋書]
Book (1979-03-15) 　ASIN: 0198244142 　在庫あり。
価格(新品) : ￥ 4,990 　ユーズド : ￥ 6,064 　[ 定価 ￥ 4,667 ]

全てのひとにオススメ　まさに数学の魅力がつまった本です。 ををを、と目からウロコが落ちます。 また、入門書としての構成がエクセレント。 入門書を執筆する全てのヒトに読ませたい。 とくに、文献リストとその解説が良い。 この本を数学的興奮をあじわいたい全てのヒトへ薦めます。...
[洋書 > Professional & Technical > Professional Science > Mathematics > Pure Mathematics > Logic ... Theory (Oxford Logic Guides) ...]
Book (1991-08-07) 　ASIN: 0262660717 　1人のカスタマーによる評価は 5.0 です(5点満点)
在庫あり。
価格(新品) : ￥ 2,290 　ユーズド : ￥ 3,329 　[ 定価 ￥ 2,427 ]

この作品を書いたのはNeil Immermanさんです 。Neil Immermanさんはクリエーターとしても参加しています 。Springer が出しています。製造元はSpringerです 。出版社はSpringerです。発売元はSpringerです 。アマゾンでの売り上げランキングが413093 位の商品です。ハードカバー です。高さは75cm。長さは958cmです。また、重さは119kgです 。厚さは641cmです 。
[... problems which may be described in first-order logic. ... the close relationship between logic and relational databses, it ...]
Book (1998-11-20) 　ASIN: 0387986006 　通常2～3週間以内に発送
価格(新品) : ￥ 11,072 　ユーズド : ￥ 11,072 　[ 定価 ￥ 11,412 ]

タブローの解説書であり、かつ、スマリヤンの特徴が表れた本。　１９６０年代、２冊の本が出版されました。 ”Theory of Formal Systems”と本書です。 これら２冊の本は、スマリヤンの専門家としての地位を確立した本といえます。 本書はタブローの解説書として知られていますが、 なによりも「証明の単純化、定理の一般化、概念の具体化を求めるスマリヤンの一貫した姿勢」 （『ゲーデ...
[... .jp: First-Order Logic: Raymond M. ... to Logic Alfred ... tableau method for propositional logic, Gentzen systems, more. ...]
Book (1995-01-30) 　ASIN: 0486683702 　1人のカスタマーによる評価は 5.0 です(5点満点)
在庫あり。
価格(新品) : ￥ 726 　ユーズド : ￥ 619 　[ 定価 ￥ 929 ]

めくるめく論理の世界　一介の述語論理から始まり、真理概念などの一般的な議論も交えつつ、様相論理、多値論理など現代論理学のほぼすべてを見渡せる。どの章も簡潔に要領よくまとめられており、文献案内も近年のものまでフォローしてあり非常に有用。命題論理・述語論理の初歩を少しかじった程度の人でも「へぇ」ってかんじで楽しめるはず。...
[Amazon.co.jp: The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides): Lou Goble: 洋書]
Book (2001-08-29) 　ASIN: 0631206930 　1人のカスタマーによる評価は 5.0 です(5点満点)
通常2～3週間以内に発送
価格(新品) : ￥ 4,158 　ユーズド : ￥ 5,207 　[ 定価 ￥ 3,092 ]

この作品を書いたのはW. V. Quineさんです 。W. V. Quineさんはクリエーターとしても参加しています 。Harvard University Press が出しています。製造元はHarvard University Pressです 。出版社はHarvard University Pressです。発売元はHarvard University Pressです 。アマゾンでの売り上げランキングが169592 位の商品です。ペーパーバック です。高さは86cm。長さは823cmです。また、重さは90kgです 。厚さは541cmです 。
[Amazon.co.jp: Mathematical Logic, Revised Edition: W. V. Quine: 洋書 ... logic differs from the traditional formal logic so ...]
Book (1981-04-15) 　ASIN: 0674554515 　通常2～3週間以内に発送
価格(新品) : ￥ 3,204 　ユーズド : ￥ 2,162 　[ 定価 ￥ 2,830 ]

この作品を書いたのはWilfred Hodgesさんです 。Wilfred Hodgesさんはクリエーターとしても参加しています 。Penguin Global が出しています。製造元はPenguin Globalです 。出版社はPenguin Globalです。発売元はPenguin Globalです 。アマゾンでの売り上げランキングが81295 位の商品です。ペーパーバック です。高さは71cm。長さは772cmです。また、重さは49kgです 。厚さは480cmです 。関連する商品としてFirst-Order Logicが売られています。
[Logic: Second Edition. ¥ 1,461. 42%のカスタマーが. Logic: A Very Short Introduction (Very Short Introductions)を購入しています 5つ星のうち 4.0 (2) ...]
Book (2005-12-28) 　ASIN: 0141003146 　通常1～3週間以内に発送
価格(新品) : ￥ 1,053 　ユーズド : ￥ 1,899 　[ 定価 ￥ 1,618 ]

この作品を書いたのはIan Hackingさんです 。Ian Hackingさんはクリエーターとしても参加しています 。Cambridge University Press が出しています。製造元はCambridge University Pressです 。出版社はCambridge University Pressです。発売元はCambridge University Pressです 。アマゾンでの売り上げランキングが121900 位の商品です。ペーパーバック です。高さは71cm。長さは992cmです。また、重さは154kgです 。厚さは701cmです 。関連する商品としてThe Emergence of Probability: A Philosophical Study of Early Ideas about Probability, Induction and Statistical Inference (Cambridge Series on Statistical and Probabilistic Mathematics)が売られています。
[... and assumes no formal training in elementary symbolic logic. ... (The Logic of Statistical Inference, Why Does ...]
Book (2001-07-02) 　ASIN: 0521775019 　通常1～3週間以内に発送
価格(新品) : ￥ 3,214 　ユーズド : ￥ 2,100 　[ 定価 ￥ 2,952 ]