Opening book details…
Can I read Principles of Logic and Logic Programming (Volume 13) (Studies in Computer Science and Artificial Intelligence, Volume 13) on EtoBox?
Principles of Logic and Logic Programming (Volume 13) (Studies in Computer Science and Artificial Intelligence, Volume 13) by G. Metakides and A. Nerode (Eds.) is a nonfiction available to read on EtoBox.
What is Principles of Logic and Logic Programming (Volume 13) (Studies in Computer Science and Artificial Intelligence, Volume 13) about?
Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first arithmetical computation programs, and the first programs created to answer elementary questions and prove simple theorems, were written simultaneously. The basic steps towards a general method based on Logic, were accomplished in 1965 by Robinson and later by Kowalski and Colmerauer who made use of Logic directly as a Logic Programming language. Each chapter includes solved as well as unsolved exercises provided to help the reader assimilate the corresponding topics. The solved exercises demonstrate how to work methodically, whereas the unsolved exercises aim to stimulate the reader's personal initiative. The contents of the book are self-contained; only an elementary knowledge of analysis is required. Thus, it can be used by students in every academic year, as simply reading material, or in the context of a course. It can also be used
Who reads Principles of Logic and Logic Programming (Volume 13) (Studies in Computer Science and Artificial Intelligence, Volume 13)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- G. Metakides and A. Nerode (Eds.)
- Publisher
- Amsterdam [u.a.] Elsevier
- Published
- 1996
- Language
- EN
- ISBN
- 9780444816443
- Category
- nonfiction
- Subjects
- Computer Science, Language Learning, Mathematics
More by G. Metakides and A. Nerode (Eds.)
Browse all works by G. Metakides and A. Nerode (Eds.)
Similar books
- Logic for Computer Science and Artificial Intelligence: Caferra/Logic for Computer Science and Artificial Intelligence — Ricardo Caferra(auth.) (2011)
- Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations — Dov M. Gabbay, Christopher John Hogger, J.A. Robinson, C. J. Hogger, J. A. (1993)
- Introduction to Logic Programming (Synthesis Lectures on Artificial Intelligence and Machine Learning) — Michael Genesereth, Vinay K. Chaudhri, Ronald Brachman, Francesca Rossi, Peter Stone (2020)
- Logic Programming and Its Applications (Ablex Series in Artificial Intelligence, Vol 2) — Michel van Caneghem; International Conference on Logic Programming (1986)
- Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Handbook of Logic in Computer Science) — Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (1994)
- 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)