論理学史ハンドブック(全11巻)第9巻<br>Computational Logic (Handbook of the History of Logic)

個数:

論理学史ハンドブック(全11巻)第9巻
Computational Logic (Handbook of the History of Logic)

  • 在庫がございません。海外の書籍取次会社を通じて出版社等からお取り寄せいたします。
    通常6~9週間ほどで発送の見込みですが、商品によってはさらに時間がかかることもございます。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合がございます。
    2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
    3. 美品のご指定は承りかねます。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版/ページ数 736 p.
  • 言語 ENG
  • 商品コード 9780444516244
  • DDC分類 006.3

Full Description

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated.

Logical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: "Calculemus”. The Dartmouth Conference in 1956 - generally considered as the birthplace of artificial intelligence - raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications.

Contents

INTRODUCTION
1. Computational Logic, Jörg Siekmann
2. Logic and the Development of the Computer, Martin Davis
GENERAL
3. What is a Logical System? An Evolutionary View: 1964-2014, Dov Gabbay
AUTOMATED REASONING
4. Interactive Theorem Proving, John R. Harrison, Josef Urban, Frederik Wiedijk
5. Automation of Higher Order Logic, Christoph Benzmüller, Dale Miller
6. Equational Logics and Rewriting, Claude Kirchner, Helene Kirchner
7. Possibilistic Logic  An Overview, Didier Dubois, Henri Prade
8. Computerizing Mathematical Text, Fairouz Kamareddine, Joe Wells, Christoph Zengler and Henk Barendregt
SPECIFICATION and VERIFICATION
9. Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi, Jos Baeten, Davide Sangiorgi
10. Logical Synthesis of Reactive Systems - from Church's Problem to Modern Applications, Bernd Finkbeiner
COMPUTER SCIENCE
11. Degrees of Unsolvability, Klaus Ambos-Spies, Peter A. Fejer
12. Computational Complexity, Lance Fortnow, Steven Homer
13. Logic Programming, Bob Kowalski
14. Logic and Databases, Jack Minker, Dietmar Seipel, Carlo Zaniolo
15. Logics for Intelligent Agents and Multi Agent Systems, John-Jules Meyer
16. Description Logics, Matthias Knorr, Pascal Hitzler
17. Logics for the Semantic Web, Pascal Hitzler, Jens Lehmann, Axel Polleres

最近チェックした商品