Cargando…
Principles of logic and logic programming /
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 comp...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1996.
|
| Colección: | Studies in computer science and artificial intelligence ;
13. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162130783 | ||
| 003 | OCoLC | ||
| 005 | 20231117014842.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 070802s1996 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCG |d OPELS |d OCLCQ |d E7B |d N$T |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d YDXCP |d OCLCQ |d DEBSZ |d D6H |d LEAUB |d OL$ |d VLY |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 646767415 |a 1162050684 | ||
| 020 | |a 9780080539645 |q (electronic bk.) | ||
| 020 | |a 0080539645 |q (electronic bk.) | ||
| 020 | |a 9780444816443 |q (electronic bk.) | ||
| 020 | |a 0444816445 |q (electronic bk.) | ||
| 020 | |a 9786613272751 | ||
| 020 | |a 6613272752 | ||
| 035 | |a (OCoLC)162130783 |z (OCoLC)646767415 |z (OCoLC)1162050684 | ||
| 050 | 4 | |a QA76.63 |b .M473 1996eb | |
| 072 | 7 | |a COM |x 051010 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.13/1 |2 22 |
| 100 | 1 | |a Metakides, George, |d 1945- | |
| 245 | 1 | 0 | |a Principles of logic and logic programming / |c G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 1996. | ||
| 300 | |a 1 online resource (xiii, 329 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in computer science and artificial intelligence ; |v 13 | |
| 520 | |a 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. | ||
| 504 | |a Includes bibliographical references (pages 311-317) and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Principles of Logic and Logic Programming; Copyright Page; Foreword; Contents; Chapter I. Propositional Logic; 1.1. Introduction; 1.2. The Language of Propositional Logic; 1.3. Semantic Concepts in Propositional Logic; 1.4. Truth Tables; 1.5. Consequences and Interpretations; 1.6. Adequacy of Logical Connectives -- Normal Forms; 1.7. Semantic Tableaux; 1.8. Axiomatic Proofs; 1.9. Resolution; 1.10. Soundness and Completeness of Tableaux; 1.11. Deductions from Assumptions; 1.12. Soundness and Completeness of Axiomatic Proofs; 1.13. Soundness and Completeness of Resolution | |
| 505 | 8 | |a 1.14. ExercisesChapter II. Predicate Logic; 2.1. Introduction; 2.2. The Language of Predicate Logic; 2.3. Axiomatic Foundation of Predicate Logic; 2.4. Notation in Logic Programming; 2.5. Interpretations of Predicate Logic; 2.6. Normal Forms in Predicate Logic; 2.7. Herbrand Interpretations; 2.8. Proofs with Systematic Tableaux; 2.9. Unification and Resolution in PrL; 2.10. Soundness and Completeness of PrL Proofs; 2.11. Decision Methods in Logic; 2.12. Exercises; Chapter III. Logic Programming: The PROLOG Paradigm; 3.1. PROLOG and Logic Programming; 3.2. Program Structure | |
| 505 | 8 | |a 3.3. Syntax of Data3.4. Operation Mechanism; 3.5. Built-in Predicates; 3.6. Negation in PROLOG; 3.7. Expert Systems; 3.8. The Evolution of Logic Programming; 3.9. PROLOG and Predicate Logic; 3.10. Exercises; Bibliography; Index of Symbols; Index of Terms | |
| 546 | |a English. | ||
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Programmation logique. |0 (CaQQLa)201-0153965 | |
| 650 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Logic programming |2 fast |0 (OCoLC)fst01002056 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 1 | 7 | |a Logisch programmeren. |2 gtt |
| 700 | 1 | |a Nerode, Anil, |d 1932- | |
| 700 | 1 | |a Sinachopoulos, A. |q (Aneta) | |
| 776 | 0 | |z 0444816445 | |
| 830 | 0 | |a Studies in computer science and artificial intelligence ; |v 13. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444816443 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/09243542/13 |z Texto completo |