Logic for Computer Science and Artificial Intelligence

Nonfiction, Science & Nature, Technology, Electronics
Cover of the book Logic for Computer Science and Artificial Intelligence by Ricardo Caferra, Wiley
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Ricardo Caferra ISBN: 9781118604267
Publisher: Wiley Publication: February 4, 2013
Imprint: Wiley-ISTE Language: English
Author: Ricardo Caferra
ISBN: 9781118604267
Publisher: Wiley
Publication: February 4, 2013
Imprint: Wiley-ISTE
Language: English

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the translation method is detailed.
Logic for Computer Science and Artificial Intelligence is the classroom-tested result of several years of teaching at Grenoble INP (Ensimag). It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, but is also highly suitable for use in traditional courses. The reader is guided by clearly motivated concepts, introductions, historical remarks, side notes concerning connections with other disciplines, and numerous exercises, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, allowing for the design of algorithms to solve problems.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the translation method is detailed.
Logic for Computer Science and Artificial Intelligence is the classroom-tested result of several years of teaching at Grenoble INP (Ensimag). It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, but is also highly suitable for use in traditional courses. The reader is guided by clearly motivated concepts, introductions, historical remarks, side notes concerning connections with other disciplines, and numerous exercises, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, allowing for the design of algorithms to solve problems.

More books from Wiley

Cover of the book Meat Inspection and Control in the Slaughterhouse by Ricardo Caferra
Cover of the book The Brave New World of Work by Ricardo Caferra
Cover of the book Concise Encyclopaedia of Bioinformatics and Computational Biology by Ricardo Caferra
Cover of the book Design, Evaluation, and Translation of Nursing Interventions by Ricardo Caferra
Cover of the book College Admission Essays For Dummies by Ricardo Caferra
Cover of the book Molecular Tools for the Detection and Quantification of Toxigenic Cyanobacteria by Ricardo Caferra
Cover of the book iOS App Development For Dummies by Ricardo Caferra
Cover of the book Biofuels from Lignocellulosic Biomass by Ricardo Caferra
Cover of the book Ultimate Limit State Analysis and Design of Plated Structures by Ricardo Caferra
Cover of the book Filing and Winning Small Claims For Dummies by Ricardo Caferra
Cover of the book High Probability Trading Strategies by Ricardo Caferra
Cover of the book Theology and Religion by Ricardo Caferra
Cover of the book The Three Skills of Top Trading by Ricardo Caferra
Cover of the book The Language of Mathematics by Ricardo Caferra
Cover of the book Understanding IFRS Fundamentals by Ricardo Caferra
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy