{"product_id":"9788445446270","title":"LOGICA FORMAL Y NO FORMAL","description":"\u003ch2\u003eLOGICA FORMAL Y NO FORMAL\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste manual está diseñado para estudiantes de Ingeniería Informática que necesitan dominar los fundamentos de la lógica desde un enfoque práctico y aplicado. La obra combina el estudio de la lógica formal, centrada en la sintaxis y semántica de los lenguajes lógicos, con la lógica no formal, abordando aspectos más subjetivos y cotidianos del razonamiento. A través de nueve capítulos, el lector encontrará teoría esencial, ejemplos y ejercicios que fomentan la práctica y el pensamiento crítico. Escrito por una doctora en Ingeniería Informática con amplia experiencia docente, el libro ofrece una visión completa de cómo la lógica se aplica en el ámbito de la informática, ayudando al estudiante a formalizar problemas y mejorar sus habilidades de razonamiento.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa obra desarrolla de manera progresiva los conceptos clave de la lógica, dividiéndose en dos grandes bloques. En los primeros capítulos se explora la lógica formal, analizando su estructura sintáctica (cómo se construyen las expresiones lógicas) y su semántica (cómo se interpretan y evalúan). Los capítulos finales se centran en la lógica no formal, ofreciendo un enfoque práctico para abordar razonamientos que no siguen un esquema estrictamente matemático, a menudo considerados más subjetivos. Cada capítulo incluye la teoría fundamental y una serie de ejercicios propuestos para incentivar la práctica y la curiosidad del lector. El texto también proporciona una visión completa de las aplicaciones de la lógica en el campo de la informática, conectando los conceptos teóricos con su uso real en sistemas, inteligencia artificial y gestión del conocimiento.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eFundamentos de lógica formal: sintaxis y semántica de lenguajes lógicos.\u003c\/li\u003e\n\u003cli\u003eLógica no formal: razonamiento cotidiano y subjetivo.\u003c\/li\u003e\n\u003cli\u003eAplicaciones de la lógica en ingeniería informática, inteligencia artificial y gestión del conocimiento.\u003c\/li\u003e\n\u003cli\u003eFormalización de problemas y desarrollo de habilidades de razonamiento crítico.\u003c\/li\u003e\n\u003cli\u003ePráctica mediante ejercicios propuestos para consolidar la teoría.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste libro está dirigido principalmente a estudiantes del grado de Ingeniería Informática que buscan una base sólida en lógica, tanto formal como aplicada. También es útil para profesionales del sector informático que deseen reforzar sus conocimientos en razonamiento lógico y su implementación en sistemas, así como para cualquier persona interesada en comprender los principios del pensamiento estructurado y la formalización de problemas.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base teórica y práctica completa sobre lógica formal y no formal, adaptada al ámbito informático.\u003c\/li\u003e\n\u003cli\u003eAyuda a desarrollar habilidades de aprendizaje, razonamiento y formalización correcta de problemas.\u003c\/li\u003e\n\u003cli\u003eIncluye ejercicios al final de cada capítulo para fomentar la práctica y la comprensión activa.\u003c\/li\u003e\n\u003cli\u003eOfrece una visión aplicada de la lógica en áreas como inteligencia artificial, sistemas y gestión del conocimiento.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: MARTINEZ REY, AURORA\u003c\/li\u003e\n\u003cli\u003eEditorial: CEF\u003c\/li\u003e\n\u003cli\u003eIdioma: Español\u003c\/li\u003e\n\u003cli\u003eTema: INFORMATICA: CUESTIONES GENERALES\u003c\/li\u003e\n\u003cli\u003eColección: FONDO\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Otros\u003c\/li\u003e\n\u003cli\u003eFecha de edición: septiembre de 2023\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 312\u003c\/li\u003e\n\u003cli\u003ePeso: 500 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEste manual destaca por su enfoque didáctico y estructurado, ideal para quienes se inician en el estudio de la lógica aplicada a la informática. La combinación de teoría, ejercicios prácticos y aplicaciones reales lo convierte en un recurso valioso tanto para estudiantes como para profesionales. La experiencia docente de la autora se refleja en la claridad de los contenidos y en la progresión lógica de los temas, facilitando la asimilación de conceptos complejos. Es una obra recomendable para adquirir competencias fundamentales en razonamiento y formalización, esenciales en el ámbito de la ingeniería informática.\u003c\/p\u003e","brand":"CEF","offers":[{"title":"Default Title","offer_id":53437263577435,"sku":"9788445446270","price":42.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978844544627.jpg?v=1782340958","url":"https:\/\/kalamobooks.com\/products\/9788445446270","provider":"Kalamo Books","version":"1.0","type":"link"}