La lógica formal es el esqueleto invisible de la computación. Cada programa que escribes, cada base de datos que consultas, cada sistema de inteligencia artificial que entrenas, depende de principios lógicos que se remontan a más de dos mil años atrás.
Sin embargo, en los planes de estudio de ingeniería informática, la lógica suele verse como una materia teórica y desconectada de la programación real. Este libro busca tender un puente entre ambos mundos.
La experiencia de la Universidad Rey Juan Carlos demuestra que cuando los estudiantes conectan la lógica con herramientas ejecutables como Prolog, la comprensión se dispara. No se trata solo de aprender reglas de inferencia, sino de ver cómo esas reglas se traducen en código que funciona.
Introducción al libro
«Apuntes de Lógica: desde Aristóteles hasta Prolog» es un material de estudio diseñado por Joaquín Arias, profesor de la Escuela Técnica Superior de Ingeniería Informática de la URJC. El libro recorre la historia del pensamiento lógico desde sus orígenes filosóficos hasta su aplicación práctica en la programación lógica con Prolog.
Está pensado para estudiantes de primeros cursos de ingeniería informática y ciencias de la computación que necesitan comprender la lógica no como un requisito abstracto, sino como una herramienta viva. No asume conocimientos previos de lógica formal, aunque sí cierta familiaridad con conceptos matemáticos básicos.
Contenido del libro
El texto avanza de lo general a lo específico. Comienza con una introducción histórica y conceptual, repasa la teoría de conjuntos y el álgebra de Boole como base, y luego se sumerge en la lógica proposicional y la lógica de primer orden. En cada etapa, combina la sintaxis y la semántica del lenguaje formal con sistemas de demostración como la deducción natural.
La segunda mitad del libro se centra en la aplicación computacional: el método de resolución de Robinson, la forma clausular, los unificadores y la estrategia SLD. Culmina con una introducción a la programación lógica y al lenguaje Prolog, donde el lector puede ver cómo las reglas de inferencia se convierten en programas ejecutables.
Índice del libro
- Capítulo 1: Introducción — Por qué es necesaria la lógica, tipos de lógicas, historia, teoría de conjuntos, relaciones, funciones y álgebra de Boole
- Capítulo 2: Lógica Proposicional — Sintaxis, semántica, teoría interpretativa, sistemas formales y deducción natural
- Capítulo 3: Lógica de Primer Orden — Sintaxis, semántica, satisfacibilidad, teorema de demostración, forma normal de Skolem, forma clausular, método de resolución de Robinson
- Capítulo 4: Introducción a la Programación Lógica — Estrategia de resolución SLD, árbol de derivación, programación declarativa, programación funcional, programación lógica con Prolog
Datos del libro
- Título: Apuntes de Lógica: desde Aristóteles hasta Prolog
- Autor: Joaquín Arias
- Año de publicación: 2023
- Editorial: Servicio Publicaciones de la URJC (Universidad Rey Juan Carlos)
- Páginas: 87
- Tamaño del PDF: 6.6 MB
- Tiempo de lectura estimado: ~2 h 11 min
- Nivel: Intermedio
- Categoría principal: Computación general
- Subcategoría: (no aplica)
- Idioma: Español
- Licencia: Creative Commons Atribución-CompartirIgual 4.0 Internacional (CC BY-SA 4.0)
Más libros en: Computación general
Aviso legal: Este libro se comparte únicamente con fines educativos. El contenido se distribuye bajo licencias Creative Commons o permisos explícitos de sus autores. OpenLibro no aloja material con derechos reservados.