Rodolfo Quispe-Otazu

Se encuentra disponible en la Red los apuntes del curso Logica Computacional de los autores Francisco Javier Díez Vegas, Ángeles Manjarrés Riesco, José Luis Fernández Vindel.

El presente documento comprende los siguientes temas:

• Tema 1: Lógica de proposiciones.
• Tema 2: Lógica de predicados de primer orden.
• Tema 3: Programación lógica.
• Tema 4: Verificación de programas secuenciales.
• Tema 5: Fundamentos de lógica modal.
• Tema 6: Lógica modal temporal.

Pueden descargar el libro (e-book) en formato pdf [pulsando aqui]