𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Computer Science and Artificial Intelligence

✍ Scribed by Panel on Computer Science and Artificial Intelligence, National Research Council


Publisher
National Academies Press
Year
1997
Tongue
English
Leaves
30
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Logic for Computer Science and Artificia
✍ Ricardo Caferra(auth.) πŸ“‚ Library 🌐 English

Content: <br>Chapter 1 Introduction (pages 1–6): <br>Chapter 2 A Few Thoughts Before the Formalization (pages 7–37): <br>Chapter 3 Propositional Logic (pages 39–119): <br>Chapter 4 First?order Terms (pages 121–130): <br>Chapter 5 First?Order Logic (FOL) or Predicate Logic (PL1, PC1) (pages 131–211):

Logic for Computer Science and Artificia
✍ Ricardo Caferra πŸ“‚ Library πŸ“… 2011 πŸ› Wiley-ISTE 🌐 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 proble

Logic for computer science and artificia
✍ Caferra, Ricardo πŸ“‚ Library πŸ“… 2011 πŸ› ISTE, Wiley 🌐 English

This book 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 clea

Logic for computer science and artificia
✍ Caferra, Ricardo πŸ“‚ Library πŸ“… 2011 πŸ› ISTE, Wiley 🌐 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 proble

Artificial intelligence: Problems and th
✍ Danny Kopec, Shweta Shetty, Christopher Pileggi πŸ“‚ Library πŸ“… 2014 πŸ› Mercury Learning & Information 🌐 English

This book lends insight into solving some well-known Al problems using the most efficient methods by humans and computers. The book discusses the importance of developing critical-thinking methods and skills, and develops a consistent approach toward each problem: a precise description of a well-kno

Logics for Computer and Data Sciences, a
✍ Lech T. Polkowski πŸ“‚ Library πŸ“… 2021 πŸ› Springer 🌐 English

<span><p>This volume offers the reader aΒ  systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. AddressedΒ  in it areΒ  propositional, predicate, modal, epistemic,Β  dynamic, temporal logics as well as applicable in data scie