{"product_id":"9788476327517","title":"LOGICA PER REPRESENTAR EL CONEIXEMENT","description":"\u003ch2\u003eLOGICA PER REPRESENTAR EL CONEIXEMENT\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEsta obra ofrece una introducción sistemática a la lógica formal aplicada a la representación del conocimiento, dirigida especialmente a estudiantes de informática. El autor, Carles García Amengual, aborda las reglas del lenguaje científico para distinguir inconsistencias en el razonamiento humano, habitualmente basado en la intuición o la experiencia. El libro recorre la lógica básica, de proposiciones y de predicados, utilizando un enfoque repetitivo y didáctico. Se apoya en los fundamentos establecidos por lógicos del siglo XX como Frege, Russell y Tarski, ofreciendo una base sólida para el análisis semántico del conocimiento.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eEl libro se centra en cómo representar y valorar semánticamente el conocimiento utilizando las reglas de la lógica científica. Parte de la premisa de que el razonamiento humano cotidiano está lleno de ambigüedades y no sigue estrictamente las leyes lógicas. Para superar esta limitación, la obra desarrolla de forma paralela y progresiva tres bloques fundamentales: la lógica básica, la lógica de proposiciones y la lógica de predicados. Cada sección está diseñada para ser imprescindible para la siguiente, creando un camino de aprendizaje estructurado. El tratamiento es expresamente repetitivo para facilitar la asimilación de conceptos complejos, siempre con el objetivo de capacitar al lector para detectar y corregir inconsistencias en los razonamientos.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eLógica de proposiciones: análisis de conectivas, tablas de verdad y deducción.\u003c\/li\u003e\n\u003cli\u003eLógica de predicados: cuantificadores, formalización de enunciados y razonamiento.\u003c\/li\u003e\n\u003cli\u003eRepresentación semántica del conocimiento: métodos para valorar formalmente la información.\u003c\/li\u003e\n\u003cli\u003eDetección de inconsistencias: identificación de fallos en argumentos y razonamientos.\u003c\/li\u003e\n\u003cli\u003eFundamentos del lenguaje científico: aplicación de la lógica aristotélica y las contribuciones de Frege, Russell y Tarski.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está recomendado principalmente para estudiantes universitarios de Informática de Sistemas e Informática de Gestión que necesiten comprender los fundamentos lógicos para la representación del conocimiento. También es útil para cualquier persona interesada en la lógica formal, la epistemología o la teoría del conocimiento que busque una introducción sistemática y práctica a estas disciplinas. El enfoque didáctico y repetitivo lo hace accesible incluso para quienes se enfrentan por primera vez a conceptos lógicos avanzados.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base sólida en lógica formal aplicada a la representación del conocimiento.\u003c\/li\u003e\n\u003cli\u003eAyuda a desarrollar la capacidad de detectar y corregir inconsistencias en el razonamiento.\u003c\/li\u003e\n\u003cli\u003eOfrece un enfoque didáctico y repetitivo que facilita el aprendizaje progresivo.\u003c\/li\u003e\n\u003cli\u003eConecta los fundamentos clásicos de la lógica con aplicaciones modernas en informática.\u003c\/li\u003e\n\u003cli\u003ePrepara al lector para abordar problemas de representación semántica y análisis formal.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: GARCIA AMENGUAL; CARLES\u003c\/li\u003e\n\u003cli\u003eEditorial: Edicions UIB\u003c\/li\u003e\n\u003cli\u003eIdioma: Catalán\u003c\/li\u003e\n\u003cli\u003eTema: FILOSOFIA: EPISTEMOLOGIA Y TEORIA DEL CONOCIMIENTO, FILOSOFIA: LOGICA\u003c\/li\u003e\n\u003cli\u003eColección: MATERIALS DIDACTICS\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Bolsillo\u003c\/li\u003e\n\u003cli\u003eFecha de edición: 2002\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 167\u003c\/li\u003e\n\u003cli\u003eDimensiones: 240 x 170 mm\u003c\/li\u003e\n\u003cli\u003ePeso: 370 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe trata de un manual didáctico bien estructurado que cumple su objetivo de introducir la lógica formal desde una perspectiva aplicada a la representación del conocimiento. Su enfoque repetitivo y progresivo lo convierte en una herramienta útil para estudiantes que necesitan asimilar conceptos complejos de forma gradual. La referencia a los lógicos del siglo XX aporta rigor histórico y teórico, mientras que su orientación hacia la informática lo hace especialmente relevante para quienes trabajan en sistemas de gestión o inteligencia artificial. Es una obra recomendable para quienes buscan una base sólida y accesible en esta materia.\u003c\/p\u003e","brand":"EDICIONS UIB","offers":[{"title":"Default Title","offer_id":53609237610843,"sku":"9788476327517","price":8.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978847632751.jpg?v=1784221215","url":"https:\/\/kalamobooks.com\/products\/9788476327517","provider":"Kalamo Books","version":"1.0","type":"link"}