Descripción
Lógica formal y no formal
Resumen del libro
Este manual ofrece una introducción completa a los conceptos fundamentales de la lógica, tanto formal como no formal, con un enfoque práctico orientado a la informática. Diseñado especialmente para estudiantes del grado de Ingeniería Informática en modalidad a distancia, el libro combina teoría rigurosa con ejercicios prácticos para ayudar al lector a aprender a razonar, formalizar y aplicar correctamente los principios lógicos. A través de nueve unidades didácticas, la obra desarrolla desde la sintaxis y semántica de la lógica formal hasta el análisis de la lógica no formal, proporcionando una visión integral de su aplicación en el ámbito informático.
¿De qué trata?
El libro se estructura en nueve unidades didácticas que abordan de manera progresiva los fundamentos de la lógica. Las primeras unidades se centran en la lógica formal, explorando tanto su sintaxis (reglas de formación de expresiones) como su semántica (interpretación y significado). A continuación, las unidades finales se dedican a la lógica no formal, ofreciendo un enfoque práctico que permite analizar y evaluar argumentos del lenguaje cotidiano y técnico. Cada unidad incluye la teoría necesaria para la comprensión de los temas, seguida de una serie de ejercicios propuestos que invitan al lector a practicar y afianzar los conocimientos adquiridos. El objetivo es proporcionar una visión completa de cómo la lógica se aplica en la informática, desde la programación y la inteligencia artificial hasta la gestión del conocimiento.
Temas principales
- Conceptos básicos de lógica formal: sintaxis y semántica de lenguajes lógicos.
- Lógica proposicional y de predicados: reglas de inferencia y demostración.
- Lógica no formal: análisis de argumentos, falacias y razonamiento cotidiano.
- Aplicaciones de la lógica en informática: sistemas formales, inteligencia artificial y gestión del conocimiento.
- Ejercicios prácticos para el desarrollo del razonamiento lógico y la formalización.
¿Para quién está recomendado?
Este libro está especialmente recomendado para estudiantes del grado de Ingeniería Informática, particularmente aquellos que cursan estudios a distancia y necesitan un material autodidacta y estructurado. También es útil para profesionales de la informática que deseen reforzar sus conocimientos en lógica aplicada, así como para cualquier persona interesada en comprender los fundamentos del razonamiento formal y no formal desde una perspectiva práctica y accesible.
Qué aporta este libro
- Proporciona una base sólida en lógica formal y no formal, esencial para el desarrollo de habilidades de razonamiento crítico y análisis.
- Ofrece una estructura didáctica con teoría y ejercicios prácticos, facilitando el aprendizaje autónomo y a distancia.
- Conecta los conceptos lógicos con aplicaciones reales en informática, como la inteligencia artificial y la ingeniería del conocimiento.
- Ayuda a mejorar la capacidad de formalizar problemas y argumentos, una competencia clave en la programación y el diseño de sistemas.
Ficha técnica
- Autor: MARTINEZ REY; AURORA
- Editorial: CEF
- Idioma: Español
- Tema: INFORMATICA: CUESTIONES GENERALES
- Colección: PDTE. COLECCION
- Encuadernación: Otros
- Fecha de edición: 2017
- Número de páginas: 382
- Dimensiones: 24.0 cm x 17.0 cm
- Peso: 600.0 gr
Valoración editorial
Este manual destaca por su enfoque pedagógico claro y su adaptación a las necesidades de los estudiantes a distancia. La combinación de teoría y ejercicios prácticos permite un aprendizaje progresivo y autónomo, mientras que la inclusión de la lógica no formal aporta una perspectiva aplicada que enriquece la comprensión del razonamiento en contextos reales. Es una herramienta útil para quienes buscan dominar los fundamentos lógicos necesarios en el campo de la informática, especialmente en áreas como la inteligencia artificial y la ingeniería de sistemas.