Opening book details…
Can I read Logic for Computer Science and Artificial Intelligence: Caferra/Logic for Computer Science and Artificial Intelligence on EtoBox?
Logic for Computer Science and Artificial Intelligence: Caferra/Logic for Computer Science and Artificial Intelligence by Ricardo Caferra(auth.) is a nonfiction available to read on EtoBox.
What is Logic for Computer Science and Artificial Intelligence: Caferra/Logic for Computer Science and Artificial Intelligence about?
<p>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.<br> 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 t
Who reads Logic for Computer Science and Artificial Intelligence: Caferra/Logic for Computer Science and Artificial Intelligence?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Ricardo Caferra(auth.)
- Publisher
- ISTE Ltd and John Wiley & Sons Inc
- Published
- 2011
- Language
- EN
- ISBN
- 9781848213012
- Category
- nonfiction
- Subjects
- Engineering, Computer Science, Stem
Other editions & translations
More by Ricardo Caferra(auth.)
Browse all works by Ricardo Caferra(auth.)
Similar books
- Logic for Computer Science and Artificial Intelligence — Ricardo Caferra, 1945- (2011)
- Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS)) — Uwe Schöning (auth.) (2008)
- Artificial Intelligence In Logic Design (the Springer International Series In Engineering And Computer Science) — Svetlana N. Yanushkevich (auth.) (2004)
- Introduction to Artificial Intelligence (Undergraduate Topics in Computer Science) — Wolfgang Ertel; Nathanael Black; Florian Mast (2017)
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming (Handbook of Logic in Artificial Intelligence and Logic Programming) — edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson. Vol. 2, Deduction methodologies / volume coordinator, J. Siekmann (1998)
- Principles of Logic and Logic Programming (Volume 13) (Studies in Computer Science and Artificial Intelligence, Volume 13) — G. Metakides and A. Nerode (1996)
