ebooks and download videos Search All  Title  Author 
Home / Nonfiction / Mathematics

Computational Logic

| £224.97 | €253.01 | Ca$364.99 | Au$360.20
by Dov M. Gabbay
What is this?DRM-PDF | by download   add to wish list
Computational Logic by Dov M. Gabbay

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.

  • Chapters by leading authorities in the field
  • Provides a forum where philosophers and scientists interact
  • Comprehensive reference source on the history of logic
  • To view this DRM protected ebook on your desktop or laptop you will need to have Adobe Digital Editions installed. It is a free software. We also strongly recommend that you sign up for an AdobeID at the Adobe website. For more details please see FAQ 1&2. To view this ebook on an iPhone, iPad or Android mobile device you will need the Adobe Digital Editions app, or BlueFire Reader or Txtr app. These are free, too. For more details see this article.

    SHARE  Share by Email  Share on Facebook  Share on Twitter  Share on Linked In  Share on Delicious
    or call in the US toll free 1-888-866-9150 product ID: 661727

    Ebook Details
    Pages: 736
    Size: 6.6 MB
    Publisher: North Holland
    Date published:   2014
    ISBN: 9780080930671 (DRM-PDF)

    DRM Settings
    Read Aloud:  not allowed

This product is listed in the following category:

Nonfiction > Mathematics

This author has products in the following categories:

Nonfiction > Philosophy > Logic
Nonfiction > Mathematics > Logic
Nonfiction > Mathematics
Nonfiction > Computers > Internet > Web Site Design
Nonfiction > Mathematics > History & Philosophy
Nonfiction > Language Arts & Disciplines > Linguistics
Nonfiction > Social Science > Sociology
Nonfiction > Social Science > Anthropology
Nonfiction > Computers > Artificial Intelligence
Nonfiction > Psychology > Cognitive Psychology
Nonfiction > Computers > Computer Science
Nonfiction > Computers > Neural Networks

If you find anything wrong with this product listing, perhaps the description is wrong, the author is incorrect, or it is listed in the wrong category, then please contact us. We will promptly address your feedback.

Submit 5 page SummaryWhat is this?

© 2016