Lógica formal y no formal
Ver/Abrir:
Exportar referencia:
Compartir:
Estadísticas:
Ver estadísticasMetadatos
Mostrar el registro completo del ítemAutor(es):
Martínez Rey, María AuroraFecha de publicación:
2023Resumen:
Este libro tiene como objetivo proporcionar a los estudiantes del grado de Ingeniería Informática herramientas y conceptos básicos tanto de la lógica formal como de la lógica no formal, junto con sus aplicaciones. Su propósito es ayudar al lector a adquirir habilidades de aprendizaje, razonamiento y formalización correcta. El texto consta de nueve capítulos que abarcan todos los aspectos necesarios para comprender la lógica en su totalidad. Cada capítulo incluye la teoría fundamental y, al final, se presentan una serie de ejercicios propuestos para despertar la curiosidad del lector e incentivar la práctica de la teoría expuesta. Los primeros capítulos del manual se centran en el desarrollo de la lógica formal, examinando tanto su sintaxis como su semántica. En los capítulos finales, se aborda la lógica no formal, proporcionando un enfoque práctico a esta parte de la lógica que, a menudo, resulta subjetiva para muchos. Además, se ofrece una visión completa de las aplicaciones de la lógica en el ámbito de la informática. La autora de esta obra es doctora en Ingeniería Informática y posee más de diez años de experiencia docente en el área de la informática, especialmente en ingeniería de sistemas, inteligencia artificial e ingeniería y gestión del conocimiento.
Este libro tiene como objetivo proporcionar a los estudiantes del grado de Ingeniería Informática herramientas y conceptos básicos tanto de la lógica formal como de la lógica no formal, junto con sus aplicaciones. Su propósito es ayudar al lector a adquirir habilidades de aprendizaje, razonamiento y formalización correcta. El texto consta de nueve capítulos que abarcan todos los aspectos necesarios para comprender la lógica en su totalidad. Cada capítulo incluye la teoría fundamental y, al final, se presentan una serie de ejercicios propuestos para despertar la curiosidad del lector e incentivar la práctica de la teoría expuesta. Los primeros capítulos del manual se centran en el desarrollo de la lógica formal, examinando tanto su sintaxis como su semántica. En los capítulos finales, se aborda la lógica no formal, proporcionando un enfoque práctico a esta parte de la lógica que, a menudo, resulta subjetiva para muchos. Además, se ofrece una visión completa de las aplicaciones de la lógica en el ámbito de la informática. La autora de esta obra es doctora en Ingeniería Informática y posee más de diez años de experiencia docente en el área de la informática, especialmente en ingeniería de sistemas, inteligencia artificial e ingeniería y gestión del conocimiento.
Palabra(s) clave:
Informática
Lógica
Lógica formal
Paradojas
Antinomías
Colecciones a las que pertenece:
- Manuales de UDIMA [212]