for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to eBooks.com?

Learn more

Logic for Computer Science and Artificial Intelligence

Logic for Computer Science and Artificial Intelligence by Ricardo Caferra
Add to cart
US$ 205.00
(If any tax is payable it will be calculated and shown at checkout.)
Logic and its components (propositional, first-order,non-classical) play a key role in Computer Science and ArtificialIntelligence. While a large amount of information exists scatteredthroughout various media (books, journal articles, webpages, etc.),the diffuse nature of these sources is problematic and logic as atopic benefits from a unified approach. Logic for Computer Scienceand Artificial Intelligence utilizes this format, surveying thetableaux, resolution, Davis and Putnam methods, logic programming,as well as for example unification and subsumption. Fornon-classical logics, the translation method is detailed.
Logic for Computer Science and Artificial Intelligence is theclassroom-tested result of several years of teaching at GrenobleINP (Ensimag). It is conceived to allow self-instruction for abeginner with basic knowledge in Mathematics and Computer Science,but is also highly suitable for use in traditional courses. Thereader is guided by clearly motivated concepts, introductions,historical remarks, side notes concerning connections with otherdisciplines, and numerous exercises, complete with detailedsolutions, The title provides the reader with the tools needed toarrive naturally at practical implementations of the concepts andtechniques discussed, allowing for the design of algorithms tosolve problems.
Wiley; February 2013
ISBN 9781118604267
Read online, or download in secure EPUB or secure PDF format
Title: Logic for Computer Science and Artificial Intelligence
Author: Ricardo Caferra
 
Buy, download and read Logic for Computer Science and Artificial Intelligence (eBook) by Ricardo Caferra today!