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 This Is Ethics by Ricardo Caferra
Cover of the book White, Male and Middle Class by Ricardo Caferra
Cover of the book The Will of the People by Ricardo Caferra
Cover of the book Photochemically-Generated Intermediates in Synthesis by Ricardo Caferra
Cover of the book The LIVING Supply Chain by Ricardo Caferra
Cover of the book The Handbook of Juvenile Delinquency and Juvenile Justice by Ricardo Caferra
Cover of the book Samsung Galaxy S7 For Dummies by Ricardo Caferra
Cover of the book The Handbook for Student Leadership Development by Ricardo Caferra
Cover of the book Qualitative Research in Practice by Ricardo Caferra
Cover of the book ABC of Transfer and Retrieval Medicine by Ricardo Caferra
Cover of the book Philosophy and the Study of Religions by Ricardo Caferra
Cover of the book 7 Steps to Accelerated Wealth by Ricardo Caferra
Cover of the book Wedding Etiquette For Dummies by Ricardo Caferra
Cover of the book How to Have a Great Life by Ricardo Caferra
Cover of the book From GSM to LTE-Advanced Pro and 5G 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