Logic for Problem Solving

Front Cover
Ediciones Díaz de Santos, 1979 - Computer programming - 287 pages
0 Reviews
Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Prólogo
1
Introducción
7
Presentación de definiciones analítica y sintética
15
Universo del discurso e interpretaciones
22
La semántica de conclusiones alternativas
28
Representación en forma clausal
35
Procedimientos de prueba analíticos y sintéticos para
71
Inferencia analítica
78
Sustitución y emparejamiento
97
Resolución de problemas con cláusulas de Horn
105
Formalización de la demostrabilidad
313
Lógica cambio y contradicción
333
Referencias edición original
347
Referencias suplemento a la edición española
367
Glosario español inglés
373
Glosario inglés español
393

Reglas de inferencia y estrategias de búsqueda
85
los números
91

Other editions - View all

Common terms and phrases

Popular passages

Page 347 - Bergman, M. and Kanoui, H. (1973). Application of mechanical theorem proving to symbolic calculus. Third International Symposium on Advanced Computing Methods in Theoretical Physics, CNRS, Marseille.
Page 371 - A Fact Dependency System for the Logic Programmer", Computer Aided Design 15, (4), (July 1983), pp.

References to this book

All Book Search results »

About the author (1979)

Robert Kowalski is Emeritus Professor and Research Investigator in the Department of Computing at Imperial College London. He recently received the IJCAI 2011 Award for Research Excellence for his contributions to logic for knowledge representation and problem solving, including his pioneering work on automated theorem proving and logic programming.

Bibliographic information