Descripción
Lÿgica computacional
Resumen del libro
Este manual recoge el contenido de las clases de lógica computacional impartidas por el autor en la carrera de Ingeniería Informática. La obra ofrece un estudio profundo de ProLog y la programación lógica, para luego analizar las bases lógicas que las sustentan, incluyendo cálculos formales, semántica y cálculo por resolución. El lector encontrará numerosos ejercicios tipo tanto de ProLog como de lógica, diseñados para afianzar los conceptos teóricos y prácticos de la materia.
¿De qué trata?
El libro se estructura en dos partes complementarias. En la primera, se realiza un estudio exhaustivo de ProLog y la programación lógica, abordando sus fundamentos y aplicaciones. En la segunda, se profundiza en las bases lógicas que subyacen a este paradigma: se explican los cálculos formales, la semántica y, de manera especial, el cálculo por resolución. Todo ello se complementa con una amplia colección de ejercicios prácticos que permiten al estudiante aplicar y consolidar los conocimientos adquiridos.
Temas principales
- Programación lógica con ProLog: sintaxis, semántica y resolución de problemas.
- Cálculos formales: sistemas deductivos y reglas de inferencia.
- Semántica de la lógica de primer orden: interpretación y modelos.
- Cálculo por resolución: algoritmo de unificación y estrategias de búsqueda.
- Ejercicios prácticos de programación lógica y demostración automática.
¿Para quién está recomendado?
Está dirigido a estudiantes universitarios de Ingeniería Informática o titulaciones afines que cursen asignaturas de lógica computacional, programación lógica o inteligencia artificial. También resulta útil para profesionales que deseen profundizar en los fundamentos teóricos de ProLog y la resolución automática de problemas.
Qué aporta este libro
- Proporciona una base sólida en los fundamentos lógicos de la programación.
- Facilita el aprendizaje práctico de ProLog mediante ejercicios resueltos y propuestos.
- Ofrece una visión integrada de la teoría y la práctica de la lógica computacional.
- Ayuda a comprender el cálculo por resolución como motor de inferencia.
- Sirve como material de estudio y consulta para preparar exámenes universitarios.
Ficha técnica
- Autor: Binefa Valls; Xavier
- Editorial: Servei de Publicacions de la Universitat Autònoma
- Idioma: Catalán
- Colección: MATERIALS
- Encuadernación: Otros
- Fecha de edición: 1998
- Número de páginas: 123
- Dimensiones: 280.0 x 195.0
- Peso: 407.0
Valoración editorial
Se trata de un manual universitario clásico que aborda con rigor y claridad los fundamentos de la lógica computacional. Su enfoque didáctico, combinando teoría con ejercicios prácticos, lo convierte en un recurso valioso para estudiantes que necesitan dominar ProLog y sus bases lógicas. Aunque su fecha de edición es de 1998, los contenidos teóricos siguen siendo pertinentes para quienes buscan una comprensión profunda de la programación lógica.