Principles of Logic and Logic Programming
Principles of Logic and Logic Programming
By:George Metakides,Anil Nerode
Published on 1996 by Elsevier
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 by those who utilize Logic Programming without having any particular theoretical background knowledge of Logic, or by those simply interested in Logic and its applications in Logic Programming.
This Book was ranked at 30 by Google Books for keyword computers.
Book ID of Principles of Logic and Logic Programming's Books is qx1s_iy5j7sC, Book which was written byGeorge Metakides,Anil Nerodehave ETAG "hLdvz8JLAms"
Book which was published by Elsevier since 1996 have ISBNs, ISBN 13 Code is 9780444816443 and ISBN 10 Code is 0444816445
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "329 Pages" is Printed at BOOK under CategoryComputers
This Book was rated by Raters and have average rate at ""
This eBook Maturity (Adult Book) status is NOT_MATURE
Book was written in en
eBook Version Availability Status at PDF is falseand in ePub is false