9781848213012

Logic for Computer Science and Artificial Intelligence

  • ISBN 13:

    9781848213012

  • ISBN 10:

    1848213018

  • Format: Hardcover
  • Copyright: 08/15/2011
  • Publisher: Iste/Hermes Science Pub

Note: Not guaranteed to come with supplemental materials (access cards, study guides, lab manuals, CDs, etc.)

Extend Your Rental at Any Time

Need to keep your rental past your due date? At any time before your due date you can extend or purchase your rental through your account.

Rental Options

List Price $219.00 Save

Free Shipping Free Shipping On Every Order
Usually Ships in 3-4 Business Days

Summary

This book is the result of several years of teaching experience at Grenoble INP (Ensimag). It is essentially self-instruction oriented, but of course can be used in traditional courses. Logic (propositional, first-order, and non-classical) plays a key role in Computer Science and Artificial Intelligence. A huge amount of information exists in different supports (such as books, articles, and web pages), but to avoid becoming lost in these references, the beginner needs a unified, synthetic approach. Such an approach is followed throughout the book, which surveys tableaux, resolution, Davis and Putnam methods, and logic programming along with unification and subsumption. For non-classical logics, the translation method is privileged. Numerous historical remarks and digressions concerning connections with other domains, as well as a plethora of exercises including detailed solutions, will accompany the reader in his learning.

Author Biography

Read more

Table of Contents

Read more

Write a Review