{"product_id":"9788449013843","title":"Lÿgica computacional","description":"\u003ch2\u003eLÿgica computacional\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl 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.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProgramación lógica con ProLog: sintaxis, semántica y resolución de problemas.\u003c\/li\u003e\n\u003cli\u003eCálculos formales: sistemas deductivos y reglas de inferencia.\u003c\/li\u003e\n\u003cli\u003eSemántica de la lógica de primer orden: interpretación y modelos.\u003c\/li\u003e\n\u003cli\u003eCálculo por resolución: algoritmo de unificación y estrategias de búsqueda.\u003c\/li\u003e\n\u003cli\u003eEjercicios prácticos de programación lógica y demostración automática.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEstá 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.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base sólida en los fundamentos lógicos de la programación.\u003c\/li\u003e\n\u003cli\u003eFacilita el aprendizaje práctico de ProLog mediante ejercicios resueltos y propuestos.\u003c\/li\u003e\n\u003cli\u003eOfrece una visión integrada de la teoría y la práctica de la lógica computacional.\u003c\/li\u003e\n\u003cli\u003eAyuda a comprender el cálculo por resolución como motor de inferencia.\u003c\/li\u003e\n\u003cli\u003eSirve como material de estudio y consulta para preparar exámenes universitarios.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e Binefa Valls; Xavier\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Servei de Publicacions de la Universitat Autònoma\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Catalán\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eColección:\u003c\/strong\u003e MATERIALS\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEncuadernación:\u003c\/strong\u003e Otros\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFecha de edición:\u003c\/strong\u003e 1998\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 123\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eDimensiones:\u003c\/strong\u003e 280.0 x 195.0\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 407.0\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe 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.\u003c\/p\u003e","brand":"SERVEI DE PUBLICACIONS DE LA UNIVERSITAT AUTÒNOMA","offers":[{"title":"Default Title","offer_id":53608210202971,"sku":"9788449013843","price":9.01,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978844901384.jpg?v=1784217397","url":"https:\/\/kalamobooks.com\/products\/9788449013843","provider":"Kalamo Books","version":"1.0","type":"link"}