Descripción
LOGICA FORMAL Y NO FORMAL
Resumen del libro
Este 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.
¿De qué trata?
La 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.
Temas principales
- Fundamentos de lógica formal: sintaxis y semántica de lenguajes lógicos.
- Lógica no formal: razonamiento cotidiano y subjetivo.
- Aplicaciones de la lógica en ingeniería informática, inteligencia artificial y gestión del conocimiento.
- Formalización de problemas y desarrollo de habilidades de razonamiento crítico.
- Práctica mediante ejercicios propuestos para consolidar la teoría.
¿Para quién está recomendado?
Este 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.
Qué aporta este libro
- Proporciona una base teórica y práctica completa sobre lógica formal y no formal, adaptada al ámbito informático.
- Ayuda a desarrollar habilidades de aprendizaje, razonamiento y formalización correcta de problemas.
- Incluye ejercicios al final de cada capítulo para fomentar la práctica y la comprensión activa.
- Ofrece una visión aplicada de la lógica en áreas como inteligencia artificial, sistemas y gestión del conocimiento.
Ficha técnica
- Autor: MARTINEZ REY, AURORA
- Editorial: CEF
- Idioma: Español
- Tema: INFORMATICA: CUESTIONES GENERALES
- Colección: FONDO
- Encuadernación: Otros
- Fecha de edición: septiembre de 2023
- Número de páginas: 312
- Peso: 500 g
Valoración editorial
Este 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.