Documentación para "Lógica informática" (2014-15)

En esta página se recogen enlaces que sirven de documentación a la asignatura de "Lógica informática" del curso 2014-15.

Vídeos

1. Vídeos de deducción natural con Pandora: ejemplo 1 y ejemplo 2.

Libros

1. J.A. Alonso y J. Borrego Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos) (Ed. Kronos, 2002).
2. M. Ben-Ari Mathematical logic for computer science (Springer-Verlag, 2001)
3. R. Bornat Proof and disproof in formal logic: an introduction for programmers (Oxford University Press, 2005)
4. I. Bratko Prolog programming for artificial intelligence (Pearson, 2001)
5. K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers Reasoned programming. (Imperial College, 1994)
6. M. Fitting First-order logic and automated theorem proving (Springer, 1995).
7. M. Huth y M. Ryan Logic in computer science: Modelling and reasoning about systems (Cambridge University Press, 2004) [Incluye el tutor en la Red].
8. L. de Ledesma Lógica para la computación (Teorías de primer orden, resolución y elementos de programación lógica y Prolog). (RaMa, 2009).
9. A. Nerode y R.A. Shore Logic for applications (Springer, 1997)
10. S. Reeves y M. Clarke Logic for computer science (Addison-Wesley 1990 & 2003)
11. U. Schöning Logic for computer scientists (Birkhäuser, 1989)

Apuntes de cursos

1. José A. Alonso Temas de "Lógica informática" (2014-15) (Universidad de Sevilla, 2012).
2. José A. Alonso Soluciones de exámenes de "Lógica informática". (Universidad de Sevilla, 2009).
3. José A. Alonso Lógica en Haskell. (Universidad de Sevilla, 2007).
4. I. Hodkinson Logic (Imperial College, 2010).
5. P. Lucas, M. van Gerven y A. Hommersom Knowledge representation and reasoning (Logic meets probability theory) (Universidad de Nijmegen, 2011)
6. L. Paulson Logic and Proof (Universidad de Cambridge, 2011)
7. M. Winter Logic in Computer Science (Brock University, 2010)

[ Inicial | Temas | Ejercicios | Documentación | Sistemas | Exámenes ]